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