Commit Graph

3 Commits

Author SHA1 Message Date
Hendrik Eeckhaut
1ded4136bf Interactive Prover in Typescript (Verifier in Rust) (#74)
feat: interactive verifier demo

* Verifier in Rust
* Prover in both Rust and TypeScript/React

---------
Co-authored-by: Pete Thomas <pete@xminusone.net>
Co-authored-by: yuroitaki <25913766+yuroitaki@users.noreply.github.com>
2024-11-05 22:41:30 +07:00
tsukino
b95c8f0159 feat: integrate with alpha.7 (#67) 2024-10-04 04:40:08 -04:00
mhchia
aaaaba18de chore: add vscode settings for rust-analyzer 2023-12-29 15:10:43 +08:00