|
proofs
|
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
|
hace 6 años |
|
scripts
|
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
|
hace 6 años |
|
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
|
hace 6 años |
|
Cargo.toml
|
ad6d3eb074
simple proof
|
hace 6 años |
|
README.md
|
99dcc69b6d
compiler now outputting rust code
|
hace 6 años |
|
compile.sh
|
f92656c8be
script to make a compile test
|
hace 6 años |
|
compile_and_run.sh
|
c35f43e9f3
pipe just generated file throught rustfmt instead of doing on entire project
|
hace 6 años |