2024-10-27 zk-insights Weekly

Coset 发布于 2024-11-03 阅读 2232

如果你重视零知识证明技术信息的实效性和信息源质量的意义,不想娱乐至死、短视投机、无关广告、推荐算法、劣币驱逐良币的泥沙裹挟迷失,请多支持我们(包括给予赞助支持),让这一汨清流继续流淌~

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>

相关文章

0 条评论