 parazyd
|
e71c8bebb1
zkas: Add EcMulBase opcode.
|
4 years ago |
|
parazyd
|
ba41f1b863
zkas/compiler: Implement initial bincode generation.
|
4 years ago |
|
parazyd
|
0c39188ead
zkas/analyzer: Implement type checking.
|
4 years ago |
|
parazyd
|
b865aeb150
zkas: Implement initial full circuit parsing.
|
4 years ago |
|
parazyd
|
b996e0266c
zkas: WIP circuit parsing.
|
4 years ago |
|
parazyd
|
6b148dcceb
zkas: Add circuit parser skeleton and improve some error handling.
|
4 years ago |
|
parazyd
|
c3188b7576
zkas: Outline parser behaviour and add opcodes+types.
|
4 years ago |
|
parazyd
|
3511b8ff51
zkas: Add zkas code from zkas repo.
|
4 years ago |
