2024-10-27 zk-insights Weekly

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>