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

narodnik b6a898a95c split zk functions from jj.rkt 6 лет назад
lisp b6a898a95c split zk functions from jj.rkt 6 лет назад
proofs 6d9e5a0411 added proofs/jubjub.params 6 лет назад
scripts 15dffe950d rename lcX_add_one_coeff to lcX_add_constant, and add mimc example 6 лет назад
src f29282a357 switch proof generation from jinja to lisp/racket 6 лет назад
.gitignore 7e9ed3210f .gitignore 6 лет назад
Cargo.toml 15dffe950d rename lcX_add_one_coeff to lcX_add_constant, and add mimc example 6 лет назад
README.md 99dcc69b6d compiler now outputting rust code 6 лет назад
TODO.md 5845602ca4 added TODO list 6 лет назад
run_jubjub.sh 6048079efc exit if lisp script error 6 лет назад
run_mimc.sh 16ebe6dc78 add missing run_mimc.sh script 6 лет назад
run_mint.sh c3cfc3e4dc finished migration to new API for mint as well 6 лет назад
zkvm.md 04ec9dc059 zkvm spec 6 лет назад

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