Home Explore Help
Sign In
darkrenaissance
/
darkfi
2
0
Fork 0
Files Issues 0 Pull Requests 0 Wiki

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

Tree: 9e52cb7304
Branches Tags
darkfi
ZIP TAR.GZ
ada 9e52cb7304 exploring read function 5 years ago
lisp 9e52cb7304 exploring read function 5 years ago
proofs 7c6c63ba53 removed trailing whitespace 5 years ago
scripts 7a419fdf0a fix broken import: s/vm/compile/ 5 years ago
src 39672e1bed command line tool 5 years ago
.gitignore 7e9ed3210f .gitignore 5 years ago
Cargo.toml 616a540513 prototyping lisp v0 5 years ago
README.md 99dcc69b6d compiler now outputting rust code 5 years ago
TODO.md 5845602ca4 added TODO list 5 years ago
run_jubjub.sh 6048079efc exit if lisp script error 5 years ago
run_mimc.sh 16ebe6dc78 add missing run_mimc.sh script 5 years ago
run_mint.sh c3cfc3e4dc finished migration to new API for mint as well 5 years ago
zkvm.md 04ec9dc059 zkvm spec 5 years ago

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