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

narodnik f0ac762e16 fix mistakes with types and missing qualifiers 5 жил өмнө
proofs 99dcc69b6d compiler now outputting rust code 5 жил өмнө
scripts f0ac762e16 fix mistakes with types and missing qualifiers 5 жил өмнө
src ab490a0fa1 show num constraints for PH 6 жил өмнө
Cargo.toml 3d5d234fb8 update 6 жил өмнө
README.md 99dcc69b6d compiler now outputting rust code 5 жил өмнө
compile.sh f92656c8be script to make a compile test 5 жил өмнө

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