| .. |
|
analyzer.rs
|
17f6638a03
zkas: Move toolchain into main library and the binary into bin/ namespace.
|
il y a 4 ans |
|
ast.rs
|
17f6638a03
zkas: Move toolchain into main library and the binary into bin/ namespace.
|
il y a 4 ans |
|
compiler.rs
|
4b013f27ee
zkas: Use usize for stack indexes.
|
il y a 4 ans |
|
decoder.rs
|
86d9aa81b2
zk/vm: Proper separation for prover and verifier.
|
il y a 4 ans |
|
lexer.rs
|
17f6638a03
zkas: Move toolchain into main library and the binary into bin/ namespace.
|
il y a 4 ans |
|
mod.rs
|
17f6638a03
zkas: Move toolchain into main library and the binary into bin/ namespace.
|
il y a 4 ans |
|
opcode.rs
|
17f6638a03
zkas: Move toolchain into main library and the binary into bin/ namespace.
|
il y a 4 ans |
|
parser.rs
|
65e189fad6
zkas: Add Uin64 type.
|
il y a 4 ans |
|
types.rs
|
65e189fad6
zkas: Add Uin64 type.
|
il y a 4 ans |
parazyd
86d9aa81b2
zk/vm: Proper separation for prover and verifier.