EthSystems公布以太坊隐私资金池形式化验证研究并发现工具缺陷
RecodeX 重构消息,以太坊隐私基础设施研发公司EthSystems公布了一项针对隐私资金池(Shielded Pool)的形式化验证研究,验证范围从协议规范、零知识证明电路延伸至部署在Sepolia测试网上的合约字节码。研究过程中还发现所用验证工具本身存在缺陷。
RecodeX 重构消息,以太坊隐私基础设施研发公司EthSystems公布了一项针对隐私资金池(Shielded Pool)的形式化验证研究,验证范围从协议规范、零知识证明电路延伸至部署在Sepolia测试网上的合约字节码。研究过程中还发现所用验证工具本身存在缺陷。
RecodeX 重构消息,以太坊研究论坛出现一篇新研究提案,拟将Tornado Cash类隐私池迁移至后量子证明系统Flock,并使用SHA-256构建Merkle Tree与nullifier逻辑。提案作者称,该方案将提款证明的生成时间降至28.6毫秒。
RecodeX 重构消息,以太坊联合创始人Vitalik Buterin表示,Poseidon哈希函数系列经多年研发,已在以太坊及其他领域产生重要实际价值,并将在未来数年持续发挥作用。他指出,现代隐私协议能快速在客户端生成SNARK证明,Poseidon正是关键原因之一。Vitalik称,如今通用型STARK已实现极高性能,几乎任何批量计算的证明开销已降至三位数水平,未来有望进一步降至两位数甚至更低,这一进展超出2020年代初期的预期。
RecodeX 重构消息,以太坊基金会支持的隐私与监管合规工具0xbow.io宣布,已向研究员ross.wei发放5000美元赏金,以奖励其披露隐私池Privacy Pools v1 SDK中的漏洞。该漏洞会降低用户账户主密钥生成的熵。团队表示,漏洞已于3月修复,并提供了迁移流程,未出现用户资金损失。
RecodeX 重构消息,以太坊社区正评估一项名为Hegotá的升级方案,旨在提升隐私保护与抗审查能力。该升级将支持自筹资金的隐私交易,允许用户在不依赖第三方的情况下管理隐私交易资金。目前该提案尚处于考虑阶段,具体实施时间表尚未公布。
RecodeX 重构消息,以太坊开发者正计划在下一轮重大升级中纳入隐私保护相关改动,以提升链上交易的机密性。目前具体路线图和时间表尚未披露,后续升级细节有待官方公布。
RecodeX 重构消息,以太坊开发者正为下一次重大升级规划隐私相关改动。一项提案显示,隐私池将可自行支付交易费用,无需再依赖第三方中介。该设计旨在增强隐私解决方案的自主性,减少对外部参与者的依赖。目前提案仍处于早期阶段,具体上线时间未定。