Do *you* know how to build cryptographic multilinear maps? (Just checking.)

This could not be said any louder given the current stakes in crypto[graphy] 👇

Very cool to see the @aptos keyless ZK proof re-implemented with Garuda (instead of Groth16) by @alrshirzad, @zkproofs and Michel Dellepere! 😎 Next: can we get an equifficient PCS without a trusted setup? 🥹

“Key to a person’s dignity is her ability to decide to whom she reveals information about herself to” Guess who just said that?

TIL from @ronrothblum that you can compute all n Lagrange eq(x, i)'s in n + ~\log_2{n} field multiplications (and an inversion) as opposed to 2n👇

In cryptography and math, good notation = lossless compression.

How to prove many ranges in zero-knowledge, faster than Bulletproofs?👇 Last summer, we worked on a batched ZK range proof with @TrishaCDatta, @nazirkamilla, @rex1fernando and @danboneh. We wanted a sufficiently-succinct but much faster construction to be used for PVSS.

looks like Lean is popular today, so here's a little post on how/why it works and implementing a mini version of it in Julia

broadly 🎨🖌️ some use cases of @aptos confidential transactions!

KYC is responsible for the largest, and most dangerous data breaches. The solution is simple though: cryptographic attestations (ZK or FHE based). But that isnt enough currently as regulation forces you to actually have the user data for compliance.. Something needs to change ASAP