SNARK_SNARK相关新闻_SNARK动态

Vitalik：Binius——对二进制字段的高效证明

本文介绍了2019年时代密码学中的SNARK和STARK技术，特别感谢Justin Drake, Jim Posen, Benjamin Diamond和Radi Cojbasic的反馈。STARK和SNARK是一种证明计算机程序正确性的方法，通过将程序转换成包含多项式的数学方程来实现。STARK使用更大的数字，但不需要可信的设置，并且抗量子。SNARK使用更小的数字，但有限制。Binius是一种新的多项式承诺方案，它使用超立方体来表示计算轨迹，并通过Reed-Solomon编码来防止作弊。Binius是一种基于二进制场的零知识证明系统，可以有效地检查多项式的计算过程。它可以与查找协议结合使用，提高证明系统的效率。未来可能会有更多基于二进制字段的改进。

火星财经2024-04-30 05:16

以太坊,硬件,可扩展性,Vitalik,zk-snark,香港Web3嘉年华,BTC,ETH,ZEC

Vitalik提及的ZK实时证明，可依靠ZK硬件加速实现？

Vitalik Buterin在2024香港Web3嘉年华上探讨如何提高zk-snark的效率，以弥补目前区块链发展中牺牲隐私性和可扩展性的缺陷。他提出三个方向来实现“实时证明”，包括并行化和聚合、硬件设计改进和算法改进。其中，SNARK ASIC是一种定制化的硬件，可以加速SNARK计算过程。目前市场上有多种知名项目，如Cysic、Ingopedia、Supranational、Ulvantanna和Auradine。

夫如何2024-04-12 01:51

完全递归 SNARK 电路 - 「Play to Earn」的救星

GameFi是玩家在游戏中赚取利润的概念，但受到高昂的GAS成本和不发达的区块链游戏生态系统的制约。新的周期中，L2、跨链游戏引擎和ZK技术的广泛采用将为用户带来更复杂的链上游戏机制，解决了性能、隐私和信任问题。递归zk-SNARK技术可以提高可扩展性和效率，适用于涉及大量交互和交易的区块链游戏。ZK-Hunt是一款基于区块链的RTS风格的PvP游戏，利用ZK技术实现复杂的链上游戏机制和信息不对称。Salus6提供端到端的ZK服务和解决方案，帮助游戏开发者探索ZK技术在游戏领域的广泛应用，为玩家提供更丰富、更安全、更具战略性的游戏体验。

火星财经2024-02-05 06:55

暂无内容