Commit History

Author SHA1 Message Date
  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