 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 |
