ZeroSync协会正在基于 STARK 证明开发比特币证明系统

3月28日消息，Robin Linus、Tino Steffens、Lukas George 等成立一个名为 ZeroSync 协会（ZeroSync Association）的瑞士非营利组织，将带头开发比特币证明系统，构建具有比特币隐私、互操作性和可扩展性的未来。ZeroSync 基于 STARK 证明，为了实现比特币证明，使用由 StarkWare 创建的 Cairo 语言。 ZeroSync 将分三个连续阶段推出，分别为标头链证明、假设有效链证明和全链证明，目前已经完成了前两个原型。ZeroSync Toolkit 还将为比特币开发人员提供强大工具，以将零知识证明应用于他们自己的产品和服务。