コミット履歴

作者 SHA1 メッセージ 日付
  parazyd 3f5148e149 zkrunner: Remove unused proofs and use symlink for opcodes proof. 3 年 前
  parazyd 99f68db953 zkas: Enforce k declaration on top of the source file. 3 年 前
  freerangedev ccff4b250f zkrunner: Add previous work 3 年 前