 ada
|
f72b5ea131
enforce parsing done
|
před 5 roky |
|
ada
|
1892933189
improving zklisp. adding zkscalar
|
před 5 roky |
|
ada
|
3121f3f879
fixing new dsl for cs
|
před 5 roky |
|
ada
|
5fe67b5db6
cleaning code
|
před 5 roky |
|
ada
|
013180e43f
added zkcircuit values on eval
|
před 5 roky |
|
ada
|
a4cae2aa84
eval without global circuit
|
před 5 roky |
|
ada
|
5f57b7fcb1
change eval for zkcons auto create circuit
|
před 5 roky |
|
ada
|
510634d100
adding values to zkcircuit on lisp.rs
|
před 5 roky |
|
ada
|
153798b649
begin interacting with zkvm add lc0
|
před 5 roky |
|
ada
|
97c99c75ea
added zn* function definition
|
před 5 roky |
|
ada
|
fea2b6c313
added lisp files
|
před 5 roky |
