├── .gitattributes ├── .gitignore ├── Cargo.lock ├── Cargo.toml ├── README.md ├── audits └── citrea-audit-apr25(Final).pdf ├── boundless-client ├── Cargo.toml └── src │ └── main.rs ├── core ├── Cargo.toml └── src │ ├── final_circuit.rs │ ├── header_chain.rs │ ├── lib.rs │ ├── merkle_tree.rs │ ├── mmr_guest.rs │ ├── mmr_native.rs │ ├── spv.rs │ ├── transaction.rs │ ├── utils.rs │ └── zkvm.rs ├── data ├── headers │ ├── regtest-headers.bin │ ├── signet-headers.bin │ └── testnet4-headers.bin └── proofs │ ├── mainnet │ ├── mainnet_first_10.bin │ ├── mainnet_first_19.bin │ └── mainnet_first_9.bin │ ├── regtest │ ├── regtest_first_19.bin │ └── regtest_first_9.bin │ ├── signet │ ├── signet_first_19.bin │ └── signet_first_9.bin │ └── testnet4 │ ├── testnet4_first_19.bin │ └── testnet4_first_9.bin ├── elfs ├── mainnet-final-spv-guest.bin ├── mainnet-header-chain-guest.bin ├── regtest-final-spv-guest.bin ├── regtest-header-chain-guest.bin ├── signet-final-spv-guest.bin ├── signet-header-chain-guest.bin ├── testnet4-final-spv-guest.bin └── testnet4-header-chain-guest.bin ├── final-spv ├── Cargo.toml ├── build.rs ├── guest │ ├── Cargo.lock │ ├── Cargo.toml │ └── src │ │ ├── lib.rs │ │ └── main.rs └── src │ └── lib.rs ├── groth16_proof ├── circuits │ ├── blake3_common.circom │ ├── blake3_compression.circom │ ├── risc0.circom │ ├── stark_verify.circom │ └── verify_for_guest.circom ├── docker │ ├── ceremony.Dockerfile │ └── prover.Dockerfile └── scripts │ ├── prover.sh │ └── run_ceremony.sh ├── header-chain ├── Cargo.toml ├── build.rs ├── guest │ ├── Cargo.lock │ ├── Cargo.toml │ └── src │ │ ├── lib.rs │ │ └── main.rs └── src │ └── lib.rs └── host ├── Cargo.toml └── src ├── docker.rs └── main.rs /.gitattributes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chainwayxyz/risc0-to-bitvm2/HEAD/.gitattributes -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chainwayxyz/risc0-to-bitvm2/HEAD/.gitignore -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chainwayxyz/risc0-to-bitvm2/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chainwayxyz/risc0-to-bitvm2/HEAD/Cargo.toml -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chainwayxyz/risc0-to-bitvm2/HEAD/README.md -------------------------------------------------------------------------------- /audits/citrea-audit-apr25(Final).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chainwayxyz/risc0-to-bitvm2/HEAD/audits/citrea-audit-apr25(Final).pdf -------------------------------------------------------------------------------- /boundless-client/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chainwayxyz/risc0-to-bitvm2/HEAD/boundless-client/Cargo.toml -------------------------------------------------------------------------------- /boundless-client/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chainwayxyz/risc0-to-bitvm2/HEAD/boundless-client/src/main.rs -------------------------------------------------------------------------------- /core/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chainwayxyz/risc0-to-bitvm2/HEAD/core/Cargo.toml -------------------------------------------------------------------------------- /core/src/final_circuit.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chainwayxyz/risc0-to-bitvm2/HEAD/core/src/final_circuit.rs -------------------------------------------------------------------------------- /core/src/header_chain.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chainwayxyz/risc0-to-bitvm2/HEAD/core/src/header_chain.rs -------------------------------------------------------------------------------- /core/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chainwayxyz/risc0-to-bitvm2/HEAD/core/src/lib.rs -------------------------------------------------------------------------------- /core/src/merkle_tree.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chainwayxyz/risc0-to-bitvm2/HEAD/core/src/merkle_tree.rs -------------------------------------------------------------------------------- /core/src/mmr_guest.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chainwayxyz/risc0-to-bitvm2/HEAD/core/src/mmr_guest.rs -------------------------------------------------------------------------------- /core/src/mmr_native.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chainwayxyz/risc0-to-bitvm2/HEAD/core/src/mmr_native.rs -------------------------------------------------------------------------------- /core/src/spv.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chainwayxyz/risc0-to-bitvm2/HEAD/core/src/spv.rs -------------------------------------------------------------------------------- /core/src/transaction.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chainwayxyz/risc0-to-bitvm2/HEAD/core/src/transaction.rs -------------------------------------------------------------------------------- /core/src/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chainwayxyz/risc0-to-bitvm2/HEAD/core/src/utils.rs -------------------------------------------------------------------------------- /core/src/zkvm.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chainwayxyz/risc0-to-bitvm2/HEAD/core/src/zkvm.rs -------------------------------------------------------------------------------- /data/headers/regtest-headers.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chainwayxyz/risc0-to-bitvm2/HEAD/data/headers/regtest-headers.bin -------------------------------------------------------------------------------- /data/headers/signet-headers.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chainwayxyz/risc0-to-bitvm2/HEAD/data/headers/signet-headers.bin -------------------------------------------------------------------------------- /data/headers/testnet4-headers.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chainwayxyz/risc0-to-bitvm2/HEAD/data/headers/testnet4-headers.bin -------------------------------------------------------------------------------- /data/proofs/mainnet/mainnet_first_10.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chainwayxyz/risc0-to-bitvm2/HEAD/data/proofs/mainnet/mainnet_first_10.bin -------------------------------------------------------------------------------- /data/proofs/mainnet/mainnet_first_19.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chainwayxyz/risc0-to-bitvm2/HEAD/data/proofs/mainnet/mainnet_first_19.bin -------------------------------------------------------------------------------- /data/proofs/mainnet/mainnet_first_9.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chainwayxyz/risc0-to-bitvm2/HEAD/data/proofs/mainnet/mainnet_first_9.bin -------------------------------------------------------------------------------- /data/proofs/regtest/regtest_first_19.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chainwayxyz/risc0-to-bitvm2/HEAD/data/proofs/regtest/regtest_first_19.bin -------------------------------------------------------------------------------- /data/proofs/regtest/regtest_first_9.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chainwayxyz/risc0-to-bitvm2/HEAD/data/proofs/regtest/regtest_first_9.bin -------------------------------------------------------------------------------- /data/proofs/signet/signet_first_19.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chainwayxyz/risc0-to-bitvm2/HEAD/data/proofs/signet/signet_first_19.bin -------------------------------------------------------------------------------- /data/proofs/signet/signet_first_9.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chainwayxyz/risc0-to-bitvm2/HEAD/data/proofs/signet/signet_first_9.bin -------------------------------------------------------------------------------- /data/proofs/testnet4/testnet4_first_19.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chainwayxyz/risc0-to-bitvm2/HEAD/data/proofs/testnet4/testnet4_first_19.bin -------------------------------------------------------------------------------- /data/proofs/testnet4/testnet4_first_9.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chainwayxyz/risc0-to-bitvm2/HEAD/data/proofs/testnet4/testnet4_first_9.bin -------------------------------------------------------------------------------- /elfs/mainnet-final-spv-guest.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chainwayxyz/risc0-to-bitvm2/HEAD/elfs/mainnet-final-spv-guest.bin -------------------------------------------------------------------------------- /elfs/mainnet-header-chain-guest.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chainwayxyz/risc0-to-bitvm2/HEAD/elfs/mainnet-header-chain-guest.bin -------------------------------------------------------------------------------- /elfs/regtest-final-spv-guest.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chainwayxyz/risc0-to-bitvm2/HEAD/elfs/regtest-final-spv-guest.bin -------------------------------------------------------------------------------- /elfs/regtest-header-chain-guest.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chainwayxyz/risc0-to-bitvm2/HEAD/elfs/regtest-header-chain-guest.bin -------------------------------------------------------------------------------- /elfs/signet-final-spv-guest.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chainwayxyz/risc0-to-bitvm2/HEAD/elfs/signet-final-spv-guest.bin -------------------------------------------------------------------------------- /elfs/signet-header-chain-guest.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chainwayxyz/risc0-to-bitvm2/HEAD/elfs/signet-header-chain-guest.bin -------------------------------------------------------------------------------- /elfs/testnet4-final-spv-guest.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chainwayxyz/risc0-to-bitvm2/HEAD/elfs/testnet4-final-spv-guest.bin -------------------------------------------------------------------------------- /elfs/testnet4-header-chain-guest.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chainwayxyz/risc0-to-bitvm2/HEAD/elfs/testnet4-header-chain-guest.bin -------------------------------------------------------------------------------- /final-spv/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chainwayxyz/risc0-to-bitvm2/HEAD/final-spv/Cargo.toml -------------------------------------------------------------------------------- /final-spv/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chainwayxyz/risc0-to-bitvm2/HEAD/final-spv/build.rs -------------------------------------------------------------------------------- /final-spv/guest/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chainwayxyz/risc0-to-bitvm2/HEAD/final-spv/guest/Cargo.lock -------------------------------------------------------------------------------- /final-spv/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chainwayxyz/risc0-to-bitvm2/HEAD/final-spv/guest/Cargo.toml -------------------------------------------------------------------------------- /final-spv/guest/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chainwayxyz/risc0-to-bitvm2/HEAD/final-spv/guest/src/lib.rs -------------------------------------------------------------------------------- /final-spv/guest/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chainwayxyz/risc0-to-bitvm2/HEAD/final-spv/guest/src/main.rs -------------------------------------------------------------------------------- /final-spv/src/lib.rs: -------------------------------------------------------------------------------- 1 | include!(concat!(env!("OUT_DIR"), "/methods.rs")); 2 | -------------------------------------------------------------------------------- /groth16_proof/circuits/blake3_common.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chainwayxyz/risc0-to-bitvm2/HEAD/groth16_proof/circuits/blake3_common.circom -------------------------------------------------------------------------------- /groth16_proof/circuits/blake3_compression.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chainwayxyz/risc0-to-bitvm2/HEAD/groth16_proof/circuits/blake3_compression.circom -------------------------------------------------------------------------------- /groth16_proof/circuits/risc0.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chainwayxyz/risc0-to-bitvm2/HEAD/groth16_proof/circuits/risc0.circom -------------------------------------------------------------------------------- /groth16_proof/circuits/stark_verify.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chainwayxyz/risc0-to-bitvm2/HEAD/groth16_proof/circuits/stark_verify.circom -------------------------------------------------------------------------------- /groth16_proof/circuits/verify_for_guest.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chainwayxyz/risc0-to-bitvm2/HEAD/groth16_proof/circuits/verify_for_guest.circom -------------------------------------------------------------------------------- /groth16_proof/docker/ceremony.Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chainwayxyz/risc0-to-bitvm2/HEAD/groth16_proof/docker/ceremony.Dockerfile -------------------------------------------------------------------------------- /groth16_proof/docker/prover.Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chainwayxyz/risc0-to-bitvm2/HEAD/groth16_proof/docker/prover.Dockerfile -------------------------------------------------------------------------------- /groth16_proof/scripts/prover.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chainwayxyz/risc0-to-bitvm2/HEAD/groth16_proof/scripts/prover.sh -------------------------------------------------------------------------------- /groth16_proof/scripts/run_ceremony.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chainwayxyz/risc0-to-bitvm2/HEAD/groth16_proof/scripts/run_ceremony.sh -------------------------------------------------------------------------------- /header-chain/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chainwayxyz/risc0-to-bitvm2/HEAD/header-chain/Cargo.toml -------------------------------------------------------------------------------- /header-chain/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chainwayxyz/risc0-to-bitvm2/HEAD/header-chain/build.rs -------------------------------------------------------------------------------- /header-chain/guest/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chainwayxyz/risc0-to-bitvm2/HEAD/header-chain/guest/Cargo.lock -------------------------------------------------------------------------------- /header-chain/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chainwayxyz/risc0-to-bitvm2/HEAD/header-chain/guest/Cargo.toml -------------------------------------------------------------------------------- /header-chain/guest/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chainwayxyz/risc0-to-bitvm2/HEAD/header-chain/guest/src/lib.rs -------------------------------------------------------------------------------- /header-chain/guest/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chainwayxyz/risc0-to-bitvm2/HEAD/header-chain/guest/src/main.rs -------------------------------------------------------------------------------- /header-chain/src/lib.rs: -------------------------------------------------------------------------------- 1 | include!(concat!(env!("OUT_DIR"), "/methods.rs")); 2 | -------------------------------------------------------------------------------- /host/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chainwayxyz/risc0-to-bitvm2/HEAD/host/Cargo.toml -------------------------------------------------------------------------------- /host/src/docker.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chainwayxyz/risc0-to-bitvm2/HEAD/host/src/docker.rs -------------------------------------------------------------------------------- /host/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/chainwayxyz/risc0-to-bitvm2/HEAD/host/src/main.rs --------------------------------------------------------------------------------