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

ada 1c0cc4721b refactoring lisp code il y a 6 ans
lisp 1c0cc4721b refactoring lisp code il y a 6 ans
proofs 7c6c63ba53 removed trailing whitespace il y a 6 ans
scripts 7a419fdf0a fix broken import: s/vm/compile/ il y a 6 ans
src 39672e1bed command line tool il y a 6 ans
.gitignore 7e9ed3210f .gitignore il y a 6 ans
Cargo.toml a1d5f0cc38 added mal lisp and jubjub unfinished sample il y a 6 ans
README.md 99dcc69b6d compiler now outputting rust code il y a 6 ans
TODO.md 5845602ca4 added TODO list il y a 6 ans
run_jubjub.sh 6048079efc exit if lisp script error il y a 6 ans
run_mimc.sh 16ebe6dc78 add missing run_mimc.sh script il y a 6 ans
run_mint.sh c3cfc3e4dc finished migration to new API for mint as well il y a 6 ans
zkvm.md 04ec9dc059 zkvm spec il y a 6 ans

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