Highlights
Friends don’t let friends reuse nonces
This blog post tells a cautionary tale of what can go wrong when implementing a relatively basic type of cryptography: a bidirectional encrypted channel, such as an encrypted voice call or encrypted chat. We’ll explore how more subtle issues of this type can arise in a network with several encrypted channels, and we’ll describe a bug we discovered in a client’s threshold signature scheme.
The galois library
A performant NumPy extension for Galois fields and their applications
RISC ZERO: Introducing Boundless: The Verifiable Compute Layer
- https://x.com/RiscZero/status/1835665979201724639
- https://risczero.com/blog/boundless-the-verifiable-compute-layer
Fermah
The Universal Proof Generation Layer
Aleo Mainnet is Here
powdr: a toolkit that helps build zkVMs and similar proof frameworks.
It has two main components:
- powdr-asm: an extensible assembly IR language to perform dynamic executions.
- powdr-PIL: a low level constraint language that allows you to define arithmetic constraints, lookups, etc. It includes a functional meta-constraint language to describe how constraints are generated.
Updates
ZK Day at Science of Blockchain Conference '24
Succinct Bootcamp Notes
Semaphore V4
- https://x.com/SemaphoreDevs/status/1836427240784920722
- https://github.com/semaphore-protocol/semaphore/releases/tag/v4.0.0