parazyd 5dbf0ac421 zkas/analyzer: Improve incorrect argument error messages. 4 years ago
..
proofs e71c8bebb1 zkas: Add EcMulBase opcode. 4 years ago
src 5dbf0ac421 zkas/analyzer: Improve incorrect argument error messages. 4 years ago
Cargo.lock b05a32d0e1 zkas: Use IndexMap instead of HashMap to keep order. 4 years ago
Cargo.toml b05a32d0e1 zkas: Use IndexMap instead of HashMap to keep order. 4 years ago
Makefile 3511b8ff51 zkas: Add zkas code from zkas repo. 4 years ago