ZKP News - 2024-10

Note: The following content was translated into English by AI.

2024.10.23

[Papers]

• Li et al. design fAmulet in “fAmulet: Finding Finalization Failure Bugs in Polygon zkRollup,” uncovering 12 zero-day finalization bugs in Polygon zkRollup and another in Scroll, demonstrating wide applicability. Paper

• Nitulescu et al. introduce a FLIP folding scheme in “FLIP-and-prove R1CS,” folding R1CS instances into relaxed R1CS, cutting SNARK proving time and communication without recursive composition; Filecoin is a primary use case. Paper

• Gama et al. deliver “Blind zkSNARKs for Private Proof Delegation and Verifiable Computation over Encrypted Data,” delegating zkSNARK proving to a single server via homomorphic computation—clients spend seconds, the server ~20 minutes. Paper

• Pappas et al. unveil Sparrow in “Sparrow: Space-Efficient zkSNARK for Data-Parallel Circuits and Applications to Zero-Knowledge Decision Trees,” a space-efficient zkSNARK for data-parallel circuits that slashes prover space/time and shrinks tree training/prediction workloads. Paper

• Bogdanov et al. propose ZK-SecreC, a domain-specific language with confidentiality and integrity types, demonstrating compiler efficacy in “ZK-SecreC: a Domain-Specific Language for Zero Knowledge Proofs.” Paper | Code

[Videos]

• Sumcheck Builders Seminars host recurring sessions on the sumcheck protocol; past and upcoming events are cataloged online. Site

• ZK Summit 12 released highlight reels and breakout sessions. Playlist

• Tiwari’s “3 Pre-Singularity Privacy Problems” addresses privacy for personal agents—Apple is currently the only major player experimenting here. Video

• Giacomo Fenzi’s Nexus Speaker Series talk covers STIR/WHIR proximity and constraint tests, illustrating ZKP evolution. Video

• Antalpha Labs posted whiteboard lessons on FFT, FRI, STARKs, and more. Playlist

• Reclaim Protocol issued foundational zkTLS videos comparing TLS integrations with TEE/MPC/proxy options. Playlist

[Open Source]

• The BitVMX team published a BitVMX CPU and challenge-response protocol PoC aimed at Bitcoin L2 development. Code 1 | Code 2

[Info]

• Antalpha Labs shared an October 20 zk roundup. Link

• ZEROBASE raised $5M from Binance Labs and others to build a real-time ZK proving network. 𝕏

• Buenos Aires launched a blockchain-based digital ID for 3.6 million residents via QuarkID and zkSync Era. News

2024.10.16

[Papers]

• Campanelli et al. chart “Fully-Succinct Arguments over the Integers from First Principles,” constructing integer-native SNARKs that avoid the overhead of emulating integers over finite fields. Paper

• Arun et al. present “Nebula: Efficient read-write memory and switchboard circuits for folding schemes,” cutting IVC memory and circuit costs while accelerating proof generation with tighter constraint systems. Paper

• Kothapalli et al. propose “NeutronNova: Folding everything that reduces to zero-check,” a two-round folding protocol invoking a single sum-check round, boosting efficiency and supporting multi-instance folding. Paper

• Brehm et al. unveil Blaze in “Blaze: Fast SNARKs from Interleaved RAA Codes,” a multilinear polynomial commitment leveraging code-switching and repeated accumulative accumulative (RAA) codes for faster, smaller proofs and verification. Paper

• Domb et al. detail “Really Complex Codes with Application to STARKs,” building real-valued Reed–Solomon codes via complex-domain DFT with DCCT-level efficiency and compatibility with standard techniques. Paper | 𝕏

[Videos]

• Aptos Labs’ Benny Pinkas explored distributed randomness via weighted VRFs. Video

• Abhi Shelat’s “Threshold ECDSA in 3 rounds” covers rewritten ECDSA equations and MPC-friendly DKG/signature protocols operating in milliseconds across three (or two with preprocessing) rounds. Video

• Mysten Labs’ Deepak Maram detailed zkLogin’s design and trade-offs. Video

• The inaugural House of ZK virtual conference ran on October 15. Video | Agenda

[Blogs]

