 y
|
92a7a80ddc
cleanup: put test002 after test001
|
2 years ago |
|
parazyd
|
31478a5305
zkas: Enable regression_001 test
|
2 years ago |
|
greptile
|
67b8de8451
zkas: fix index-out-of-bounds panic (#203)
|
2 years ago |
|
greptile
|
9d5ca4b904
zkas: fix out-of-memory panic (#202)
|
2 years ago |
|
y
|
f6d1915556
zkas: fix index out of bounds panic
|
3 years ago |
|
parazyd
|
8a4fec6745
zkas: Enforce MAX_K and MAX_NS_LEN.
|
3 years ago |
|
parazyd
|
99f68db953
zkas: Enforce k declaration on top of the source file.
|
3 years ago |
|
parazyd
|
1cb00112ae
zkas: Enforce a limit on the circuit namespace length
|
3 years ago |
|
parazyd
|
a326a67901
zkas: Add basic debug prints
|
3 years ago |
|
parazyd
|
bd6a6bfaf2
zkas: Rename "stack" to "heap".
|
3 years ago |
|
parazyd
|
be9013ed31
zkas: Rename "contract" to "witness".
|
3 years ago |
|
parazyd
|
71cd3064d6
Update license year.
|
3 years ago |
|
parazyd
|
8ae84ad7f9
Add license header to source files.
|
3 years ago |
|
Luther Blissett
|
c93034f164
zkas: Write the circuit namespace in the bincode.
|
3 years ago |
|
Luther Blissett
|
5e4b663b13
Apply new path to serial crate throughout codebase.
|
3 years ago |
|
Luther Blissett
|
76c25f06a1
Change import references in library to the new serial module.
|
3 years ago |
|
Luther Blissett
|
acc5773230
zkas: Clippy lints.
|
4 years ago |
|
Luther Blissett
|
a1732be74e
zkas/compiler: Introduce .literal section in bincode, and add remaining code.
|
4 years ago |
|
parazyd
|
86d9aa81b2
zk/vm: Proper separation for prover and verifier.
|
4 years ago |
|
parazyd
|
4b013f27ee
zkas: Use usize for stack indexes.
|
4 years ago |
|
parazyd
|
17f6638a03
zkas: Move toolchain into main library and the binary into bin/ namespace.
|
4 years ago |
