本科生安德鲁·克拉皮文推翻了计算机科学中关于哈希表的 40 年猜想,提出更快的数据查找方法。 Undergraduate Andrew Krapivin disproved a 40-year-old conjecture on hash tables, enabling faster data searches.
Pico 是 Brevis 推出的高性能模块化 zkVM,支持自定义证明后端、工作流和协处理器,提升 ZK 计算效率。
Pico is a high-performance modular zkVM by Brevis, enabling customizable proving backends, workflows, and coprocessors for enhanced ZK computation efficiency.
逐步实施 FRI。
Step by step implementation of FRI.
Binius 是一种新型 SNARK 方案,利用 二元域扩展塔 提高证明效率,并结合 Hyperplonk IOP 和 Brakedown 多项式承诺方案优化计算性能。
Binius is a novel SNARK system leveraging towers of binary fields for improved proving efficiency, integrating Hyperplonk IOP and Brakedown polynomial commitment.
If you’d like to receive updates via email, subscribe
us!