ZKP Frontier Tracker 🎯零知识证明 前沿热点追踪 🎯ZKP 最前線追跡🎯
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进行形式化证明。@NethermindEth チームがSurveyorプロジェクトをオープンソース化しました。これは、R1CSバイナリ形式をLeanエクストラクターに変換し、R1CSに対する形式的証明を行うためのものであり、Haskellに依存しています。
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协议的匿名撤销设计，提出了一种允许特定实体撤销用户匿名性的修改方案。Antonio Mejías Gilはブログで、Tornado Cashプロトコルの匿名撤廃設計について議論し、特定のエンティティがユーザーの匿名性を撤回することを可能にする修正案を提案しました。