 plato
|
208f9300d7
fix jj-add macro return values
|
5 yıl önce |
|
plato
|
3eed8b7b87
added some debug
|
5 yıl önce |
|
plato
|
ec8361771a
finally jj-mul executing
|
5 yıl önce |
|
plato
|
c788126f57
added dotimes to fprevent stackoverflow with tail recursion
|
5 yıl önce |
|
plato
|
f278eae0b3
trying tail recursion on jj-mul
|
5 yıl önce |
|
plato
|
7e00fb82e3
added for-loop util
|
5 yıl önce |
|
plato
|
2dfc7ab00e
added boolean constraint
|
5 yıl önce |
|
plato
|
d45d6f0bcf
conditionally select done
|
5 yıl önce |
|
plato
|
45772956d0
added conditionally unfinished
|
5 yıl önce |
|
plato
|
dffe5b7cd8
not small order
|
5 yıl önce |
|
plato
|
5647c019ec
added zero? and scalar invert
|
5 yıl önce |
|
plato
|
43dd0ec21c
added zk-double
|
5 yıl önce |
|
plato
|
faaea967a6
added const for right and output on circuit enforce
|
5 yıl önce |
|
plato
|
07d469b875
macro test not validating proof
|
5 yıl önce |
|
plato
|
10916184a2
fix zk-* alloc-input
|
5 yıl önce |
|
plato
|
6b0d9694bc
fix witness
|
5 yıl önce |
|
plato
|
348642ddc0
added zk-witness
|
5 yıl önce |
|
plato
|
1895cc8665
added zk-witness
|
5 yıl önce |
|
plato
|
07211a6061
added zk-mul
|
5 yıl önce |
|
plato
|
18e2584460
organizing code
|
5 yıl önce |
|
plato
|
15ab8ede99
organizing return of zk defmacro
|
5 yıl önce |
|
plato
|
3746359939
added comment on jubjub add macro
|
5 yıl önce |
|
plato
|
71f78b8f4b
added jubjub add using macro
|
5 yıl önce |
|
plato
|
806d5c63c4
added jubjub add using macro
|
5 yıl önce |
|
plato
|
0d340cdedf
prove needs scoping to execute more than one expression
|
5 yıl önce |
|
plato
|
c9ace8c383
added macros.lisp sample
|
5 yıl önce |
|
plato
|
50cc8db1f9
added comment on jubjub-mul about variable names colision
|
5 yıl önce |
|
plato
|
05881c9380
brute force merge env and now it work
|
5 yıl önce |
|
plato
|
4aa2876c49
added square on lisp
|
5 yıl önce |
|
plato
|
605b067924
organizing
|
5 yıl önce |
