A place to discuss the math that secures the world. Message @ncitron.eth for an invite.

Main

cryptography

Trusted Setup Ceremonies generate secure parameters for zero-knowledge proof systems — they’re more fun to explain using mixology.

Trusted Setup Ceremonies generate secure parameters for zero-knowledge proof systems — they’re more fun to explain using mixology.
https://mantej.blog/trusted-setup-ceremony-mixology-edition

Don’t like TEEs

They’re my PET peeve

Without the breakthrough of public key cryptography, TLS, PGP, SSH, & of course btc all would not have been possible.

The web would look totally different today.

We can thank Diffie, Hellman, & Merkle for their brilliant research in the '70s.

But wait...what about the Brits??
https://tbp.tech/asymmetric-encryption

Great thread on mpc-tls

Sometimes there are better solutions than ZK 😉😎

@vanishree_rao @worldcoin @reclaimprotocol @OpacityNetwork I’ll respond with 2 replies.

&gt; I think DECO did a lot of optimizing for the garbled circuit to stay under the limits but all that only for 3pc. 

So anyone reading has clarity, handshake is 3-party, but the mpc is 2 party. Only thing server knows thats its slower than usual.…

Great thread on mpc-tls

Sometimes there are better solutions than ZK 😉😎

https://x.com/euler__lagrange/status/1875046837708554434?s=46

If you're an applied cryptographer in your early 20s, buy this

Go into debt if you have to

https://math.ucr.edu/home/baez/Polymath.pdf

interesting system https://github.com/mratsim/constantine

https://arxiv.org/abs/2412.15042

Compiling C to Safe Rust, Formalized

Fresh drop from australian NSA:

“taking into account projected technological advances in quantum computing”

- DH / ECDH / ECDSA will not be approved for use beyond 2030
- Also AES-128 and AES-192
- Also SHA-256 (!)
- Also ML-KEM-768 / ML-DSA-65 (!!)

https://www.cyber.gov.au/resources-business-and-government/essential-cyber-security/ism/cyber-security-guidelines/guidelines-cryptography

"ECDSA will not be approved post 2030" 🤨

"ECDSA will not be approved post 2030" 🤨 

https://warpcast.com/paulm/0x2a5f0cfd

Why aren't the EDDSA curves NIST approved?

Amazing write up on how zk snarks are derived. The math is weirdly both complex but also simple at the same time

Amazing write up on how zk snarks are derived. The math is weirdly both complex but also simple at the same time

https://ebuchman.github.io/pdf/snarks.pdf

“Dance like no one’s watching. Encrypt like everyone is.”

read in someone’s bio, hadn’t heard this before, cute

Quantum computer can’t break your seed phrase

@ncitron.eth taking a break from pumping out Helios PRs

building open source public goods @a16zcrypto

I guess we might not be totally screwed if NP isn't hard

I guess we might not be totally screwed if NP isn't hard
https://www.quantamagazine.org/cryptographers-discover-a-new-foundation-for-quantum-secrecy-20240603/