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