parazyd ba41f1b863 zkas/compiler: Implement initial bincode generation. 4 years ago
..
proofs 0ac6dd8c39 book: Move proofs from Sapling example to zkas/proofs and #include them. 4 years ago
src ba41f1b863 zkas/compiler: Implement initial bincode generation. 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