Support for Triton VM?

[Sword-Smith]

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/

[microbecode]

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.

[Sword-Smith]

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

[microbecode]

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!