Highlights
zkFOCIL: Inclusion List Privacy using Linkable Ring Signatures
New Proofs Probe the Limits of Mathematical Truth
An Introduction to Interactive Theorem Provers
A deep dive into PIR. Revisiting Spiral & Respire - by Prof. David J. Wu
Introducing ICICLE-Stwo: A GPU-Accelerated Stwo Prover
- https://x.com/Ingo_zk/status/1887580350940954965
- https://www.ingonyama.com/blog/introducing-icicle-stwo-a-gpu-accelerated-stwo-prover
O1Labs: [Project Untitled] Whitepaper (draft)
- https://x.com/untitled_ZK/status/1887520246799429912
- https://www.o1labs.org/project-untitled
- https://github.com/o1-labs/project-untitled-whitepaper
Updates
ZK Hack V Winners Interview
【漫士】怎么把疯狂的想法变成严谨的数学
Papers
Indocrypt 2024
Quantum function secret sharing
Efficient Quantum-safe Distributed PRF and Applications: Playing DiSE in a Quantum World
Secure Showing of Partial Attributes
Learning from Functionality Outputs: Private Join and Compute in the Real World
Bootstrapping (T)FHE Ciphertexts via Automorphisms: Closing the Gap Between Binary and Gaussian Keys
Multi-Authority Functional Encryption with Bounded Collusions from Standard Assumptions
Polynomial Inversion Algorithms in Constant Time for Post-Quantum Cryptography
Efficient Error Detection Methods for the Number Theoretic Transforms in Lattice-Based Algorithms
SoK: Understanding zk-SNARKs: The Gap Between Research and Practice
A Critical Analysis of Deployed Use Cases for Quantum Key Distribution and Comparison with Post-Quantum Cryptography
VITARIT: Paying for Threshold Services on Bitcoin and Friends
Updatable Public-Key Encryption, Revisited
HyperLoop: Rationally secure efficient cross-chain bridge
On the Power of Sumcheck in Secure Multiparty Computation
**If you’d like to receive updates via email, subscribe us!