├── .clang-format ├── .editorconfig ├── .github ├── actions │ ├── rustup │ │ └── action.yml │ └── sccache │ │ └── action.yml ├── dependabot.yml └── workflows │ ├── bench_pr.yml │ ├── bench_pr_comment.yml │ ├── bench_trends.yml │ ├── main.yml │ └── nightly.yml ├── .gitignore ├── .tool-versions ├── .vscode ├── extensions.json ├── ltex.dictionary.en-US.txt ├── ltex.hiddenFalsePositives.en-US.txt └── settings.json ├── Cargo.toml ├── LICENSE ├── README.md ├── license-check.py ├── risc0 ├── build_kernel │ ├── Cargo.toml │ ├── kernels │ │ ├── cuda │ │ │ ├── fp.h │ │ │ └── fp4.h │ │ └── metal │ │ │ ├── fp.h │ │ │ └── fp4.h │ └── src │ │ └── lib.rs ├── cargo-risczero │ ├── Cargo.toml │ ├── README.md │ └── src │ │ ├── bin │ │ └── main.rs │ │ ├── commands │ │ └── new.rs │ │ └── lib.rs ├── core │ ├── Cargo.toml │ └── src │ │ ├── field │ │ ├── baby_bear.rs │ │ ├── goldilocks.rs │ │ └── mod.rs │ │ └── lib.rs ├── r0vm │ ├── Cargo.toml │ └── src │ │ └── bin │ │ └── r0vm.rs ├── sys │ ├── Cargo.toml │ ├── build.rs │ ├── kernels │ │ └── zkp │ │ │ ├── cuda │ │ │ ├── all.cu │ │ │ ├── eltwise.cu │ │ │ ├── fri.cu │ │ │ ├── mix.cu │ │ │ ├── ntt.cu │ │ │ ├── poseidon.cu │ │ │ ├── sha.cu │ │ │ ├── sha256.h │ │ │ └── zk.cu │ │ │ └── metal │ │ │ ├── eltwise.metal │ │ │ ├── fri.metal │ │ │ ├── mix.metal │ │ │ ├── ntt.metal │ │ │ ├── poseidon.metal │ │ │ ├── sha.metal │ │ │ ├── sha256.h │ │ │ └── zk.metal │ └── src │ │ └── lib.rs └── zkvm │ ├── Cargo.toml │ ├── README.md │ ├── build.rs │ ├── examples │ ├── fib.rs │ └── loop.rs │ ├── platform │ ├── Cargo.toml │ ├── README.md │ └── src │ │ ├── lib.rs │ │ ├── memory.rs │ │ └── syscall.rs │ └── src │ ├── binfmt │ ├── elf.rs │ ├── image.rs │ └── mod.rs │ ├── exec │ ├── env.rs │ ├── io.rs │ ├── mod.rs │ ├── monitor.rs │ ├── profile.proto │ └── profiler.rs │ ├── guest │ ├── alloc.rs │ ├── env.rs │ ├── memcpy.s │ ├── memset.s │ ├── mod.rs │ └── sha.rs │ ├── lib.rs │ ├── opcode.rs │ ├── serde │ ├── deserializer.rs │ ├── err.rs │ ├── mod.rs │ └── serializer.rs │ ├── session.rs │ └── testdata │ └── riscv-tests.tgz ├── rust-toolchain.toml └── rustfmt.toml /.clang-format: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/.clang-format -------------------------------------------------------------------------------- /.editorconfig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/.editorconfig -------------------------------------------------------------------------------- /.github/actions/rustup/action.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/.github/actions/rustup/action.yml -------------------------------------------------------------------------------- /.github/actions/sccache/action.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/.github/actions/sccache/action.yml -------------------------------------------------------------------------------- /.github/dependabot.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/.github/dependabot.yml -------------------------------------------------------------------------------- /.github/workflows/bench_pr.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/.github/workflows/bench_pr.yml -------------------------------------------------------------------------------- /.github/workflows/bench_pr_comment.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/.github/workflows/bench_pr_comment.yml -------------------------------------------------------------------------------- /.github/workflows/bench_trends.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/.github/workflows/bench_trends.yml -------------------------------------------------------------------------------- /.github/workflows/main.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/.github/workflows/main.yml -------------------------------------------------------------------------------- /.github/workflows/nightly.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/.github/workflows/nightly.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/.gitignore -------------------------------------------------------------------------------- /.tool-versions: -------------------------------------------------------------------------------- 1 | nodejs lts 2 | -------------------------------------------------------------------------------- /.vscode/extensions.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/.vscode/extensions.json -------------------------------------------------------------------------------- /.vscode/ltex.dictionary.en-US.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/.vscode/ltex.dictionary.en-US.txt -------------------------------------------------------------------------------- /.vscode/ltex.hiddenFalsePositives.en-US.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/.vscode/ltex.hiddenFalsePositives.en-US.txt -------------------------------------------------------------------------------- /.vscode/settings.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/.vscode/settings.json -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/README.md -------------------------------------------------------------------------------- /license-check.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/license-check.py -------------------------------------------------------------------------------- /risc0/build_kernel/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/build_kernel/Cargo.toml -------------------------------------------------------------------------------- /risc0/build_kernel/kernels/cuda/fp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/build_kernel/kernels/cuda/fp.h -------------------------------------------------------------------------------- /risc0/build_kernel/kernels/cuda/fp4.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/build_kernel/kernels/cuda/fp4.h -------------------------------------------------------------------------------- /risc0/build_kernel/kernels/metal/fp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/build_kernel/kernels/metal/fp.h -------------------------------------------------------------------------------- /risc0/build_kernel/kernels/metal/fp4.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/build_kernel/kernels/metal/fp4.h -------------------------------------------------------------------------------- /risc0/build_kernel/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/build_kernel/src/lib.rs -------------------------------------------------------------------------------- /risc0/cargo-risczero/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/cargo-risczero/Cargo.toml -------------------------------------------------------------------------------- /risc0/cargo-risczero/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/cargo-risczero/README.md -------------------------------------------------------------------------------- /risc0/cargo-risczero/src/bin/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/cargo-risczero/src/bin/main.rs -------------------------------------------------------------------------------- /risc0/cargo-risczero/src/commands/new.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/cargo-risczero/src/commands/new.rs -------------------------------------------------------------------------------- /risc0/cargo-risczero/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/cargo-risczero/src/lib.rs -------------------------------------------------------------------------------- /risc0/core/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/core/Cargo.toml -------------------------------------------------------------------------------- /risc0/core/src/field/baby_bear.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/core/src/field/baby_bear.rs -------------------------------------------------------------------------------- /risc0/core/src/field/goldilocks.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/core/src/field/goldilocks.rs -------------------------------------------------------------------------------- /risc0/core/src/field/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/core/src/field/mod.rs -------------------------------------------------------------------------------- /risc0/core/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/core/src/lib.rs -------------------------------------------------------------------------------- /risc0/r0vm/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/r0vm/Cargo.toml -------------------------------------------------------------------------------- /risc0/r0vm/src/bin/r0vm.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/r0vm/src/bin/r0vm.rs -------------------------------------------------------------------------------- /risc0/sys/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/sys/Cargo.toml -------------------------------------------------------------------------------- /risc0/sys/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/sys/build.rs -------------------------------------------------------------------------------- /risc0/sys/kernels/zkp/cuda/all.cu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/sys/kernels/zkp/cuda/all.cu -------------------------------------------------------------------------------- /risc0/sys/kernels/zkp/cuda/eltwise.cu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/sys/kernels/zkp/cuda/eltwise.cu -------------------------------------------------------------------------------- /risc0/sys/kernels/zkp/cuda/fri.cu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/sys/kernels/zkp/cuda/fri.cu -------------------------------------------------------------------------------- /risc0/sys/kernels/zkp/cuda/mix.cu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/sys/kernels/zkp/cuda/mix.cu -------------------------------------------------------------------------------- /risc0/sys/kernels/zkp/cuda/ntt.cu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/sys/kernels/zkp/cuda/ntt.cu -------------------------------------------------------------------------------- /risc0/sys/kernels/zkp/cuda/poseidon.cu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/sys/kernels/zkp/cuda/poseidon.cu -------------------------------------------------------------------------------- /risc0/sys/kernels/zkp/cuda/sha.cu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/sys/kernels/zkp/cuda/sha.cu -------------------------------------------------------------------------------- /risc0/sys/kernels/zkp/cuda/sha256.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/sys/kernels/zkp/cuda/sha256.h -------------------------------------------------------------------------------- /risc0/sys/kernels/zkp/cuda/zk.cu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/sys/kernels/zkp/cuda/zk.cu -------------------------------------------------------------------------------- /risc0/sys/kernels/zkp/metal/eltwise.metal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/sys/kernels/zkp/metal/eltwise.metal -------------------------------------------------------------------------------- /risc0/sys/kernels/zkp/metal/fri.metal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/sys/kernels/zkp/metal/fri.metal -------------------------------------------------------------------------------- /risc0/sys/kernels/zkp/metal/mix.metal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/sys/kernels/zkp/metal/mix.metal -------------------------------------------------------------------------------- /risc0/sys/kernels/zkp/metal/ntt.metal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/sys/kernels/zkp/metal/ntt.metal -------------------------------------------------------------------------------- /risc0/sys/kernels/zkp/metal/poseidon.metal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/sys/kernels/zkp/metal/poseidon.metal -------------------------------------------------------------------------------- /risc0/sys/kernels/zkp/metal/sha.metal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/sys/kernels/zkp/metal/sha.metal -------------------------------------------------------------------------------- /risc0/sys/kernels/zkp/metal/sha256.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/sys/kernels/zkp/metal/sha256.h -------------------------------------------------------------------------------- /risc0/sys/kernels/zkp/metal/zk.metal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/sys/kernels/zkp/metal/zk.metal -------------------------------------------------------------------------------- /risc0/sys/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/sys/src/lib.rs -------------------------------------------------------------------------------- /risc0/zkvm/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/zkvm/Cargo.toml -------------------------------------------------------------------------------- /risc0/zkvm/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/zkvm/README.md -------------------------------------------------------------------------------- /risc0/zkvm/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/zkvm/build.rs -------------------------------------------------------------------------------- /risc0/zkvm/examples/fib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/zkvm/examples/fib.rs -------------------------------------------------------------------------------- /risc0/zkvm/examples/loop.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/zkvm/examples/loop.rs -------------------------------------------------------------------------------- /risc0/zkvm/platform/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/zkvm/platform/Cargo.toml -------------------------------------------------------------------------------- /risc0/zkvm/platform/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/zkvm/platform/README.md -------------------------------------------------------------------------------- /risc0/zkvm/platform/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/zkvm/platform/src/lib.rs -------------------------------------------------------------------------------- /risc0/zkvm/platform/src/memory.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/zkvm/platform/src/memory.rs -------------------------------------------------------------------------------- /risc0/zkvm/platform/src/syscall.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/zkvm/platform/src/syscall.rs -------------------------------------------------------------------------------- /risc0/zkvm/src/binfmt/elf.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/zkvm/src/binfmt/elf.rs -------------------------------------------------------------------------------- /risc0/zkvm/src/binfmt/image.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/zkvm/src/binfmt/image.rs -------------------------------------------------------------------------------- /risc0/zkvm/src/binfmt/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/zkvm/src/binfmt/mod.rs -------------------------------------------------------------------------------- /risc0/zkvm/src/exec/env.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/zkvm/src/exec/env.rs -------------------------------------------------------------------------------- /risc0/zkvm/src/exec/io.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/zkvm/src/exec/io.rs -------------------------------------------------------------------------------- /risc0/zkvm/src/exec/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/zkvm/src/exec/mod.rs -------------------------------------------------------------------------------- /risc0/zkvm/src/exec/monitor.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/zkvm/src/exec/monitor.rs -------------------------------------------------------------------------------- /risc0/zkvm/src/exec/profile.proto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/zkvm/src/exec/profile.proto -------------------------------------------------------------------------------- /risc0/zkvm/src/exec/profiler.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/zkvm/src/exec/profiler.rs -------------------------------------------------------------------------------- /risc0/zkvm/src/guest/alloc.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/zkvm/src/guest/alloc.rs -------------------------------------------------------------------------------- /risc0/zkvm/src/guest/env.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/zkvm/src/guest/env.rs -------------------------------------------------------------------------------- /risc0/zkvm/src/guest/memcpy.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/zkvm/src/guest/memcpy.s -------------------------------------------------------------------------------- /risc0/zkvm/src/guest/memset.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/zkvm/src/guest/memset.s -------------------------------------------------------------------------------- /risc0/zkvm/src/guest/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/zkvm/src/guest/mod.rs -------------------------------------------------------------------------------- /risc0/zkvm/src/guest/sha.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/zkvm/src/guest/sha.rs -------------------------------------------------------------------------------- /risc0/zkvm/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/zkvm/src/lib.rs -------------------------------------------------------------------------------- /risc0/zkvm/src/opcode.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/zkvm/src/opcode.rs -------------------------------------------------------------------------------- /risc0/zkvm/src/serde/deserializer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/zkvm/src/serde/deserializer.rs -------------------------------------------------------------------------------- /risc0/zkvm/src/serde/err.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/zkvm/src/serde/err.rs -------------------------------------------------------------------------------- /risc0/zkvm/src/serde/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/zkvm/src/serde/mod.rs -------------------------------------------------------------------------------- /risc0/zkvm/src/serde/serializer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/zkvm/src/serde/serializer.rs -------------------------------------------------------------------------------- /risc0/zkvm/src/session.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/zkvm/src/session.rs -------------------------------------------------------------------------------- /risc0/zkvm/src/testdata/riscv-tests.tgz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/risc0/zkvm/src/testdata/riscv-tests.tgz -------------------------------------------------------------------------------- /rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/rust-toolchain.toml -------------------------------------------------------------------------------- /rustfmt.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hero78119/risc0-nova/HEAD/rustfmt.toml --------------------------------------------------------------------------------