zktc-c-com is a ZKTC-C compiler implemented in Rust.
ZKTC-C is a C-like programming language for ZKTC.
cargo install --git https://github.com/kkinos/zktc-c-com.git
Prepare zktc.c file. For example, prepare the following file.
sample.zktc.c
int main()
{
int x = 1;
int y = 2;
return x + y;
}
You can compile to a asm
file.
zktc-c-com sample.zktc.c -o sample.asm
See zktc-c-com -h
for other options.
make test
requirements