Anonymous. Uncensored. Sovereign. https://dark.fi

rachel-rose 2bc5862d04 removed hardcoding, reads from command line args %!s(int64=5) %!d(string=hai) anos
lisp b6a898a95c split zk functions from jj.rkt %!s(int64=5) %!d(string=hai) anos
proofs 7c6c63ba53 removed trailing whitespace %!s(int64=5) %!d(string=hai) anos
scripts 7a419fdf0a fix broken import: s/vm/compile/ %!s(int64=5) %!d(string=hai) anos
src 2bc5862d04 removed hardcoding, reads from command line args %!s(int64=5) %!d(string=hai) anos
.gitignore 7e9ed3210f .gitignore %!s(int64=5) %!d(string=hai) anos
Cargo.toml 250d61ffc0 moved zkvm to bin %!s(int64=5) %!d(string=hai) anos
README.md 99dcc69b6d compiler now outputting rust code %!s(int64=5) %!d(string=hai) anos
TODO.md 5845602ca4 added TODO list %!s(int64=5) %!d(string=hai) anos
run_jubjub.sh 6048079efc exit if lisp script error %!s(int64=5) %!d(string=hai) anos
run_mimc.sh 16ebe6dc78 add missing run_mimc.sh script %!s(int64=5) %!d(string=hai) anos
run_mint.sh c3cfc3e4dc finished migration to new API for mint as well %!s(int64=5) %!d(string=hai) anos
zkvm.md 04ec9dc059 zkvm spec %!s(int64=5) %!d(string=hai) anos

README.md

cargo run --bin blake --release
cargo run --bin sha256 --release
cargo run --bin mimc --release
cargo run --bin zec --release

Compiler

python scripts/parser.py proofs/sapling3.prf | rustfmt