ZKP News - 2024-12

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

2024.12.18

[Papers]

• Frigo et al. introduce an ECDSA-based anonymous credential scheme in “Anonymous credentials from ECDSA,” solving SHA-256 and document parsing hurdles with efficient ZK proofs—no issuer workflow or device changes needed for privacy-preserving identity. Link

• Gu et al. present “PoneglyphDB: Efficient Non-interactive Zero-Knowledge Proofs for Arbitrary SQL-Query Verification,” enabling confidential data and verifiable query processing via NIZKs. Link

[Videos]

• A detailed talk covers folding schemes (post-Nova progress) with a deep dive on Hypernova’s definitions and protocols. Video

[Blogs]

• ZKV’s “ZK in Sui” explores zkLogin, Kelp account recovery, privacy, and security considerations on Sui. Link

• Succinct’s “Your definitive guide to zkVMs” compares SP1, RISC0, Jolt, Nexus, Delphinus, and Powdr across cryptographic workloads. 𝕏

• Crypblizz’s “Crypto Companions: The PET ecosystem (MPC / FHE / TEE & ZK)” chronicles PET history and relevance in Web3. Link

• NPLabs shared “A primer on hybrid Merkle trees,” explaining usage with Plonky3 and recursive proofs. 𝕏

• Josh Beal’s “Mira: Generic Accumulation Scheme for Special-Sound Protocols” boosts folding efficiency for pairing-based arguments (Protostar-style). Blog

[Open Source]

• rkdud007 released “awesome-zkvm,” cataloging zkVM projects and resources with GPU and parallel proving comparisons. Link

• shield-labs open-sourced zkLogin, enabling self-hosted Google/Apple login on Base (EVM-compatible). Link

• Axiom, Scroll, and others launched OpenVM, a modular zkVM framework supporting custom opcodes, circuits, and proof systems. Link

[Info]

• Antalpha Lab scheduled a zkVM course (Dec 30, 2024 start) spanning four weeks. Link

• Lagrange unveiled the Infinite Proving Layer to extend its ZK Prover Network for rollups. Link

• Daniel Shorr joined Tools for Humanity to build a zkAI-enabled global verification network. 𝕏

• Lita released Valida 0.7.0 with WASM compiler toolchain support and zkVM stack improvements. Link

2024.12.11

[Papers]

• Pham et al. introduce Lova, a lattice-based folding scheme that brings IVC techniques to lattices, in “Lova: Lattice-Based Folding Scheme from Unstructured Lattices.” Paper | Blog

• Baweja et al. present “Scribe: Low-memory SNARKs via Read-Write Streaming,” leveraging disk storage for large statements on commodity hardware to cut memory usage and optimize I/O. Paper

[Videos]

• RISC Zero posted recordings from PROVABLE Bangkok. Playlist

• ZK Hack’s “Integrating zkVerify into your dApp” explains zkVerify’s capabilities. Video

• ZK Hack’s “Range Checks using Polygon Plonky3 + Puzzle V-3” workshop demos range checks and kicks off the Puzzle V-3 contest. Video

• “How (Not) to Simulate PLONK” reviews PLONK’s evolution, highlighting original vulnerabilities and corresponding fixes. Video

• Ratan summarized ZK Benchmarking Standards—covering current benchmarks and changes over the past year. 𝕏 | Video

• Fanka’s “zkP2P Protocol Analysis” series dissects zkP2P’s design. Video 1 | Video 2

[Blogs]

• zkSecurity drilled into the Jolt zkVM, detailing its RISC-V-based design, Lasso lookups, offline memory checks, and R1CS components. Blog

• Tekkac’s “Zero-Knowledge Magic for Cheap” covers Circom + Garaga on Starknet. Blog

• Hannes Huitula pondered whether ZK will “eat” the modular stack. Blog

• Hylé’s “play-by-email provable games” profiled zkChess (zkEmail + RISC Zero). Blog

• Ingonyama recapped ZK Accelerate Bangkok. Blog

• Brave outlined “Commitments and zero-knowledge attestations over TLS 1.3: DiStefano protocol,” effectively zkTLS in the browser. Blog

• Nicolas described chosen-instance attacks and privacy concerns in applications lacking ZK guarantees. Blog

• Mina argued it is a strong rollup environment thanks to recursive proofs, isomorphic architecture, and decentralized proof markets. Link

[Open Source]

• Blockblaz released Zeam, a production-grade Beam client implemented in Zig. Code

[Info]

• Antalpha Labs will host a Zoom session on December 11, 2024 (20:00 UTC+8) covering zkTLS for verifiable web data integrations. Link

• Solana highlighted recent zk, verifiability, and privacy projects across its ecosystem. 𝕏

• The Aligned Foundation thanked Ethereum/ZK builders and opened an airdrop (closes Friday). Link

• Aztec announced the Noir 1.0 pre-release. 𝕏

2024.12.4

[Papers]

• Liu et al. study the equivalence between witness encryption and laconic zero-knowledge arguments in “On Witness Encryption and Laconic Zero-Knowledge Arguments,” highlighting the tight link between NP encryption and ZK proofs. Paper

• Huber et al. evaluate ZK-SNARK ballot validity in “ZK-SNARKs for Ballot Validity: A Feasibility Study,” implementing and benchmarking multiple voting schemes and formats. Paper

[Videos]

• ZKM curated a one-stop library of ZKP training videos. Link

[Blogs]

• Hylé discussed building provable apps and how proof composability saves time. Blog

• Bedlam Research (krane) mapped the future of Ethereum consensus—shorter slots, faster finality, and “snarkification.” Blog

• niallinio’s “Aztec Contracts 0—100” tutorial covers fee-sharing contracts and a demo frontend. Blog

• krishang.eth published “Tornado Cash: a reference manual for developers,” spanning architecture, Circom circuits, Solidity contracts, and JS proof tooling. Blog

• Succinct Labs documented SP1’s deviations from official RISC-V (aligned access, unified address space). 𝕏 | Doc

• WongSSH detailed elliptic curve cryptography in TypeScript with secp256k1 examples. Blog

• Cysic showcased the C1 chip proving 1.31M Keccak per second via GKR optimizations. Blog

• FHE Onchain’s “zkLWE” tutorial walks through Plonky2-based proofs for homomorphic LWE addition. Blog

[Open Source]

• Irreducible released Binius-Models, Python implementations of cryptographic primitives for educational use. Code

[Info]

• Antalpha Labs shared a December 1 zk roundup. Link

• The Ethereum Foundation launched the Poseidon cryptanalysis initiative to harden the hash function. Link

• Matter Labs published a zkEmail security review uncovering 17 issues (incl. parser discrepancies, regex circuit gaps, URL injection risks). Link

• TACEO collected coSNARK resources for quick onboarding. Link

• ZKsync introduced Smart Sign-On (SSO) to streamline auth, sessions, and transactions. Link

• The Ethereum Foundation launched ETH Rangers—a six-month $25k public-goods security grant. Link

• Polymer Labs rolled out Polymer Hub mainnet for real-time rollup interoperability. 𝕏 | Details

• Paul Gafni recapped the history of zkVM precompiles. 𝕏

• TACEO demoed the first production-ready coSNARK (with Cursive & PSE) at Devcon7, producing real-data proofs on alphanet. Link

• Oleh’s video shows zkLogin + EIP-7702 flows using passkeys/Google accounts, including recovery steps. 𝕏

• The EU digital identity wallet will include selective disclosure and privacy dashboards to prevent identity theft. Link