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

O1Labs: [Project Untitled] Whitepaper (draft)

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!