| .. |
|
analyzer.rs
|
a326a67901
zkas: Add basic debug prints
|
3 years ago |
|
ast.rs
|
71cd3064d6
Update license year.
|
3 years ago |
|
compiler.rs
|
99f68db953
zkas: Enforce k declaration on top of the source file.
|
3 years ago |
|
constants.rs
|
6a024ab801
zkas: Add a field definition on top of the circuit file.
|
3 years ago |
|
decoder.rs
|
8a4fec6745
zkas: Enforce MAX_K and MAX_NS_LEN.
|
3 years ago |
|
error.rs
|
71cd3064d6
Update license year.
|
3 years ago |
|
lexer.rs
|
a326a67901
zkas: Add basic debug prints
|
3 years ago |
|
mod.rs
|
8a4fec6745
zkas: Enforce MAX_K and MAX_NS_LEN.
|
3 years ago |
|
opcode.rs
|
0c7dbc4460
zk/vm: Implement first part of conditional chip selection.
|
3 years ago |
|
parser.rs
|
6a024ab801
zkas: Add a field definition on top of the circuit file.
|
3 years ago |
|
types.rs
|
a326a67901
zkas: Add basic debug prints
|
3 years ago |
parazyd
6a024ab801
zkas: Add a field definition on top of the circuit file.