ZK Insights | 23th June 2024
Highlights
Luca Trevisan (1971-2024)
- https://windowsontheory.org/2024/06/19/luca-trevisan-1971-2024/
- https://scottaaronson.blog/?p=8057
- https://blog.computationalcomplexity.org/2024/06/luca-trevisan-1971-2024.html
Luca Trevisan's Cryptography Lecture Notes from CS276, Spring 2009
One of the best learning resources about the Goldreich-Levin theorem, recommended by Prof. Deng Yi.
- https://lucatrevisan.github.io/books/crypto.pdf
The ZF FROST Book
- https://frost.zfnd.org/index.html
SoK: Programmable Privacy in Distributed Systems
- https://eprint.iacr.org/2024/982
Abstract Algebra: Theory and Applications
A nice book with examples and programming exercises.
- http://abstract.ups.edu/aata/aata.html
10 Weeks of Journey into vFHE
- https://paragraph.xyz/@moyed/10-weeks-of-journey-into-vfhe
- https://drive.google.com/file/d/1IKhckgus2WkyVtGqaeA8fJOe5THNzv-V/view
Arithmetizing FHE in Circom
- https://pps-lab.com/blog/fhe_arithmetization/
Juvix: a language for intent-centric and declarative decentralized applications
- https://docs.juvix.org/0.6.1/README.html
Updates
Nexus zkVM 1.0
RISC Zero zkVM 1.0: Industry-Leading Performance Benchmarks
- https://www.risczero.com/blog/beating-moores-law-with-zkvm-1-0
Episode 328: ZK on Bitcoin with Alpen Labs
- https://zeroknowledge.fm/328-2/
Arkwork v0.5.0-alpha
- https://github.com/arkworks-rs/
北京密码学日成功举办
Eurocrypt 2024 Videos
- SNARKs: https://www.youtube.com/watch?v=_WsCQc9Elcg
- Proof Systems: https://www.youtube.com/watch?v=e0b3oKSrYt8
Papers
Fast SNARK-based Non-Interactive Distributed Verifiable Random Function with Ethereum Compatibility
- https://eprint.iacr.org/2024/968
ICICLE v2: Polynomial API for Coding ZK Provers to Run on Specialized Hardware
- https://eprint.iacr.org/2024/973
Volatile and Persistent Memory for zkSNARKs via Algebraic Interactive Proofs
- https://eprint.iacr.org/2024/979
Hadamard Product Arguments and Their Applications
- https://eprint.iacr.org/2024/981
On Knowledge-Soundness of Plonk in ROM from Falsifiable Assumptions
- https://eprint.iacr.org/2024/994
Cross-chain bridges via backwards-compatible SNARKs
- https://eprint.iacr.org/2024/995
Dishonest Majority Multi-Verifier Zero-Knowledge Proofs
- https://eprint.iacr.org/2024/997
zkVoting : Zero-knowledge proof based coercion-resistant and E2E verifiable e-voting system
- https://eprint.iacr.org/2024/1003
Relaxed Vector Commitment for Shorter Signatures
- https://eprint.iacr.org/2024/1004
Formal Verification of Zero-Knowledge Circuits
- https://arxiv.org/pdf/2311.08858
*感谢 Kurt、Xor0v0、Harry、Po 对本期 ZK Insights 的特别贡献!
如果你对我们的 ZK Insights 感兴趣,或者有类似的内容分享想法,我们非常鼓励大家直接前往我们的 Github repo Pull Request,与有相同兴趣和爱好的 ZK-nerd 一起共创!
Github repo link:https://github.com/Antalpha-Labs/zk-insights✨ 网页汇总版:https://zkinsights.z2o-k7e.world/ Antalpha Labs 是一个非盈利的 Web3 开发者社区,致力于通过发起和支持开源软件推动 Web3 技术的创新和应用。
官网:https://labs.antalpha.com
Twitter:https://twitter.com/Antalpha_Labs
Youtube:https://www.youtube.com/channel/UCNFowsoGM9OI2NcEP2EFgrw
联系我们:hello.labs@antalpha.com
【免责声明】市场有风险,投资需谨慎。本文不构成投资建议,用户应考虑本文中的任何意见、观点或结论是否符合其特定状况。据此投资,责任自负。