ZK Insights | 20th APR 2025

Highlights

Introducing Nautilus: Bringing Verifiable Offchain Privacy to Sui

• https://blog.sui.io/nautilus-offchain-security-privacy-web3/

“量子春晚”却成股价惨案，只有混战、没有共识的量子计算界

• https://www.youtube.com/watch?v=3el8ppdGnSk

Updates

Jack O'Connor: A Zero-Knowledge PCP Theorem

• https://www.youtube.com/watch?v=OWTMrlZW7oc

Miranda Christ - Ideal Pseudorandom Error-Correcting Codes with Applications to Watermarking AI

• https://www.youtube.com/watch?v=jiKy9Y9vzFM

Papers

Low-Latency Bootstrapping for CKKS using Roots of Unity

• https://eprint.iacr.org/2025/651

ECDSA Cracking Methods

• https://eprint.iacr.org/2025/654

Efficient Verifiable Mixnets from Lattices, Revisited

• https://eprint.iacr.org/2025/658

Attribute-Based Publicly Verifiable Secret Sharing

• https://eprint.iacr.org/2025/662

Publicly Verifiable Generalized Secret Sharing Schemes and Their Applications

• https://eprint.iacr.org/2025/664

MProve-Nova: A Privacy-Preserving Proof of Reserves Protocol for Monero

• https://eprint.iacr.org/2025/665

Adaptive Robustness of Hypergrid Johnson-Lindenstrauss

• https://eprint.iacr.org/2025/666

Vector Commitment Design, Analysis, and Applications: A Survey

• https://eprint.iacr.org/2025/667

Threshold (Fully) Homomorphic Encryption

• https://eprint.iacr.org/2025/699

Fherret: Proof of FHE Correct-and-Honest Evaluation with Circuit Privacy from MPCitH

• https://eprint.iacr.org/2025/700

SoK: FHE-Friendly Symmetric Ciphers and Transciphering

• https://eprint.iacr.org/2025/669

A Dilithium-like Multisignature in Fully Split Ring and Quantum Random Oracle Model

• https://eprint.iacr.org/2025/671

Simpler and Faster Pairings from the Montgomery Ladder

• https://eprint.iacr.org/2025/672

Trilithium: Efficient and Universally Composable Distributed ML-DSA Signing

• https://eprint.iacr.org/2025/675

Post-quantum Cryptographic Analysis of SSH

• https://eprint.iacr.org/2025/684

Proofs of Useful Work from Arbitrary Matrix Multiplication

• https://eprint.iacr.org/2025/685

Zero-Knowledge Protocol for Knowledge of Known Discrete Logarithms: Applications to Ring Confidential Transactions and Anonymous Zether

• https://eprint.iacr.org/2025/690

DahLIAS: Discrete Logarithm-Based Interactive Aggregate Signatures

• https://eprint.iacr.org/2025/692

A Formal Security Analysis of Hyperledger AnonCreds

• https://eprint.iacr.org/2025/694

Efficient Foreign-Field Arithmetic in PLONK

• https://eprint.iacr.org/2025/695

Breaking ECDSA with Two Affinely Related Nonces

• https://eprint.iacr.org/2025/705

Post Quantum Cryptography (PQC) Signatures Without Trapdoors

• https://eprint.iacr.org/2025/707

Strong keys for tensor isomorphism cryptography

• https://eprint.iacr.org/2025/708

Thunderbolt: A Formally Verified Protocol for Off-Chain Bitcoin Transfers

• https://eprint.iacr.org/2025/709

Arbigraph: Verifiable Turing-Complete Execution Delegation

• https://eprint.iacr.org/2025/710