| .. |
|
analyzer.rs
|
cabbe3c8ea
zkas: Unify error functions into an error emitter.
|
4 gadi atpakaļ |
|
ast.rs
|
17f6638a03
zkas: Move toolchain into main library and the binary into bin/ namespace.
|
4 gadi atpakaļ |
|
compiler.rs
|
cabbe3c8ea
zkas: Unify error functions into an error emitter.
|
4 gadi atpakaļ |
|
decoder.rs
|
86d9aa81b2
zk/vm: Proper separation for prover and verifier.
|
4 gadi atpakaļ |
|
error.rs
|
3238530003
Port codebase to latest halo2 revision.
|
4 gadi atpakaļ |
|
lexer.rs
|
cabbe3c8ea
zkas: Unify error functions into an error emitter.
|
4 gadi atpakaļ |
|
mod.rs
|
cabbe3c8ea
zkas: Unify error functions into an error emitter.
|
4 gadi atpakaļ |
|
opcode.rs
|
230ff6fcc6
zk: Add base_sub opcode to VM and arithmetic chip.
|
4 gadi atpakaļ |
|
parser.rs
|
230ff6fcc6
zk: Add base_sub opcode to VM and arithmetic chip.
|
4 gadi atpakaļ |
|
types.rs
|
e00c8e0147
zkas: Separate constants into specific types.
|
4 gadi atpakaļ |
parazyd
230ff6fcc6
zk: Add base_sub opcode to VM and arithmetic chip.