zk-languages
zk-languages copied to clipboard
Introduction to various ZK languages
Having a table with all the languages and some properties for them in the README would be useful. Example properties: * DSL or eDSL (+ host language) * Private computation...
Examples uses [0.18.0](https://github.com/microbecode/zk-languages/blob/master/noir/contract/contracts/Nargo.toml#L4) Latest Noir release at [0.33.0](https://noir-lang.org/docs/) at the time of writing.
Hi! I've participated in building Triton VM which is a ZK-STARK VM using only post-quantum security and guaranteeing up to 160 bits security. We've written most of our code directly...