Zcash 计划推出经过形式化验证的 Ironwood 隐私池

robot
摘要生成中
Zcash 开发团队宣布计划通过即将推出的 Ironwood 隐私池添加形式化验证。该团队旨在使用数学证明方法消除不可检测的伪造风险。Orchard 屏蔽池漏洞已修复,没有证据表明被利用。
ZEC0.57%
查看原文
此页面可能包含第三方内容,仅供参考(非陈述/保证),不应被视为 Gate 认可其观点表述,也不得被视为财务或专业建议。详见声明
  • 赞赏
  • 评论
  • 转发
  • 分享
评论
请输入评论内容
请输入评论内容
暂无评论