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? 🥹
Learn more about Garuda (and Pari) here 👇
Alireza Shirzad
Alireza Shirzad7.8.2024
Exciting news!!! Our latest paper is now online! a joint work with @zkproofs and Michel Dellepere • PARI, achieves the smallest proof size amongst all SNARKs, and GARUDA, supports custom gates and free linear gates • Check it out here:
15,43K