很高兴看到 @aptos 的无密钥 ZK 证明被 @alrshirzad、@zkproofs 和 Michel Dellepere 用 Garuda(而不是 Groth16)重新实现!😎 接下来:我们能否在没有可信设置的情况下获得高效的 PCS?🥹
在这里了解更多关于 Garuda(和 Pari)的信息 👇
Alireza Shirzad
Alireza Shirzad2024年8月7日
令人兴奋的消息!!! 我们的最新论文现已上线!这是与 @zkproofs 和 Michel Dellepere 的联合工作。 • PARI 在所有 SNARKs 中实现了最小的证明大小,而 GARUDA 支持自定义门和自由线性门 • 在这里查看:
15.4K