├── .github └── workflows │ └── pr.yml ├── .gitignore ├── Cargo.lock ├── Cargo.toml ├── LICENSE-MIT ├── README.md ├── example ├── program │ ├── Cargo.toml │ └── src │ │ └── lib.rs ├── script │ ├── .gitignore │ ├── Cargo.toml │ ├── build.rs │ └── src │ │ └── main.rs └── sp1-program │ ├── Cargo.toml │ ├── elf │ └── riscv32im-succinct-zkvm-elf │ └── src │ └── main.rs ├── proofs └── fibonacci_proof.bin └── verifier ├── .gitignore ├── Cargo.toml ├── src ├── lib.rs ├── test.rs └── utils.rs └── vk ├── v2.0.0 └── groth16_vk.bin ├── v3.0.0 └── groth16_vk.bin ├── v3.0.0rc4 └── groth16_vk.bin ├── v4.0.0-rc.3 └── groth16_vk.bin └── v5.0.0 └── groth16_vk.bin /.github/workflows/pr.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-solana/HEAD/.github/workflows/pr.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-solana/HEAD/.gitignore -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-solana/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-solana/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE-MIT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-solana/HEAD/LICENSE-MIT -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-solana/HEAD/README.md -------------------------------------------------------------------------------- /example/program/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-solana/HEAD/example/program/Cargo.toml -------------------------------------------------------------------------------- /example/program/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-solana/HEAD/example/program/src/lib.rs -------------------------------------------------------------------------------- /example/script/.gitignore: -------------------------------------------------------------------------------- 1 | target -------------------------------------------------------------------------------- /example/script/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-solana/HEAD/example/script/Cargo.toml -------------------------------------------------------------------------------- /example/script/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-solana/HEAD/example/script/build.rs -------------------------------------------------------------------------------- /example/script/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-solana/HEAD/example/script/src/main.rs -------------------------------------------------------------------------------- /example/sp1-program/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-solana/HEAD/example/sp1-program/Cargo.toml -------------------------------------------------------------------------------- /example/sp1-program/elf/riscv32im-succinct-zkvm-elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-solana/HEAD/example/sp1-program/elf/riscv32im-succinct-zkvm-elf -------------------------------------------------------------------------------- /example/sp1-program/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-solana/HEAD/example/sp1-program/src/main.rs -------------------------------------------------------------------------------- /proofs/fibonacci_proof.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-solana/HEAD/proofs/fibonacci_proof.bin -------------------------------------------------------------------------------- /verifier/.gitignore: -------------------------------------------------------------------------------- 1 | /target 2 | -------------------------------------------------------------------------------- /verifier/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-solana/HEAD/verifier/Cargo.toml -------------------------------------------------------------------------------- /verifier/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-solana/HEAD/verifier/src/lib.rs -------------------------------------------------------------------------------- /verifier/src/test.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-solana/HEAD/verifier/src/test.rs -------------------------------------------------------------------------------- /verifier/src/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-solana/HEAD/verifier/src/utils.rs -------------------------------------------------------------------------------- /verifier/vk/v2.0.0/groth16_vk.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-solana/HEAD/verifier/vk/v2.0.0/groth16_vk.bin -------------------------------------------------------------------------------- /verifier/vk/v3.0.0/groth16_vk.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-solana/HEAD/verifier/vk/v3.0.0/groth16_vk.bin -------------------------------------------------------------------------------- /verifier/vk/v3.0.0rc4/groth16_vk.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-solana/HEAD/verifier/vk/v3.0.0rc4/groth16_vk.bin -------------------------------------------------------------------------------- /verifier/vk/v4.0.0-rc.3/groth16_vk.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-solana/HEAD/verifier/vk/v4.0.0-rc.3/groth16_vk.bin -------------------------------------------------------------------------------- /verifier/vk/v5.0.0/groth16_vk.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-solana/HEAD/verifier/vk/v5.0.0/groth16_vk.bin --------------------------------------------------------------------------------