Blog
Notes on formal verification, zero-knowledge proofs, and the systems we build.
- RISC-V ZKVMs: the Good and the Bad
- Lookups in Lurk: Part 2
- Lurk 0.5 Benchmarks
- Lookups in Lurk: Part 1
- Linera Enables Provable Real-Time Applications Through Strategic Partnership with Argument
- Argument is Open-Sourcing Sphinx
- Unveiling Our ZK-Light Clients for Ethereum and Aptos
- Lurk Beta: The Zero-Knowledge Proof Programming Language
- Announcing the first Arecibo release
- Delayed Gratification
- Announcing the Alpha Release of Lurk
- A Programmer’s Introduction to Lurk