Highlights
Undergraduate Upends a 40-Year-Old Data Science Conjecture
本科生安德鲁·克拉皮文推翻了计算机科学中关于哈希表的 40 年猜想，提出更快的数据查找方法。 Undergraduate Andrew Krapivin disproved a 40-year-old conjecture on hash tables, enabling faster data searches.
Introducing Pico: A Modular and Performant zkVM
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-rust
逐步实施 FRI。
Step by step implementation of FRI.
From 0 to Bi(ge)nius: "Basic maths"
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.
Updates
The Succinct Prover Network Testnet is LIVE.
Boaz Barak | Polylogues
Papers
On the Atomicity and Efficiency of Blockchain Payment Channels
Deny Whatever You Want: Dual-Deniable Public-Key Encryption
NodeChain: Cheap Data Integrity Without Consensus
BulletCT: Towards More Scalable Ring Confidential Transactions With Transparent Setup
Binary Codes for Error Detection and Correction in a Computationally Bounded World
Adaptive Distributional Security: A Framework for Input-Adaptive Cryptography
Finding a polytope: A practical fault attack against Dilithium
Endomorphisms for Faster Cryptography on Elliptic Curves of Moderate CM Discriminants, II
Engorgio: An Arbitrary-Precision Unbounded-Size Hybrid Encrypted Database via Quantized Fully Homomorphic Encryption
Sublinear Proofs over Polynomial Rings
Improved Secure Two-party Computation from a Geometric Perspective
Distributed Non-Interactive Zero-Knowledge Proofs
Reductions Between Code Equivalence Problems
NovaTEE: Private Clearing and Settlement on Trusted Execution Hardware
If you’d like to receive updates via email, subscribe us!
