BaDaaS

We use abstract mathematics to build concrete applications.
Cryptography laboratory, from Belgium.
Post-quantum cryptography and zkSNARK + Lean

[BaDaaS @be_badaas]

We use abstract mathematics to build concrete applications.

[BaDaaS @be_badaas]

We've just added a careers page, with one special place for internships.

https://t.co/kcU6Xe4yny

[BaDaaS @be_badaas]

👀👀👀

[Danny Willems🛡️ @dwillems42]

Tomorrow is my post-quantum day.

Friday will be about Poseidon.

[BaDaaS @be_badaas]

We're gonna publish more soon!

Formal verification, post-quantum cryptography, and AI.
Our trends nowadays.

Abstract mathematics for concrete applications.

[Danny Willems🛡️ @dwillems42]

Ok so for mathematicians, post quantum cryptography and formal verification for the next five years. If you're a student, specialize in this.
It's really fun.

Gonna post soon a recap about the cryptanalysis of AO hash functions. I'm preparing a list of articles on the blog of @be_badaas. Time to get seriously into this.

EthGlobal is this weekend. Papyrus got all the papers regarding symmetric cryptography it needs. It's time to get serious.

[BaDaaS @be_badaas]

We've got a new website!

https://t.co/z0xbhf3nOl

[Danny Willems🛡️ @dwillems42]

Big announcement.
I'm exhausted of seeing people asking for thousands of euros and dollars for courses about ZK and math.
With @0xMushow and @guillaumeclaret from @FormalLand, we're gonna start recording our sessions we do together reg. cryptography and formal methods FOR FREE.

More info coming. We start in January 2025.

[BaDaaS @be_badaas]

Cool.

[Elon Musk @elonmusk]

There will ultimately be tens of millions of driverless Teslas throughout the world giving rides 24/7

[BaDaaS @be_badaas]

The community is growing!

[Mina Protocol (httpz) 🪶 @MinaProtocol]

50+ projects are in development, spanning use cases from zkKYC and private voting to games and DEXes.

Others are building key infrastructure like bridges, data availability, oracles, and L2s.

After thorough testing and audits, these projects will be ready to deploy on mainnet.

[Mina Protocol (httpz) 🪶 @MinaProtocol]

50+ projects are in development, spanning use cases from zkKYC and private voting to games and DEXes.

Others are building key infrastructure like bridges, data availability, oracles, and L2s.

After thorough testing and audits, these projects will be ready to deploy on mainnet.

[BaDaaS @be_badaas]

We updated our website!

Yes, we had one!
BaDaaS is a cryptography lab from Belgium.

We use abstract mathematics to build concrete applications.

https://t.co/z0xbhf3VDT

[BaDaaS @be_badaas]

👀👀

[KC Sivaramakrishnan @kc_srk]

https://t.co/GVag5yx5Zd

Writing `mapM` in OCaml will get a little bit easier when this feature lands.

[BaDaaS @be_badaas]

👀👀

[David Wong @cryptodavidw]

Here you go: walkthrough of the zkBitcoin whitepaper and walkthrough of the zkBitcoin codebase

https://t.co/Rv7COl1BWZ

[BaDaaS @be_badaas]

☺️ more coming in the next weeks!

[PELLEGRINELLI Fabien @PellegrinelliFa]

Découvrir la blockchain : un guide pour les débutants https://t.co/dC1RDVi40j
Très bon article de @be_badaas :)

[BaDaaS @be_badaas]

Major upgrade to the Mina protocol!

[Mina Protocol (httpz) 🪶 @MinaProtocol]

Testworld Mission 2.0 Track 3 Update – Epoch 6 ✅

The road to Mina’s major upgrade continues!

Load testing wrapped up this week, and Track 3: Network Performance Testing is set to conclude on Monday.

Thanks again to all of the testers, your support makes progress towards enhanced ZK programmability on mainnet possible! 💜

[BaDaaS @be_badaas]

👀

[Extropy.io @Extropy]

Diving into #SmartContractAuditing? It's more than just tech skills - it's about thinking like a hacker! 🕵️‍♂️ Discover the key steps to mastering this craft in our latest article. #BlockchainSecurity

read it here: https://t.co/3duVmyo6qq

[BaDaaS @be_badaas]

If you start your journey in web3 security, this @CyfrinUpdraft course is worth reading!

https://t.co/npPQm8Dz6z

[BaDaaS @be_badaas]

Worth reading!

#blockchain #Web3

[Danny Willems🛡️ @dwillems42]

Worth reading: the Rekt test - https://t.co/T9ddV2mVEZ

(not only for the name)

[BaDaaS @be_badaas]

Hello, World!