├── .github └── workflows │ └── ci.yml ├── .gitignore ├── .vscode └── settings.json ├── Elf.lean ├── Elf ├── Header.lean ├── Main.lean ├── Program.lean ├── Section.lean └── Types.lean ├── LICENSE ├── R0sy.lean ├── R0sy ├── ByteDeserial.lean ├── Data │ ├── Bits.lean │ └── Hex.lean ├── Hash.lean ├── Hash │ └── Sha2.lean ├── Lean │ ├── ByteArray.lean │ ├── Nat.lean │ ├── Subarray.lean │ ├── UInt32.lean │ └── UInt64.lean └── Serial.lean ├── README.md ├── RiscV.lean ├── RiscV ├── Config.lean ├── Elf.lean ├── ISA.lean ├── Instr │ ├── ISA.lean │ ├── RV32I.lean │ ├── RV32M.lean │ └── Types.lean ├── Mach │ ├── Exception.lean │ ├── Int.lean │ ├── Mem.lean │ ├── Reg.lean │ └── XlenInt.lean └── Monad.lean ├── Soundness ├── Fri.lean ├── Merkle.lean └── ProofSystem.lean ├── Zkvm.lean ├── Zkvm ├── Algebra │ ├── BabyBear.lean │ ├── Classes.lean │ └── Ntt.lean ├── ArithVM │ ├── AST.lean │ ├── Circuit.lean │ └── Taps.lean ├── Constants.lean ├── MainEmu.lean ├── MainVerify.lean ├── MethodId.lean ├── Platform │ ├── Elf.lean │ └── Mem.lean ├── Seal │ ├── CheckCommitments.lean │ ├── Fri.lean │ ├── Header.lean │ └── TraceCommitments.lean ├── Verify.lean └── Verify │ ├── Error.lean │ ├── Merkle.lean │ └── ReadIop.lean ├── lake-manifest.json ├── lakefile.lean ├── lean-toolchain └── rust ├── .gitignore ├── Cargo.lock ├── Cargo.toml ├── README.md ├── circuit ├── Cargo.toml └── src │ ├── disk.rs │ └── main.rs ├── hello_world ├── Cargo.toml ├── guard │ ├── Cargo.toml │ ├── build.rs │ ├── guest │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ └── src │ │ │ └── bin │ │ │ └── hello_world.rs │ └── src │ │ └── lib.rs └── src │ ├── disk.rs │ ├── lean.rs │ └── main.rs ├── hw ├── Cargo.toml ├── guard │ ├── Cargo.toml │ ├── build.rs │ ├── guest │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ └── src │ │ │ └── bin │ │ │ └── hw.rs │ └── src │ │ └── lib.rs └── src │ ├── disk.rs │ ├── lean.rs │ └── main.rs ├── output ├── hello_world.bin ├── hello_world.id ├── hello_world.journal ├── hello_world.seal ├── hw.bin ├── hw.id ├── hw.journal ├── hw.seal └── riscv.circuit ├── rust-toolchain.toml └── rustfmt.toml /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | /build 2 | /lake-packages 3 | -------------------------------------------------------------------------------- /.vscode/settings.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/.vscode/settings.json -------------------------------------------------------------------------------- /Elf.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/Elf.lean -------------------------------------------------------------------------------- /Elf/Header.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/Elf/Header.lean -------------------------------------------------------------------------------- /Elf/Main.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/Elf/Main.lean -------------------------------------------------------------------------------- /Elf/Program.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/Elf/Program.lean -------------------------------------------------------------------------------- /Elf/Section.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/Elf/Section.lean -------------------------------------------------------------------------------- /Elf/Types.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/Elf/Types.lean -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/LICENSE -------------------------------------------------------------------------------- /R0sy.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/R0sy.lean -------------------------------------------------------------------------------- /R0sy/ByteDeserial.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/R0sy/ByteDeserial.lean -------------------------------------------------------------------------------- /R0sy/Data/Bits.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/R0sy/Data/Bits.lean -------------------------------------------------------------------------------- /R0sy/Data/Hex.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/R0sy/Data/Hex.lean -------------------------------------------------------------------------------- /R0sy/Hash.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/R0sy/Hash.lean -------------------------------------------------------------------------------- /R0sy/Hash/Sha2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/R0sy/Hash/Sha2.lean -------------------------------------------------------------------------------- /R0sy/Lean/ByteArray.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/R0sy/Lean/ByteArray.lean -------------------------------------------------------------------------------- /R0sy/Lean/Nat.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/R0sy/Lean/Nat.lean -------------------------------------------------------------------------------- /R0sy/Lean/Subarray.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/R0sy/Lean/Subarray.lean -------------------------------------------------------------------------------- /R0sy/Lean/UInt32.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/R0sy/Lean/UInt32.lean -------------------------------------------------------------------------------- /R0sy/Lean/UInt64.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/R0sy/Lean/UInt64.lean -------------------------------------------------------------------------------- /R0sy/Serial.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/R0sy/Serial.lean -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/README.md -------------------------------------------------------------------------------- /RiscV.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/RiscV.lean -------------------------------------------------------------------------------- /RiscV/Config.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/RiscV/Config.lean -------------------------------------------------------------------------------- /RiscV/Elf.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/RiscV/Elf.lean -------------------------------------------------------------------------------- /RiscV/ISA.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/RiscV/ISA.lean -------------------------------------------------------------------------------- /RiscV/Instr/ISA.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/RiscV/Instr/ISA.lean -------------------------------------------------------------------------------- /RiscV/Instr/RV32I.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/RiscV/Instr/RV32I.lean -------------------------------------------------------------------------------- /RiscV/Instr/RV32M.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/RiscV/Instr/RV32M.lean -------------------------------------------------------------------------------- /RiscV/Instr/Types.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/RiscV/Instr/Types.lean -------------------------------------------------------------------------------- /RiscV/Mach/Exception.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/RiscV/Mach/Exception.lean -------------------------------------------------------------------------------- /RiscV/Mach/Int.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/RiscV/Mach/Int.lean -------------------------------------------------------------------------------- /RiscV/Mach/Mem.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/RiscV/Mach/Mem.lean -------------------------------------------------------------------------------- /RiscV/Mach/Reg.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/RiscV/Mach/Reg.lean -------------------------------------------------------------------------------- /RiscV/Mach/XlenInt.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/RiscV/Mach/XlenInt.lean -------------------------------------------------------------------------------- /RiscV/Monad.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/RiscV/Monad.lean -------------------------------------------------------------------------------- /Soundness/Fri.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/Soundness/Fri.lean -------------------------------------------------------------------------------- /Soundness/Merkle.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/Soundness/Merkle.lean -------------------------------------------------------------------------------- /Soundness/ProofSystem.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/Soundness/ProofSystem.lean -------------------------------------------------------------------------------- /Zkvm.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/Zkvm.lean -------------------------------------------------------------------------------- /Zkvm/Algebra/BabyBear.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/Zkvm/Algebra/BabyBear.lean -------------------------------------------------------------------------------- /Zkvm/Algebra/Classes.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/Zkvm/Algebra/Classes.lean -------------------------------------------------------------------------------- /Zkvm/Algebra/Ntt.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/Zkvm/Algebra/Ntt.lean -------------------------------------------------------------------------------- /Zkvm/ArithVM/AST.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/Zkvm/ArithVM/AST.lean -------------------------------------------------------------------------------- /Zkvm/ArithVM/Circuit.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/Zkvm/ArithVM/Circuit.lean -------------------------------------------------------------------------------- /Zkvm/ArithVM/Taps.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/Zkvm/ArithVM/Taps.lean -------------------------------------------------------------------------------- /Zkvm/Constants.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/Zkvm/Constants.lean -------------------------------------------------------------------------------- /Zkvm/MainEmu.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/Zkvm/MainEmu.lean -------------------------------------------------------------------------------- /Zkvm/MainVerify.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/Zkvm/MainVerify.lean -------------------------------------------------------------------------------- /Zkvm/MethodId.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/Zkvm/MethodId.lean -------------------------------------------------------------------------------- /Zkvm/Platform/Elf.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/Zkvm/Platform/Elf.lean -------------------------------------------------------------------------------- /Zkvm/Platform/Mem.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/Zkvm/Platform/Mem.lean -------------------------------------------------------------------------------- /Zkvm/Seal/CheckCommitments.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/Zkvm/Seal/CheckCommitments.lean -------------------------------------------------------------------------------- /Zkvm/Seal/Fri.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/Zkvm/Seal/Fri.lean -------------------------------------------------------------------------------- /Zkvm/Seal/Header.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/Zkvm/Seal/Header.lean -------------------------------------------------------------------------------- /Zkvm/Seal/TraceCommitments.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/Zkvm/Seal/TraceCommitments.lean -------------------------------------------------------------------------------- /Zkvm/Verify.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/Zkvm/Verify.lean -------------------------------------------------------------------------------- /Zkvm/Verify/Error.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/Zkvm/Verify/Error.lean -------------------------------------------------------------------------------- /Zkvm/Verify/Merkle.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/Zkvm/Verify/Merkle.lean -------------------------------------------------------------------------------- /Zkvm/Verify/ReadIop.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/Zkvm/Verify/ReadIop.lean -------------------------------------------------------------------------------- /lake-manifest.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/lake-manifest.json -------------------------------------------------------------------------------- /lakefile.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/lakefile.lean -------------------------------------------------------------------------------- /lean-toolchain: -------------------------------------------------------------------------------- 1 | leanprover/lean4:nightly-2022-12-23 -------------------------------------------------------------------------------- /rust/.gitignore: -------------------------------------------------------------------------------- 1 | target/ 2 | -------------------------------------------------------------------------------- /rust/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/rust/Cargo.lock -------------------------------------------------------------------------------- /rust/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/rust/Cargo.toml -------------------------------------------------------------------------------- /rust/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/rust/README.md -------------------------------------------------------------------------------- /rust/circuit/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/rust/circuit/Cargo.toml -------------------------------------------------------------------------------- /rust/circuit/src/disk.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/rust/circuit/src/disk.rs -------------------------------------------------------------------------------- /rust/circuit/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/rust/circuit/src/main.rs -------------------------------------------------------------------------------- /rust/hello_world/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/rust/hello_world/Cargo.toml -------------------------------------------------------------------------------- /rust/hello_world/guard/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/rust/hello_world/guard/Cargo.toml -------------------------------------------------------------------------------- /rust/hello_world/guard/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/rust/hello_world/guard/build.rs -------------------------------------------------------------------------------- /rust/hello_world/guard/guest/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/rust/hello_world/guard/guest/Cargo.lock -------------------------------------------------------------------------------- /rust/hello_world/guard/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/rust/hello_world/guard/guest/Cargo.toml -------------------------------------------------------------------------------- /rust/hello_world/guard/guest/src/bin/hello_world.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/rust/hello_world/guard/guest/src/bin/hello_world.rs -------------------------------------------------------------------------------- /rust/hello_world/guard/src/lib.rs: -------------------------------------------------------------------------------- 1 | include!(concat!(env!("OUT_DIR"), "/methods.rs")); 2 | -------------------------------------------------------------------------------- /rust/hello_world/src/disk.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/rust/hello_world/src/disk.rs -------------------------------------------------------------------------------- /rust/hello_world/src/lean.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/rust/hello_world/src/lean.rs -------------------------------------------------------------------------------- /rust/hello_world/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/rust/hello_world/src/main.rs -------------------------------------------------------------------------------- /rust/hw/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/rust/hw/Cargo.toml -------------------------------------------------------------------------------- /rust/hw/guard/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/rust/hw/guard/Cargo.toml -------------------------------------------------------------------------------- /rust/hw/guard/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/rust/hw/guard/build.rs -------------------------------------------------------------------------------- /rust/hw/guard/guest/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/rust/hw/guard/guest/Cargo.lock -------------------------------------------------------------------------------- /rust/hw/guard/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/rust/hw/guard/guest/Cargo.toml -------------------------------------------------------------------------------- /rust/hw/guard/guest/src/bin/hw.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/rust/hw/guard/guest/src/bin/hw.rs -------------------------------------------------------------------------------- /rust/hw/guard/src/lib.rs: -------------------------------------------------------------------------------- 1 | include!(concat!(env!("OUT_DIR"), "/methods.rs")); 2 | -------------------------------------------------------------------------------- /rust/hw/src/disk.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/rust/hw/src/disk.rs -------------------------------------------------------------------------------- /rust/hw/src/lean.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/rust/hw/src/lean.rs -------------------------------------------------------------------------------- /rust/hw/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/rust/hw/src/main.rs -------------------------------------------------------------------------------- /rust/output/hello_world.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/rust/output/hello_world.bin -------------------------------------------------------------------------------- /rust/output/hello_world.id: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/rust/output/hello_world.id -------------------------------------------------------------------------------- /rust/output/hello_world.journal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/rust/output/hello_world.journal -------------------------------------------------------------------------------- /rust/output/hello_world.seal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/rust/output/hello_world.seal -------------------------------------------------------------------------------- /rust/output/hw.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/rust/output/hw.bin -------------------------------------------------------------------------------- /rust/output/hw.id: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/rust/output/hw.id -------------------------------------------------------------------------------- /rust/output/hw.journal: -------------------------------------------------------------------------------- 1 | hw -------------------------------------------------------------------------------- /rust/output/hw.seal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/rust/output/hw.seal -------------------------------------------------------------------------------- /rust/output/riscv.circuit: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/rust/output/riscv.circuit -------------------------------------------------------------------------------- /rust/rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/rust/rust-toolchain.toml -------------------------------------------------------------------------------- /rust/rustfmt.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/risc0/risc0-lean4/HEAD/rust/rustfmt.toml --------------------------------------------------------------------------------