mirror of
https://github.com/darkrenaissance/darkfi.git
synced 2026-04-28 03:00:18 -04:00
4eba00236d
clippy linting at the workspace level for all crates Configure all workspaces to use lints from the top-level Cargo.toml file Add example lints that the project could configure to improve security and reliability. Configure lints to warn level. Using deny level makes other binaries fail to compile if even one of them has a failure. No lints are added in this commit. Future changes can enable and fix lints
zkas
zkas is a compiler for the Halo2 zkVM language used in DarkFi.
The current implementation found in the DarkFi repository inside
src/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.
Architecture
The main part of the compilation happens inside the parser. New opcodes
can be added by extending
opcode.rs.
{{#include ../../../bin/zkas/src/main.rs:zkas}}