 narodnik
|
a23afddab1
add bash script for mint contract
|
5 years ago |
|
narodnik
|
fbd0653c5d
initial mint contract
|
5 years ago |
|
narodnik
|
0d97db8f6c
add comment with vim autoload for pism
|
5 years ago |
|
narodnik
|
521443363f
add preprocessor highlighting to pism syntax file
|
5 years ago |
|
narodnik
|
e59009461b
add simple preprocessor
|
5 years ago |
|
narodnik
|
b6324df476
fix breaking change from last commit
|
5 years ago |
|
narodnik
|
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 |
|
narodnik
|
1483a5c7c2
fix breaking change in last commit
|
5 years ago |
|
narodnik
|
86daadded0
comment most of the proof out
|
5 years ago |
|
narodnik
|
58ee64a837
add pedersen_hash related functionality
|
5 years ago |
|
narodnik
|
2bda684163
working blake2s hash function!
|
5 years ago |
|
narodnik
|
47131b3a53
fix bug and add more commands
|
5 years ago |
|
narodnik
|
c35f43e9f3
pipe just generated file throught rustfmt instead of doing on entire project
|
5 years ago |
|
narodnik
|
e710fb2cd4
split off codgen functions into a separate module. have working ec ops
|
5 years ago |
|
narodnik
|
7833f69ede
indent, tidy and cleanup working.pism
|
5 years ago |
|
narodnik
|
d2417f29d2
add simple.prf file
|
5 years ago |
|
narodnik
|
9096fe173f
remove unused imports from simple.rs
|
5 years ago |
|
narodnik
|
859d7e61f5
add run script for simple cradle
|
5 years ago |
|
narodnik
|
bd29e9a12d
working cradle!
|
5 years ago |
|
narodnik
|
0bb0da0e03
add aux support for hooking up const values
|
5 years ago |
|
narodnik
|
5989b9ef1c
working simple example
|
5 years ago |
|
narodnik
|
ad6d3eb074
simple proof
|
5 years ago |
|
narodnik
|
20424ce011
pism
|
5 years ago |
|
narodnik
|
5828bee338
move out old schemas
|
5 years ago |
|
narodnik
|
133e94b2d9
finished pism spec
|
5 years ago |
|
narodnik
|
6dc84fd26e
pism work
|
5 years ago |
|
narodnik
|
8d17c4785c
add new psuedocode contract script file
|
6 years ago |
|
narodnik
|
f0ac762e16
fix mistakes with types and missing qualifiers
|
6 years ago |
|
narodnik
|
f92656c8be
script to make a compile test
|
6 years ago |
|
narodnik
|
99dcc69b6d
compiler now outputting rust code
|
6 years ago |
