Commit History

Autor SHA1 Mensaxe Data
  parazyd 6a024ab801 zkas: Add a field definition on top of the circuit file. %!s(int64=3) %!d(string=hai) anos
  parazyd 99f68db953 zkas: Enforce k declaration on top of the source file. %!s(int64=3) %!d(string=hai) anos
  parazyd be9013ed31 zkas: Rename "contract" to "witness". %!s(int64=3) %!d(string=hai) anos
  x ee108d0147 zk inclusion proof example %!s(int64=3) %!d(string=hai) anos