 ada
|
898beb4a68
mint contract time fix
|
před 5 roky |
|
ada
|
cd2a9b1aab
mint contract done
|
před 5 roky |
|
ada
|
65d6616f47
change eval mode for alloc, alloc-input and alloc-const
|
před 5 roky |
|
plato
|
901c8fd8f2
mint contract mimc result
|
před 5 roky |
|
plato
|
9322402f94
mint contract first version
|
před 5 roky |
|
plato
|
03cb2cdc45
draft mint-contract
|
před 5 roky |
|
plato
|
6917593b9d
remove alloc-input from jj add jj double
|
před 5 roky |
|
plato
|
5fed74062f
jj mul improve verify performance removing alloc-input from conditionally_select
|
před 5 roky |
|
plato
|
2a10899990
added profiling time
|
před 5 roky |
|
plato
|
073de0ea41
triple programming fix
|
před 5 roky |
|
plato
|
9fe4d88e60
rangeproof and evaluation of enforce field when it's one symbol only
|
před 5 roky |
|
plato
|
0f38f73ceb
make double accept func as arguments
|
před 5 roky |
|
plato
|
d9aab92fe2
fix linear combination zero on enforce field
|
před 5 roky |
|
plato
|
abdd2b5f19
added mint2.lisp
|
před 5 roky |
