microbecode
Support for Triton VM?
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 in our assembler language but we also have a compiler from a subset of Rust. Would any of those two languages be a fit for this repo?
Links: https://github.com/TritonVM/tasm-lib https://github.com/TritonVM/tasm-lang https://triton-vm.org/
Interesting!
The Assembly version sounds like it might be a fit, but I failed to find instructions for it. I'd need a way to compile and run an assembly program from the command line. Are there such instructions? Something similar to, for example, this: https://github.com/microbecode/zk-languages/tree/master/powdr .
That actually reminds me of an important, missing piece from this repo's readme: it doesn't say what kind of languages are included. Will fix that.
The instruction set is specified here: https://triton-vm.org/spec/instructions.html
Triton VM does have a CLI tool for executing programs: https://github.com/TritonVM/triton-cli. The CLI tool can execute, prove, verify, and profile the prover.
There's also an interactive debugger: https://crates.io/crates/triton-tui
Ok that's exactly the kind of stuff I was looking for. I'll have a look at some point and hopefully get it added. Thanks!