→ AI security and experimentation
→ Verifiable machine learning (zkML)
→ Zero-knowledge proof systems
Pinned Loading
Repositories
Showing 8 of 8 repositories
- .github Public
- web Public
- whir-phase-wise-learning Public
A hands-on, 8-phase implementation of the WHIR in rust, built from first principles using arkworks.
- find-value-of-x Public
- minimal-viable-prover Public
- Nova Public Forked from microsoft/Nova
Nova: High-speed recursive zero-knowledge arguments from folding schemes
- Nova-Scotia Public Forked from nalinbhardwaj/Nova-Scotia
Middleware to compile Circom circuits to Nova prover
Top languages
Loading…
Most used topics
Loading…