ziskvm

ZisK is an open-source zero-knowledge proof toolkit that features a zkVM, which can verify the execution of programs written in advanced languages such as Rust.