Highlights
Is Telegram really an encrypted messaging app?
Apropos Pavel Durov’s arrest, cryptographer Matthew Green wrote a short post about whether Telegram is an “encrypted messaging app”. The TL;DR here is that Telegram has an optional end-to-end encryption mode that you have to turn on manually. It only works for individual conversations, not for group chats.
Zirgen Circuit Compiler
Zirgen is a compiler for a domain-specific language, also called "zirgen", which creates arithmetic circuits for the RISC Zero proof system.
Signed web pages with SXG
How Base 3 Computing Beats Binary
Long explored but infrequently embraced, base 3 computing may yet find a home in cybersecurity.
How Does Math Keep Secrets?
Cryptography is the thread that connects Julius Caesar, World War II and quantum computing, and it now lies under nearly every part of modern life. In this week’s episode, computer scientist Boaz Barak and co-host Janna Levin discuss the past and future of secrecy.
Updates
A major breakthrough in multiplication over Bitcoin, and in STARK verification on Bitcoin signet
A new algorithm for M31 multiplication reduces multiplication cost by 70%. Unlike STARKs, this new multiplication algorithm (like the previous algorithm) does not require OP_CAT, cementing M31’s status as a Bitcoin-friendly prime, regardless of OP_CAT.
plonky3-ccs
A plonky3 to CCS converter.
ZKVMs and Proof Verification with @ZKVProtocol, @RiscZero, @ProjectZKM and @alignedlayer
IACR Crypto 2024 (Videos)
Frontiers in Complexity Theory: A Graduate Workshop （Videos）
ZK Con 2024 : ZK For Consumer Use (Videos)
Papers
ECC’s Achilles’ Heel: Unveiling Weak Keys in Standardized Curves
SoK: Instruction Set Extensions for Cryptographers
On the structure of quaternion rings over ℤ/nℤ
Generalized one-way function and its application
Quantum Security of a Compact Multi-Signature
SoK: An Engineer’s Guide to Post-Quantum Cryptography for Embedded Devices
Zero-Knowledge Validation for an Offline Electronic Document Wallet using Bulletproofs
Proximity Gaps in Interleaved Codes
Direct Range Proofs for Paillier Cryptosystem and Their Applications
What Did Come Out of It? Analysis and Improvements of DIDComm Messaging
A Documentation of Ethereum’s PeerDAS
FLIP-and-prove R1CS
Learnings
Foundations and Applications of Zero-Knowledge Proofs
The workshop will cover several topics within this field, including classical results, interactive oracle proofs, proof from symmetric primitives, group and pairing-based proof systems such as ZK-SNARKs, lattice-based proof systems, and real-world applications.
Error Correction Zoo
STARK101-rs
A Rust tutorial for a basic STARK protocol to prove the calculation of a Fibonacci-Square sequence, as designed for StarkWare Sessions, and authored by the StarkWare team.
ZK Hack Montréal
- Polygon - The eSTARK Proving System & Plonky3 : https://www.youtube.com/watch?v=2WjcXZYo7eA&list=PLj80z0cJm8QFGB6AsiAG3EB06L7xr5S1c&index=90
- Risc Zero - Boundless On-chain Execution using Proven Off-chain Coprocessing : https://www.youtube.com/watch?v=7M5aKRaGG1Q&list=PLj80z0cJm8QFGB6AsiAG3EB06L7xr5S1c&index=89
Programming ZKPs: From Zero to Hero
This post will show you how to write basic Zero Knowledge Proofs (ZKPs) from scratch.