{"content":{"title":"2024-08-11 zk-insights Weekly","body":"## Highlights\r\n### SBC'24 Live Presentations\r\nA live stream for the Science of Blockchain Conference (SBC) 2024 presentations taking place August 7-9 at Columbia University\r\n- \r\n### 0xPARC: Programmable Cryptography (Part 1) \r\nCryptography is undergoing a generational transition, from special-purpose cryptography to programmable cryptography.\r\n- \r\n### SuperSpartan by Hand\r\nThe goal of this article is to dive into the techniques behind the SuperSpartan's polynomial IOP, which uses the sum-check protocol to prove CCS instances, by writing the protocol explicitely for a specific example. \r\n- \r\n### HyperNova by Hand\r\nThe aim of this article is to unbundle the folding mechanism of the HyperNova protocol by writing it by hand.\r\n- \r\n### A Survey on the Applications of Zero-Knowledge Proofs\r\nApplications of ZK from a practitioner/engineer’s perspective.\r\n- \r\n\r\n### How we created a research fast VM for ZKsync\r\nLambdaClass team makes a deep dive into how the EraVM works and how it differs from the EVM.\r\n- \r\n\r\n### Awesome zero knowledge proofs\r\nA curated list of awesome ZKP resources, libraries, tools and more.\r\n- \r\n\r\n### The exposition of Additive NTT\r\nA detailed theoretical introduction and Python implementation of Additive NTT\r\n- theory: \r\n- code: \r\n\r\n## Updates\r\n### Nullifier Counter in RISC Zero for apps on top of Rarimo Protocol\r\n- \r\n\r\n### ZK Summit 11 Folded\r\n文章由 Jack Gilcrest 撰写，详细介绍了 Cursive 团队在 ZK Summit 11 中集成折叠方案（folding schemes）的实际应用和经验。\r\n- \r\n\r\n### SP1 is live\r\nSP1 is now feature-complete and recommended for production use.\r\n- \r\n### SP1 Benchmarks: 8/6/24\r\nSP1’s new GPU prover achieves state of the art performance, with the cheapest cloud costs vs. alternative zkVMs by up to 10x, across a diverse set of blockchain workloads like light clients and EVM rollups.\r\n- \r\n\r\n### A thread about FRI by Paul Gafni\r\nChatting with peeps at SBC and realized I've made some educational resources about FRI soundness analysis that I never shared widely. \r\n- \r\n\r\n## Papers\r\n### Optimizing Big Integer Multiplication on Bitcoin: Introducing w-windowed Approach\r\n- \r\n### Garuda and Pari: Smaller and Faster SNARKs via Equifficient Polynomial Commitments\r\n- \r\n### MSMAC: Accelerating Multi-Scalar Multiplication for Zero-Knowledge Proof\r\n- \r\n### Non-Interactive Zero-Knowledge from LPN and MQ\r\n- \r\n### Concrete Analysis of Schnorr-type Signatures with Aborts\r\n- \r\n### Efficient (Non-)Membership Tree from Multicollision-Resistance with Applications to Zero-Knowledge Proofs\r\n- \r\n### zk-Promises: Making Zero-Knowledge Objects Accept the Call for Banning and Reputation\r\n- "},"author":{"user":"https://learnblockchain.cn/people/20379","address":null},"history":null,"timestamp":1723431561,"version":1}