 narodnik
|
d2417f29d2
add simple.prf file
|
пре 6 година |
|
narodnik
|
9096fe173f
remove unused imports from simple.rs
|
пре 6 година |
|
narodnik
|
859d7e61f5
add run script for simple cradle
|
пре 6 година |
|
narodnik
|
bd29e9a12d
working cradle!
|
пре 6 година |
|
narodnik
|
0bb0da0e03
add aux support for hooking up const values
|
пре 6 година |
|
narodnik
|
5989b9ef1c
working simple example
|
пре 6 година |
|
narodnik
|
ad6d3eb074
simple proof
|
пре 6 година |
|
narodnik
|
20424ce011
pism
|
пре 6 година |
|
narodnik
|
5828bee338
move out old schemas
|
пре 6 година |
|
narodnik
|
133e94b2d9
finished pism spec
|
пре 6 година |
|
narodnik
|
6dc84fd26e
pism work
|
пре 6 година |
|
narodnik
|
8d17c4785c
add new psuedocode contract script file
|
пре 6 година |
|
narodnik
|
f0ac762e16
fix mistakes with types and missing qualifiers
|
пре 6 година |
|
narodnik
|
f92656c8be
script to make a compile test
|
пре 6 година |
|
narodnik
|
99dcc69b6d
compiler now outputting rust code
|
пре 6 година |
|
narodnik
|
e4a2f3e1e6
split up parser code
|
пре 6 година |
|
narodnik
|
f7b027c100
spaghetti
|
пре 6 година |
|
narodnik
|
5a13266cc4
parse consts
|
пре 6 година |
|
narodnik
|
e041a01e29
single end emit statement
|
пре 6 година |
|
narodnik
|
c7a252ef8b
another variant
|
пре 6 година |
|
narodnik
|
07c63e8ffe
add missing :
|
пре 6 година |
|
narodnik
|
b9bfb860af
another proof script variant
|
пре 6 година |
|
narodnik
|
4729c2a2e4
bls vs jj scalar note
|
пре 6 година |
|
narodnik
|
c3f09e946a
initial lang stuff
|
пре 6 година |
|
narodnik
|
ab490a0fa1
show num constraints for PH
|
пре 6 година |
|
narodnik
|
3d5d234fb8
update
|
пре 6 година |
|
narodnik
|
72a3cc62f3
fix sha256 warnings
|
пре 6 година |
|
narodnik
|
a5753a1325
update mimc
|
пре 6 година |
|
narodnik
|
9da047877e
added pedersen hash
|
пре 6 година |
|
narodnik
|
12ab41bc64
added blake2s
|
пре 6 година |
