parazyd
882f1e931a
zkas: Implement interactive semantic analyzer.
|
%!s(int64=4) %!d(string=hai) anos | |
|---|---|---|
| .. | ||
| proofs | %!s(int64=4) %!d(string=hai) anos | |
| src | %!s(int64=4) %!d(string=hai) anos | |
| .gitignore | %!s(int64=4) %!d(string=hai) anos | |
| Cargo.toml | %!s(int64=4) %!d(string=hai) anos | |
| Makefile | %!s(int64=4) %!d(string=hai) anos | |
| README.md | %!s(int64=4) %!d(string=hai) anos | |
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.