parazyd ba41f1b863 zkas/compiler: Implement initial bincode generation. 4 tahun lalu
..
proofs 0ac6dd8c39 book: Move proofs from Sapling example to zkas/proofs and #include them. 4 tahun lalu
src ba41f1b863 zkas/compiler: Implement initial bincode generation. 4 tahun lalu
Cargo.lock b05a32d0e1 zkas: Use IndexMap instead of HashMap to keep order. 4 tahun lalu
Cargo.toml b05a32d0e1 zkas: Use IndexMap instead of HashMap to keep order. 4 tahun lalu
Makefile 3511b8ff51 zkas: Add zkas code from zkas repo. 4 tahun lalu