Enabling Verifiable Computation
nexus.xyz | GitHub
Nexus | Zero Knowledge, at Internet Scale
https://github.com/nexus-xyz/nexus-zkvm
https://www.nexus.xyz/whitepaper.pdf
whitepaper.pdf