Edited by ZKPunk
Highlights
bitchat
A secure, decentralized, peer-to-peer messaging app that works over Bluetooth mesh networks. No internet required, no servers, no phone numbers - just pure encrypted communication.
Computer Scientists Figure Out How To Prove Lies
An attack on a fundamental proof technique reveals a glaring security issue for blockchains and other digital encryption schemes.
New Sphere-Packing Record Stems From an Unexpected Source
Mathematician Boaz Klartag achieved a major breakthrough in high-dimensional sphere packing using convex geometry, breaking a long-standing record and reigniting debates on optimal packing methods.
Updates
Obfuscation
Cryptography 10 Years Later: Obfuscation, Proof Systems, and Secure Computation
New listing of ZKPunk in The Map of ZK by ZKV
Papers
LegoLog: A configurable transparency log
Improved Constant-Sized Polynomial Commitment Schemes Without Trusted Setup
RoK and Roll – Verifier-Efficient Random Projection for $\tilde{O}(\lambda)$-size Lattice Arguments
Ring-LWR based Commitments and ZK-PoKs with Application to Verifiable Quantum-Safe Searchable Symmetric Encryption
Hobbit: Space-Efficient zkSNARK with Optimal Prover Time
zkSNARKs 的证明者有着庞大的空间/内存开销，这几乎使其在处理大规模实例时难以实际应用。空间高效（space-efficient）的zkSNARK旨在通过限制证明者的内存使用来解决该问题，同时在运行时间上不做太多牺牲。在本工作中，我们提出了Hobbit，这是目前唯一实现了对算术电路的最优证明者时间的空间高效zkSNARK。同时，Hobbit也是首个具有透明性且在合理假设下具备抗量子安全性的同类构造。此外，我们的实验评估表明，Hobbit在四种不同应用场景中（任意算术电路、剪枝多层感知机（pruned Multi-Layer Perceptron）的推理、批量AES128计算以及选择与聚合SQL查询）在证明者时间上相较于已有所有通用型空间高效zkSNARK实现具有8倍以上的提升，同时其总空间需求最多可减少23倍。
在技术层面，我们引入了两个可能具有独立研究价值的新模块：（i）首个用于多项式乘积的流式设定（streaming setting）下具有最优证明者时间的sumcheck协议；（ii）一种新颖的、多线性、在合理假设下具备抗量子安全性、在证明者时间上优于所有已有工作的多项式承诺方案（且可调整为空间高效模式）。我们通过将上述模块与修改版的HyperPlonk相结合，构建出Hobbit，并提供了一个显式流程以支持对电路求值的流式访问。
Tree PCPs
BitVM with Succinct On-Chain Cost from AB-LFE, HMAC, or Privacy-Free GC
Efficiently parsing existing eID documents for zero-knowledge proofs
Linear Prover IOPs in Log Star Rounds
Applications Of Zero-Knowledge Proofs On Bitcoin
On Weak NIZKs, One-way Functions and Amplification
If you’d like to receive updates via email, subscribe us!