ZKP Frontier Tracker 🎯
零知识证明 前沿热点追踪 🎯
Tue 星期二
02.25
2025
https://github.com/NethermindEth/Surveyor
@NethermindEth has open-sourced the Surveyor project, which supports converting R1CS binary format to a Lean extractor and is written in Haskell for formal verification of R1CS. @NethermindEth 团队开源了Surveyor项目，支持将R1CS二进制格式转换为Lean提取器，依赖Haskell，用于对R1CS进行形式化证明。
https://np.engineering/posts/tornado-anonymity-revoker-design/
Antonio Mejías Gil discussed the anonymous revocation design of the Tornado Cash protocol in his blog post , proposing a modification that allows specific entities to revoke user anonymity. Antonio Mejías Gil在博客中讨论了Tornado Cash协议的匿名撤销设计，提出了一种允许特定实体撤销用户匿名性的修改方案。