• The Telos team showcased “Plonky2 Goldibear,” combining Plonky2 with BabyBear-field optimizations to aggregate 1,024 RISC Zero proofs in 6.1 seconds. 𝕏

[Open Source]

• Circuitscan, backed by the Ethereum Foundation, launched to verify on-chain circuit source code. Code | Site

[Info]

• Antalpha Labs shared an October 13 zk roundup. Link

• Hashflow unveiled Exchange OS (xOS), a universal ZK settlement layer leveraging RISC0 proofs and Celestia data availability so centralized exchange trades can be proven on-chain. 𝕏 | Blog

2024.10.9

[Papers]

• Mikhail Komarov’s “Bitcoin PIPEs: Covenants and ZKPs on Bitcoin Without Soft Fork” uses Polynomial Inner Product Encryption and nil Foundation’s Placeholder proof system to enable ZKP verification without a Bitcoin soft fork. Paper | 𝕏

• Atapoor et al. propose “STARK-based Signatures from the RPO Permutation,” achieving EUF-CMA security via DEEP-ALI and BCS, with 13 ms signing and 1 ms verification on a single core. Paper

• Arnon et al. debut “WHIR: Reed—Solomon Proximity Testing with Super-Fast Verification,” an IOP with sub-millisecond verification, suitable for multilinear and univariate queries, enabling speedy SNARGs and polynomial commitments. Paper | 𝕏

• Nick et al. introduce “Shielded CSV: Private and Efficient Client-Side Validation,” hiding Bitcoin transaction history with 64-byte per-transaction on-chain cost, supporting t-of-n accounts and atomic swaps. Paper | 𝕏

• Garreta et al. present “FLI: Folding Lookup Instances,” offering FLI and FLI+SOS folding schemes that validate matrix rows as basis vectors via PIOP, combining rows with random coefficients; FLI+SOS exploits SOS decomposability for large tables. Paper

[Videos]

• The 2024 POW Summit (Sept 27–29) covered Bitcoin L2s, emerging protocols, sustainable mining, and privacy. Agenda | Streams

• ZK Summit 12 sessions from Lisbon are now available. Replay

• At ZK Summit 12, ZKV and Cursive demoed NFC cards that integrate mobile apps with ZKP, MPC, and more. Video | Code

[Blogs]

• nil Research discussed distributed SNARK proving with FRI, covering transparent setup, PQ security, and efficiency trade-offs. Blog

• zkSecurity explained the WE-KZG witness encryption scheme. Blog

• Moudy’s team published a “zkVM Testing Report” evaluating zkVMs (SP1, RISC0, Nexus, zkMIPS, zkWASM, Valida) for the Nescience architecture. Blog

• RAFAL0X offered a handwritten walkthrough of Nova folding in “Nova Folding and Recursive Proofs.” Blog

• Argument’s “Lookups in Lurk” series dissects lookup architecture, applying logUp across shards while noting correctness pitfalls. Part 1 | Part 2

[Open Source]

• SuccinctLabs demonstrated verifying Cairo proofs with SP1, enabling SNARK proofs for arbitrary Cairo programs. Code | 𝕏

• Circom 2.2.0 launched “buses,” structuring circuit signals with typed data handling. Code

• 1kx introduced zkSafe, a module that hides Safe multisig signer identities with ZKPs and ships a backend-free UI for seamless fork-chain use. Code | Blog

[Info]

• Antalpha Labs posted an October 6 zk roundup. Link

• zkHack (zkMesh) released its September recap. Link

• SP1 claimed to be the only zkVM shipping bn254 and bls12-381 precompiles. 𝕏 | Blog

• RISC Zero launched Steel 1.0, an EVM contract execution prover capable of proving 1.2B-gas calls on-chain for ~300k gas. 𝕏 | Blog

• Fabric Cryptography and Polygon unveiled a VPU-accelerated ZK proving system with co-designed hardware/software and custom instructions. 𝕏

• zkP2P is extending zkTLS/zkEmail foundations to secondary Web2 domain markets. 𝕏

• zkP2P temporarily disabled Venmo integration after payment receipt emails dropped critical fields—highlighting third-party dependency risks in zkEmail services. 𝕏

• A Sumcheck Builder Group is forming; interested contributors are welcome. 𝕏