Nightstream: Provable Coroutines for Containers and Contracts

Nightstream is a proof system capable of proving infinite streams of computation, modeled as coroutines via a post-quantum lattice-based zkVM. It supports multiple opcodes sets including riscv, but has a focus on Wasm components to prove contract and container execution. Join this meetup to learn more about the Nightstream lab and how to get involved.