Home Explore Help
Sign In
darkrenaissance
/
darkfi
2
0
Fork 0
Files Issues 0 Pull Requests 0 Wiki
Tree: cf02fd2f4e
Branches Tags
darkfi
/
zkas
parazyd 9d898b507f zkas/compiler: Don't write STATEMENT_TYPE to circuit statements. 4 years ago
..
proofs 2ae2647de7 proofs/burn: Calculate Merkle root for derived coin C. 4 years ago
src 9d898b507f zkas/compiler: Don't write STATEMENT_TYPE to circuit statements. 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
README.md 8c93154dc6 book/zkas: Add introductory text. 4 years ago

README.md

zkas

zkas is a compiler for the Halo2 zkVM langage used in DarkFi.

The documentation on both the compiler and the language can be found in the book: https://darkrenaissance.github.io/darkfi/zkas/zkas.html

The current implementation found in the DarkFi repository inside https://github.com/darkrenaissance/darkfi/tree/master/zkas is the reference compiler and language implementation. It is a toolchain consisting of a lexer, parser, static and semantic analyzers, and a binary code compiler.

The main.rs file shows how this toolchain is put together to produce binary code from source code.