 parazyd
|
8ae84ad7f9
Add license header to source files.
|
3 years ago |
 x
|
673d166311
zkas: add code comments
|
3 years ago |
|
Luther Blissett
|
c93034f164
zkas: Write the circuit namespace in the bincode.
|
3 years ago |
|
Luther Blissett
|
acc5773230
zkas: Clippy lints.
|
4 years ago |
|
Luther Blissett
|
ed1bc8c30f
zkas/parser: Implement circuit section parsing.
|
4 years ago |
|
Luther Blissett
|
4ea777a718
zkas/parser: Document circuit parsing goals.
|
4 years ago |
|
Luther Blissett
|
024414be98
zkas/parser: Improve and clean up, and remove circuit parsing.
|
4 years ago |
|
Luther Blissett
|
2234d6b812
zkas: Remove GreaterThan opcode.
|
4 years ago |
|
Luther Blissett
|
d204c2256d
zkas: Number parsing, and be more explicit about sections.
|
4 years ago |
|
Luther Blissett
|
b0d8217965
zkas: Rework error subsystem and add warnings.
|
4 years ago |
|
parazyd
|
73d7b4f19b
zkas/parser: Use a macro to parse function calls to reduce repetitive code.
|
4 years ago |
|
parazyd
|
6aff6643af
zkas: Use fxhash as the IndexMap hasher.
|
4 years ago |
|
parazyd
|
92a4410e31
Miscellaneous fixes and 'make fix'.
|
4 years ago |
|
parazyd
|
230ff6fcc6
zk: Add base_sub opcode to VM and arithmetic chip.
|
4 years ago |
|
parazyd
|
4e774c9710
zk/vm: Add BaseAdd and BaseMul from the arithmetic chip.
|
4 years ago |
|
parazyd
|
e00c8e0147
zkas: Separate constants into specific types.
|
4 years ago |
|
parazyd
|
cabbe3c8ea
zkas: Unify error functions into an error emitter.
|
4 years ago |
|
parazyd
|
65e189fad6
zkas: Add Uin64 type.
|
4 years ago |
|
parazyd
|
17f6638a03
zkas: Move toolchain into main library and the binary into bin/ namespace.
|
4 years ago |
