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

narodnik 0d97db8f6c add comment with vim autoload for pism 5 years ago
proofs 0d97db8f6c add comment with vim autoload for pism 5 years ago
scripts 0d97db8f6c add comment with vim autoload for pism 5 years ago
src f6410d5499 finished adding final commands: ec_get_u, alloc/clone_bit, binary_push, scalar_alloc, conditionally_reverse, scalar_as_binary, scalar_enforce_equal, emit_scalar 5 years ago
Cargo.toml ad6d3eb074 simple proof 5 years ago
README.md 99dcc69b6d compiler now outputting rust code 5 years ago
compile.sh f92656c8be script to make a compile test 5 years ago
compile_and_run.sh c35f43e9f3 pipe just generated file throught rustfmt instead of doing on entire project 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