Commit Verlauf

Autor SHA1 Nachricht Datum
  parazyd 3f5148e149 zkrunner: Remove unused proofs and use symlink for opcodes proof. vor 3 Jahren
  parazyd 99f68db953 zkas: Enforce k declaration on top of the source file. vor 3 Jahren
  freerangedev ccff4b250f zkrunner: Add previous work vor 3 Jahren