ZK Insights | 27th Oct 2024

Highlights

NIST PQ Crypto: Additional Digital Signature Schemes round 2 announced

• https://csrc.nist.gov/projects/pqc-dig-sig/round-2-additional-signatures

Combining Machine Learning and Homomorphic Encryption in the Apple Ecosystem

• https://machinelearning.apple.com/research/homomorphic-encryption

Machine Learning with Homomorphic Encryption and SVM

• https://medium.com/asecuritysite-when-bob-met-alice/machine-learning-with-homomorphic-encryption-and-svm-510861adc88c

New Mersenne prime found

• https://www.johndcook.com/blog/2024/10/21/new-mersenne-prime-found/

ZK stats

Ethereum Mainnet proof volume and fee spend by Zero-Knowledge projects

• https://x.com/piratekev_ay/status/1849119473489576384
• https://zkstats.io/

ZK-SXG

Verifiable Web Proofs using Signed HTTP Exchanges (SXG).

• https://x.com/CremaLabs/status/1847182768306053583
• https://github.com/crema-labs/sxg-sp1

World's First ZK-Backed Digital Identity Launched in Buenos Aires for 3.6M Eligible Citizens

• https://zksync.mirror.xyz/kWRhD81C7il4YWGrkDplfhIZcmViisRe3lnsmbvOEmg

Math Is Still Catching Up to the Mysterious Genius of Srinivasa Ramanujan

• https://www.quantamagazine.org/srinivasa-ramanujan-was-a-genius-math-is-still-catching-up-20241021/

Big Advance on Simple-Sounding Math Problem Was a Century in the Making

A new proof about prime numbers illuminates the subtle relationship between addition and multiplication — and raises hopes for progress on the famous abc conjecture.

• https://www.quantamagazine.org/big-advance-on-simple-sounding-math-problem-was-a-century-in-the-making-20241014/

Possible futures of the Ethereum protocol, part 4: The Verge

• https://vitalik.eth.limo/general/2024/10/23/futures4.html

Updates

Awesome Binius

A curated list of awesome things related to learning Binius.

• https://github.com/kurtpan666/awesome-binius

Introducing Valida Rust Alpha Compiler

• https://www.lita.foundation/blog/introducing-valida-rust-alpha-compiler

Papers

Universally Composable Non-Interactive Zero-Knowledge from Sigma Protocols via a New Straight-line Compiler

• https://eprint.iacr.org/2024/1713

Rate-1 Statistical Non-Interactive Zero-Knowledge

• https://eprint.iacr.org/2024/1716

From One-Time to Two-Round Reusable Multi-Signatures without Nested Forking

• https://eprint.iacr.org/2024/1704

Straight-Line Knowledge Extraction for Multi-Round Protocols

• https://eprint.iacr.org/2024/1724

On Key Substitution Attacks against Aggregate Signatures and Multi-Signatures

• https://eprint.iacr.org/2024/1728

Arc: Accumulation for Reed--Solomon Codes

• https://eprint.iacr.org/2024/1731

Embedded Curves and Embedded Families for SNARK-Friendly Curves

• https://eprint.iacr.org/2024/1737

More Efficient Isogeny Proofs of Knowledge via Canonical Modular Polynomials

• https://eprint.iacr.org/2024/1738

The Learning Stabilizers with Noise problem

• https://eprint.iacr.org/2024/1741