├── .gitignore ├── Makefile ├── README.md ├── algorithms ├── bls-agg │ ├── delphinus │ │ ├── .gitignore │ │ ├── Cargo.toml │ │ ├── Makefile │ │ ├── src │ │ │ └── lib.rs │ │ └── test.sh │ ├── native │ │ ├── .gitignore │ │ ├── Cargo.toml │ │ └── src │ │ │ └── main.rs │ ├── native_jolt │ │ ├── .gitignore │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ ├── guest │ │ │ ├── Cargo.toml │ │ │ └── src │ │ │ │ └── lib.rs │ │ ├── rust-toolchain.toml │ │ └── src │ │ │ └── main.rs │ ├── native_nexus │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ └── src │ │ │ ├── guest │ │ │ ├── .cargo │ │ │ │ └── config.toml │ │ │ ├── Cargo.toml │ │ │ ├── rust-toolchain.toml │ │ │ └── src │ │ │ │ └── main.rs │ │ │ └── main.rs │ ├── native_powdr │ │ ├── .gitignore │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ ├── README.md │ │ ├── guest │ │ │ ├── Cargo.lock │ │ │ ├── Cargo.toml │ │ │ └── src │ │ │ │ └── main.rs │ │ └── src │ │ │ └── main.rs │ ├── native_risc_zero │ │ ├── .gitignore │ │ ├── Cargo.toml │ │ ├── LICENSE │ │ ├── README.md │ │ ├── host │ │ │ ├── Cargo.toml │ │ │ └── src │ │ │ │ └── main.rs │ │ ├── methods │ │ │ ├── Cargo.toml │ │ │ ├── build.rs │ │ │ ├── guest │ │ │ │ ├── Cargo.toml │ │ │ │ └── src │ │ │ │ │ └── main.rs │ │ │ └── src │ │ │ │ └── lib.rs │ │ ├── prove.log │ │ └── rust-toolchain.toml │ ├── native_sp1 │ │ ├── .gitignore │ │ ├── program │ │ │ ├── Cargo.lock │ │ │ ├── Cargo.toml │ │ │ └── src │ │ │ │ └── main.rs │ │ └── script │ │ │ ├── Cargo.lock │ │ │ ├── Cargo.toml │ │ │ ├── build.rs │ │ │ ├── cycles_w_precompiles.txt │ │ │ ├── prove.log │ │ │ ├── prove_wo_precompile.log │ │ │ └── src │ │ │ └── main.rs │ ├── wasm │ │ ├── .gitignore │ │ ├── Cargo.toml │ │ └── src │ │ │ └── lib.rs │ ├── wasm_jolt │ │ ├── .gitignore │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ ├── guest │ │ │ ├── Cargo.toml │ │ │ └── src │ │ │ │ └── lib.rs │ │ ├── rust-toolchain.toml │ │ └── src │ │ │ └── main.rs │ ├── wasm_risc_zero │ │ ├── .gitignore │ │ ├── Cargo.toml │ │ ├── LICENSE │ │ ├── README.md │ │ ├── host │ │ │ ├── Cargo.toml │ │ │ └── src │ │ │ │ └── main.rs │ │ ├── methods │ │ │ ├── Cargo.toml │ │ │ ├── build.rs │ │ │ ├── guest │ │ │ │ ├── Cargo.toml │ │ │ │ └── src │ │ │ │ │ └── main.rs │ │ │ └── src │ │ │ │ └── lib.rs │ │ └── rust-toolchain.toml │ └── wasm_sp1 │ │ ├── program │ │ ├── .gitignore │ │ ├── Cargo.toml │ │ └── src │ │ │ └── main.rs │ │ └── script │ │ ├── .gitignore │ │ ├── Cargo.toml │ │ ├── build.rs │ │ └── src │ │ └── main.rs ├── bls-verify │ ├── delphinus │ │ ├── .gitignore │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ ├── Makefile │ │ ├── src │ │ │ └── lib.rs │ │ └── test.sh │ ├── native │ │ ├── .gitignore │ │ ├── Cargo.toml │ │ └── src │ │ │ └── main.rs │ ├── native_jolt │ │ ├── .gitignore │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ ├── guest │ │ │ ├── Cargo.toml │ │ │ └── src │ │ │ │ └── lib.rs │ │ ├── rust-toolchain.toml │ │ └── src │ │ │ └── main.rs │ ├── native_nexus │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ └── src │ │ │ ├── guest │ │ │ ├── .cargo │ │ │ │ └── config.toml │ │ │ ├── Cargo.toml │ │ │ ├── rust-toolchain.toml │ │ │ └── src │ │ │ │ └── main.rs │ │ │ └── main.rs │ ├── native_powdr │ │ ├── .gitignore │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ ├── README.md │ │ ├── guest │ │ │ ├── Cargo.lock │ │ │ ├── Cargo.toml │ │ │ └── src │ │ │ │ └── main.rs │ │ └── src │ │ │ └── main.rs │ ├── native_risc_zero │ │ ├── .gitignore │ │ ├── Cargo.toml │ │ ├── LICENSE │ │ ├── README.md │ │ ├── host │ │ │ ├── Cargo.toml │ │ │ └── src │ │ │ │ └── main.rs │ │ ├── methods │ │ │ ├── Cargo.toml │ │ │ ├── build.rs │ │ │ ├── guest │ │ │ │ ├── Cargo.toml │ │ │ │ └── src │ │ │ │ │ └── main.rs │ │ │ └── src │ │ │ │ └── lib.rs │ │ ├── proof.bin │ │ ├── prove.log │ │ └── rust-toolchain.toml │ ├── native_sp1 │ │ ├── .gitignore │ │ ├── program │ │ │ ├── Cargo.lock │ │ │ ├── Cargo.toml │ │ │ └── src │ │ │ │ └── main.rs │ │ └── script │ │ │ ├── Cargo.lock │ │ │ ├── Cargo.toml │ │ │ ├── build.rs │ │ │ ├── cycles_wo_precompiles.txt │ │ │ ├── prove.log │ │ │ ├── prove_wo_precompile.log │ │ │ ├── prove_wo_precompiles.log │ │ │ └── src │ │ │ └── main.rs │ ├── wasm │ │ ├── .gitignore │ │ ├── Cargo.toml │ │ └── src │ │ │ └── lib.rs │ ├── wasm_jolt │ │ ├── .gitignore │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ ├── guest │ │ │ ├── Cargo.toml │ │ │ └── src │ │ │ │ └── lib.rs │ │ ├── rust-toolchain.toml │ │ └── src │ │ │ └── main.rs │ ├── wasm_risc_zero │ │ ├── .gitignore │ │ ├── Cargo.toml │ │ ├── LICENSE │ │ ├── README.md │ │ ├── host │ │ │ ├── Cargo.toml │ │ │ └── src │ │ │ │ └── main.rs │ │ ├── methods │ │ │ ├── Cargo.toml │ │ │ ├── build.rs │ │ │ ├── guest │ │ │ │ ├── Cargo.toml │ │ │ │ └── src │ │ │ │ │ └── main.rs │ │ │ └── src │ │ │ │ └── lib.rs │ │ └── rust-toolchain.toml │ └── wasm_sp1 │ │ ├── program │ │ ├── .gitignore │ │ ├── Cargo.toml │ │ └── src │ │ │ └── main.rs │ │ └── script │ │ ├── .gitignore │ │ ├── Cargo.toml │ │ ├── build.rs │ │ └── src │ │ └── main.rs ├── ecdsa_verify │ ├── delphinus │ │ ├── .gitignore │ │ ├── Makefile │ │ ├── cargo.toml │ │ ├── src │ │ │ └── lib.rs │ │ └── test.sh │ ├── native │ │ ├── .gitignore │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ └── src │ │ │ └── main.rs │ ├── native_jolt │ │ ├── .gitignore │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ ├── guest │ │ │ ├── Cargo.toml │ │ │ └── src │ │ │ │ └── lib.rs │ │ ├── rust-toolchain.toml │ │ └── src │ │ │ └── main.rs │ ├── native_nexus │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ ├── README.md │ │ └── src │ │ │ ├── guest │ │ │ ├── .cargo │ │ │ │ └── config.toml │ │ │ ├── Cargo.toml │ │ │ ├── rust-toolchain.toml │ │ │ └── src │ │ │ │ └── main.rs │ │ │ └── main.rs │ ├── native_risc_zero │ │ ├── .gitignore │ │ ├── Cargo.toml │ │ ├── LICENSE │ │ ├── README.md │ │ ├── host │ │ │ ├── Cargo.toml │ │ │ └── src │ │ │ │ └── main.rs │ │ ├── methods │ │ │ ├── Cargo.toml │ │ │ ├── build.rs │ │ │ ├── guest │ │ │ │ ├── Cargo.toml │ │ │ │ └── src │ │ │ │ │ └── main.rs │ │ │ └── src │ │ │ │ └── lib.rs │ │ └── rust-toolchain.toml │ ├── native_sp1 │ │ ├── .gitignore │ │ ├── program │ │ │ ├── Cargo.lock │ │ │ ├── Cargo.toml │ │ │ └── src │ │ │ │ └── main.rs │ │ └── script │ │ │ ├── Cargo.lock │ │ │ ├── Cargo.toml │ │ │ ├── build.rs │ │ │ └── src │ │ │ └── main.rs │ ├── wasm │ │ ├── .gitignore │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ └── src │ │ │ └── lib.rs │ ├── wasm_jolt │ │ ├── .gitignore │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ ├── guest │ │ │ ├── Cargo.toml │ │ │ └── src │ │ │ │ └── lib.rs │ │ ├── rust-toolchain.toml │ │ └── src │ │ │ └── main.rs │ ├── wasm_risc_zero │ │ ├── .gitignore │ │ ├── Cargo.toml │ │ ├── LICENSE │ │ ├── README.md │ │ ├── host │ │ │ ├── Cargo.toml │ │ │ └── src │ │ │ │ └── main.rs │ │ ├── methods │ │ │ ├── Cargo.toml │ │ │ ├── build.rs │ │ │ ├── guest │ │ │ │ ├── Cargo.toml │ │ │ │ └── src │ │ │ │ │ └── main.rs │ │ │ └── src │ │ │ │ └── lib.rs │ │ ├── proof.bin │ │ └── rust-toolchain.toml │ └── wasm_sp1 │ │ ├── program │ │ ├── .gitignore │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ └── src │ │ │ └── main.rs │ │ └── script │ │ ├── .gitignore │ │ ├── Cargo.toml │ │ ├── build.rs │ │ └── src │ │ └── main.rs ├── keccak │ ├── delphinus │ │ ├── .gitignore │ │ ├── Cargo.lock │ │ ├── Makefile │ │ ├── cargo.toml │ │ ├── src │ │ │ └── lib.rs │ │ └── test.sh │ ├── native │ │ ├── .gitignore │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ └── src │ │ │ └── main.rs │ ├── native_jolt │ │ ├── .gitignore │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ ├── guest │ │ │ ├── Cargo.toml │ │ │ └── src │ │ │ │ └── lib.rs │ │ ├── rust-toolchain.toml │ │ └── src │ │ │ └── main.rs │ ├── native_nexus │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ ├── README.md │ │ └── src │ │ │ ├── guest │ │ │ ├── .cargo │ │ │ │ └── config.toml │ │ │ ├── Cargo.toml │ │ │ ├── rust-toolchain.toml │ │ │ └── src │ │ │ │ └── main.rs │ │ │ └── main.rs │ ├── native_powdr │ │ ├── .gitignore │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ ├── README.md │ │ ├── guest │ │ │ ├── Cargo.lock │ │ │ ├── Cargo.toml │ │ │ └── src │ │ │ │ └── main.rs │ │ ├── rust-toolchain.toml │ │ └── src │ │ │ └── main.rs │ ├── native_risc_zero │ │ ├── .gitignore │ │ ├── Cargo.toml │ │ ├── LICENSE │ │ ├── README.md │ │ ├── host │ │ │ ├── Cargo.toml │ │ │ └── src │ │ │ │ └── main.rs │ │ ├── methods │ │ │ ├── Cargo.toml │ │ │ ├── build.rs │ │ │ ├── guest │ │ │ │ ├── Cargo.toml │ │ │ │ └── src │ │ │ │ │ └── main.rs │ │ │ └── src │ │ │ │ └── lib.rs │ │ ├── proof.bin │ │ └── rust-toolchain.toml │ ├── native_sp1 │ │ ├── .gitignore │ │ ├── program │ │ │ ├── Cargo.lock │ │ │ ├── Cargo.toml │ │ │ └── src │ │ │ │ └── main.rs │ │ └── script │ │ │ ├── Cargo.lock │ │ │ ├── Cargo.toml │ │ │ ├── build.rs │ │ │ └── src │ │ │ └── main.rs │ ├── wasm │ │ ├── .gitignore │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ └── src │ │ │ └── lib.rs │ ├── wasm_jolt │ │ ├── .gitignore │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ ├── guest │ │ │ ├── Cargo.toml │ │ │ └── src │ │ │ │ └── lib.rs │ │ ├── rust-toolchain.toml │ │ └── src │ │ │ └── main.rs │ ├── wasm_risc_zero │ │ ├── .gitignore │ │ ├── Cargo.toml │ │ ├── LICENSE │ │ ├── README.md │ │ ├── host │ │ │ ├── Cargo.toml │ │ │ └── src │ │ │ │ └── main.rs │ │ ├── methods │ │ │ ├── Cargo.toml │ │ │ ├── build.rs │ │ │ ├── guest │ │ │ │ ├── Cargo.toml │ │ │ │ └── src │ │ │ │ │ └── main.rs │ │ │ └── src │ │ │ │ └── lib.rs │ │ ├── proof.bin │ │ └── rust-toolchain.toml │ └── wasm_sp1 │ │ ├── program │ │ ├── .gitignore │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ └── src │ │ │ └── main.rs │ │ └── script │ │ ├── .gitignore │ │ ├── Cargo.toml │ │ ├── build.rs │ │ └── src │ │ └── main.rs ├── merkle │ ├── delphinus │ │ ├── .gitignore │ │ ├── Cargo.lock │ │ ├── Makefile │ │ ├── cargo.toml │ │ ├── src │ │ │ └── lib.rs │ │ └── test.sh │ ├── native │ │ ├── .gitignore │ │ ├── Cargo.toml │ │ └── src │ │ │ └── main.rs │ ├── native_jolt │ │ ├── .gitignore │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ ├── guest │ │ │ ├── Cargo.toml │ │ │ └── src │ │ │ │ └── lib.rs │ │ ├── rust-toolchain.toml │ │ └── src │ │ │ └── main.rs │ ├── native_nexus │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ ├── README.md │ │ └── src │ │ │ ├── guest │ │ │ ├── .cargo │ │ │ │ └── config.toml │ │ │ ├── Cargo.toml │ │ │ ├── rust-toolchain.toml │ │ │ └── src │ │ │ │ └── main.rs │ │ │ └── main.rs │ ├── native_powdr │ │ ├── .gitignore │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ ├── README.md │ │ ├── guest │ │ │ ├── Cargo.lock │ │ │ ├── Cargo.toml │ │ │ └── src │ │ │ │ └── main.rs │ │ └── src │ │ │ └── main.rs │ ├── native_risc_zero │ │ ├── .gitignore │ │ ├── Cargo.toml │ │ ├── LICENSE │ │ ├── README.md │ │ ├── host │ │ │ ├── Cargo.toml │ │ │ └── src │ │ │ │ └── main.rs │ │ ├── methods │ │ │ ├── Cargo.toml │ │ │ ├── build.rs │ │ │ ├── guest │ │ │ │ ├── Cargo.toml │ │ │ │ └── src │ │ │ │ │ └── main.rs │ │ │ └── src │ │ │ │ └── lib.rs │ │ ├── proof.bin │ │ ├── prove.log │ │ └── rust-toolchain.toml │ ├── native_sp1 │ │ ├── .gitignore │ │ ├── program │ │ │ ├── Cargo.lock │ │ │ ├── Cargo.toml │ │ │ └── src │ │ │ │ └── main.rs │ │ └── script │ │ │ ├── Cargo.lock │ │ │ ├── Cargo.toml │ │ │ ├── build.rs │ │ │ └── src │ │ │ └── main.rs │ ├── wasm │ │ ├── .gitignore │ │ ├── Cargo.toml │ │ └── src │ │ │ └── lib.rs │ ├── wasm_jolt │ │ ├── .gitignore │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ ├── guest │ │ │ ├── Cargo.toml │ │ │ └── src │ │ │ │ └── lib.rs │ │ ├── rust-toolchain.toml │ │ └── src │ │ │ └── main.rs │ ├── wasm_risc_zero │ │ ├── .gitignore │ │ ├── Cargo.toml │ │ ├── LICENSE │ │ ├── README.md │ │ ├── host │ │ │ ├── Cargo.toml │ │ │ └── src │ │ │ │ └── main.rs │ │ ├── methods │ │ │ ├── Cargo.toml │ │ │ ├── build.rs │ │ │ ├── guest │ │ │ │ ├── Cargo.toml │ │ │ │ └── src │ │ │ │ │ └── main.rs │ │ │ └── src │ │ │ │ └── lib.rs │ │ ├── proof.bin │ │ ├── prove.log │ │ └── rust-toolchain.toml │ └── wasm_sp1 │ │ ├── program │ │ ├── .gitignore │ │ ├── Cargo.toml │ │ └── src │ │ │ └── main.rs │ │ └── script │ │ ├── .gitignore │ │ ├── Cargo.toml │ │ ├── build.rs │ │ └── src │ │ └── main.rs ├── merkle_proof │ ├── delphinus │ │ ├── .gitignore │ │ ├── Cargo.toml │ │ ├── Makefile │ │ ├── src │ │ │ └── lib.rs │ │ └── test.sh │ ├── native │ │ ├── .gitignore │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ └── src │ │ │ └── main.rs │ ├── native_jolt │ │ ├── .gitignore │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ ├── guest │ │ │ ├── Cargo.toml │ │ │ └── src │ │ │ │ └── lib.rs │ │ ├── rust-toolchain.toml │ │ └── src │ │ │ └── main.rs │ ├── native_nexus │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ ├── README.md │ │ └── src │ │ │ ├── guest │ │ │ ├── .cargo │ │ │ │ └── config.toml │ │ │ ├── Cargo.toml │ │ │ ├── rust-toolchain.toml │ │ │ └── src │ │ │ │ └── main.rs │ │ │ └── main.rs │ ├── native_powdr │ │ ├── .gitignore │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ ├── README.md │ │ ├── guest │ │ │ ├── Cargo.lock │ │ │ ├── Cargo.toml │ │ │ └── src │ │ │ │ └── main.rs │ │ ├── rust-toolchain.toml │ │ └── src │ │ │ └── main.rs │ ├── native_risc_zero │ │ ├── .gitignore │ │ ├── Cargo.toml │ │ ├── LICENSE │ │ ├── README.md │ │ ├── host │ │ │ ├── Cargo.toml │ │ │ └── src │ │ │ │ └── main.rs │ │ ├── methods │ │ │ ├── Cargo.toml │ │ │ ├── build.rs │ │ │ ├── guest │ │ │ │ ├── Cargo.toml │ │ │ │ └── src │ │ │ │ │ └── main.rs │ │ │ └── src │ │ │ │ └── lib.rs │ │ ├── proof.bin │ │ └── rust-toolchain.toml │ ├── native_sp1 │ │ ├── .gitignore │ │ ├── program │ │ │ ├── Cargo.lock │ │ │ ├── Cargo.toml │ │ │ └── src │ │ │ │ └── main.rs │ │ └── script │ │ │ ├── Cargo.lock │ │ │ ├── Cargo.toml │ │ │ ├── build.rs │ │ │ └── src │ │ │ └── main.rs │ ├── wasm │ │ ├── .gitignore │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ └── src │ │ │ └── lib.rs │ ├── wasm_jolt │ │ ├── .gitignore │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ ├── guest │ │ │ ├── Cargo.toml │ │ │ └── src │ │ │ │ └── lib.rs │ │ ├── rust-toolchain.toml │ │ └── src │ │ │ └── main.rs │ ├── wasm_risc_zero │ │ ├── .gitignore │ │ ├── Cargo.toml │ │ ├── LICENSE │ │ ├── README.md │ │ ├── host │ │ │ ├── Cargo.toml │ │ │ └── src │ │ │ │ └── main.rs │ │ ├── methods │ │ │ ├── Cargo.toml │ │ │ ├── build.rs │ │ │ ├── guest │ │ │ │ ├── Cargo.toml │ │ │ │ └── src │ │ │ │ │ └── main.rs │ │ │ └── src │ │ │ │ └── lib.rs │ │ ├── proof.bin │ │ └── rust-toolchain.toml │ └── wasm_sp1 │ │ ├── program │ │ ├── .gitignore │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ └── src │ │ │ └── main.rs │ │ └── script │ │ ├── .gitignore │ │ ├── Cargo.toml │ │ ├── build.rs │ │ └── src │ │ └── main.rs ├── nth_prime │ ├── delphinus │ │ ├── .gitignore │ │ ├── Cargo.lock │ │ ├── Makefile │ │ ├── README.md │ │ ├── cargo.toml │ │ ├── output │ │ │ └── traces │ │ │ │ ├── external_host_table.0.json │ │ │ │ └── itable.json │ │ ├── src │ │ │ └── lib.rs │ │ └── test.sh │ ├── native │ │ ├── .gitignore │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ └── src │ │ │ └── main.rs │ ├── native_jolt │ │ ├── .gitignore │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ ├── guest │ │ │ ├── Cargo.toml │ │ │ └── src │ │ │ │ └── lib.rs │ │ ├── rust-toolchain.toml │ │ └── src │ │ │ └── main.rs │ ├── native_nexus │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ ├── README.md │ │ └── src │ │ │ ├── guest │ │ │ ├── .cargo │ │ │ │ └── config.toml │ │ │ ├── Cargo.toml │ │ │ ├── nexus-proof │ │ │ ├── rust-toolchain.toml │ │ │ └── src │ │ │ │ └── main.rs │ │ │ └── main.rs │ ├── native_powdr │ │ ├── .gitignore │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ ├── README.md │ │ ├── guest │ │ │ ├── Cargo.lock │ │ │ ├── Cargo.toml │ │ │ └── src │ │ │ │ └── main.rs │ │ ├── rust-toolchain.toml │ │ └── src │ │ │ └── main.rs │ ├── native_risc_zero │ │ ├── .gitignore │ │ ├── Cargo.toml │ │ ├── LICENSE │ │ ├── README.md │ │ ├── host │ │ │ ├── Cargo.toml │ │ │ └── src │ │ │ │ └── main.rs │ │ ├── methods │ │ │ ├── Cargo.toml │ │ │ ├── build.rs │ │ │ ├── guest │ │ │ │ ├── Cargo.toml │ │ │ │ └── src │ │ │ │ │ └── main.rs │ │ │ └── src │ │ │ │ └── lib.rs │ │ ├── proof.bin │ │ ├── prove.log │ │ └── rust-toolchain.toml │ ├── native_sp1 │ │ ├── .gitignore │ │ ├── program │ │ │ ├── Cargo.lock │ │ │ ├── Cargo.toml │ │ │ └── src │ │ │ │ └── main.rs │ │ └── script │ │ │ ├── Cargo.lock │ │ │ ├── Cargo.toml │ │ │ ├── build.rs │ │ │ ├── proof-with-pis.bin │ │ │ └── src │ │ │ └── main.rs │ ├── valida │ │ ├── README.md │ │ ├── nth_prime.c │ │ └── nth_prime.o │ ├── wasm │ │ ├── .gitignore │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ └── src │ │ │ └── lib.rs │ ├── wasm_jolt │ │ ├── .gitignore │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ ├── guest │ │ │ ├── Cargo.toml │ │ │ └── src │ │ │ │ └── lib.rs │ │ ├── rust-toolchain.toml │ │ └── src │ │ │ └── main.rs │ ├── wasm_nexus │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ └── src │ │ │ ├── guest │ │ │ ├── .cargo │ │ │ │ └── config.toml │ │ │ ├── Cargo.toml │ │ │ ├── rust-toolchain.toml │ │ │ └── src │ │ │ │ └── main.rs │ │ │ └── main.rs │ ├── wasm_risc_zero │ │ ├── .gitignore │ │ ├── Cargo.toml │ │ ├── LICENSE │ │ ├── README.md │ │ ├── host │ │ │ ├── Cargo.toml │ │ │ └── src │ │ │ │ └── main.rs │ │ ├── methods │ │ │ ├── Cargo.toml │ │ │ ├── build.rs │ │ │ ├── guest │ │ │ │ ├── Cargo.toml │ │ │ │ └── src │ │ │ │ │ └── main.rs │ │ │ └── src │ │ │ │ └── lib.rs │ │ ├── proof.bin │ │ ├── prove.log │ │ └── rust-toolchain.toml │ └── wasm_sp1 │ │ ├── program │ │ ├── .gitignore │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ └── src │ │ │ └── main.rs │ │ └── script │ │ ├── .gitignore │ │ ├── Cargo.toml │ │ ├── build.rs │ │ ├── proof-with-pis.bin │ │ └── src │ │ └── main.rs └── poseidon │ ├── delphinus │ ├── .gitignore │ ├── Cargo.lock │ ├── Makefile │ ├── cargo.toml │ ├── src │ │ └── lib.rs │ └── test.sh │ ├── native │ ├── .gitignore │ ├── Cargo.lock │ ├── Cargo.toml │ └── src │ │ └── main.rs │ ├── native_jolt │ ├── .gitignore │ ├── Cargo.lock │ ├── Cargo.toml │ ├── guest │ │ ├── Cargo.toml │ │ └── src │ │ │ └── lib.rs │ ├── rust-toolchain.toml │ └── src │ │ └── main.rs │ ├── native_nexus │ ├── Cargo.lock │ ├── Cargo.toml │ ├── README.md │ └── src │ │ ├── guest │ │ ├── .cargo │ │ │ └── config.toml │ │ ├── Cargo.toml │ │ ├── rust-toolchain.toml │ │ └── src │ │ │ └── main.rs │ │ └── main.rs │ ├── native_powdr │ ├── .gitignore │ ├── Cargo.lock │ ├── Cargo.toml │ ├── README.md │ ├── guest │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ └── src │ │ │ └── main.rs │ ├── rust-toolchain.toml │ └── src │ │ └── main.rs │ ├── native_risc_zero │ ├── .gitignore │ ├── Cargo.toml │ ├── LICENSE │ ├── README.md │ ├── host │ │ ├── Cargo.toml │ │ └── src │ │ │ └── main.rs │ ├── methods │ │ ├── Cargo.toml │ │ ├── build.rs │ │ ├── guest │ │ │ ├── Cargo.toml │ │ │ └── src │ │ │ │ └── main.rs │ │ └── src │ │ │ └── lib.rs │ ├── proof.bin │ └── rust-toolchain.toml │ ├── native_sp1 │ ├── .gitignore │ ├── program │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ └── src │ │ │ └── main.rs │ └── script │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ ├── build.rs │ │ └── src │ │ └── main.rs │ ├── wasm │ ├── .gitignore │ ├── Cargo.lock │ ├── Cargo.toml │ └── src │ │ └── lib.rs │ ├── wasm_jolt │ ├── .gitignore │ ├── Cargo.lock │ ├── Cargo.toml │ ├── guest │ │ ├── Cargo.toml │ │ └── src │ │ │ └── lib.rs │ ├── rust-toolchain.toml │ └── src │ │ └── main.rs │ ├── wasm_risc_zero │ ├── .gitignore │ ├── Cargo.toml │ ├── LICENSE │ ├── README.md │ ├── host │ │ ├── Cargo.toml │ │ └── src │ │ │ └── main.rs │ ├── methods │ │ ├── Cargo.toml │ │ ├── build.rs │ │ ├── guest │ │ │ ├── Cargo.toml │ │ │ └── src │ │ │ │ └── main.rs │ │ └── src │ │ │ └── lib.rs │ ├── proof.bin │ └── rust-toolchain.toml │ └── wasm_sp1 │ ├── program │ ├── .gitignore │ ├── Cargo.lock │ ├── Cargo.toml │ └── src │ │ └── main.rs │ └── script │ ├── .gitignore │ ├── Cargo.toml │ ├── build.rs │ └── src │ └── main.rs └── inputs ├── binary.json ├── block.json ├── bls_agg.json ├── bls_verify.json ├── bls_verify_128.json ├── bls_verify_16.json ├── bls_verify_64.json ├── ecdsa_verify.json ├── keccak.json ├── merkle.json ├── merkle_proof.json ├── nth_prime.json ├── poseidon.json ├── prime.json ├── tsp.json └── tsp_10.json /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/.gitignore -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/README.md -------------------------------------------------------------------------------- /algorithms/bls-agg/delphinus/.gitignore: -------------------------------------------------------------------------------- 1 | target/**/** 2 | -------------------------------------------------------------------------------- /algorithms/bls-agg/delphinus/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/delphinus/Cargo.toml -------------------------------------------------------------------------------- /algorithms/bls-agg/delphinus/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/delphinus/Makefile -------------------------------------------------------------------------------- /algorithms/bls-agg/delphinus/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/delphinus/src/lib.rs -------------------------------------------------------------------------------- /algorithms/bls-agg/delphinus/test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/delphinus/test.sh -------------------------------------------------------------------------------- /algorithms/bls-agg/native/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/native/.gitignore -------------------------------------------------------------------------------- /algorithms/bls-agg/native/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/native/Cargo.toml -------------------------------------------------------------------------------- /algorithms/bls-agg/native/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/native/src/main.rs -------------------------------------------------------------------------------- /algorithms/bls-agg/native_jolt/.gitignore: -------------------------------------------------------------------------------- 1 | target -------------------------------------------------------------------------------- /algorithms/bls-agg/native_jolt/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/native_jolt/Cargo.lock -------------------------------------------------------------------------------- /algorithms/bls-agg/native_jolt/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/native_jolt/Cargo.toml -------------------------------------------------------------------------------- /algorithms/bls-agg/native_jolt/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/native_jolt/guest/Cargo.toml -------------------------------------------------------------------------------- /algorithms/bls-agg/native_jolt/guest/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/native_jolt/guest/src/lib.rs -------------------------------------------------------------------------------- /algorithms/bls-agg/native_jolt/rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/native_jolt/rust-toolchain.toml -------------------------------------------------------------------------------- /algorithms/bls-agg/native_jolt/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/native_jolt/src/main.rs -------------------------------------------------------------------------------- /algorithms/bls-agg/native_nexus/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/native_nexus/Cargo.lock -------------------------------------------------------------------------------- /algorithms/bls-agg/native_nexus/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/native_nexus/Cargo.toml -------------------------------------------------------------------------------- /algorithms/bls-agg/native_nexus/src/guest/.cargo/config.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/native_nexus/src/guest/.cargo/config.toml -------------------------------------------------------------------------------- /algorithms/bls-agg/native_nexus/src/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/native_nexus/src/guest/Cargo.toml -------------------------------------------------------------------------------- /algorithms/bls-agg/native_nexus/src/guest/rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/native_nexus/src/guest/rust-toolchain.toml -------------------------------------------------------------------------------- /algorithms/bls-agg/native_nexus/src/guest/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/native_nexus/src/guest/src/main.rs -------------------------------------------------------------------------------- /algorithms/bls-agg/native_nexus/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/native_nexus/src/main.rs -------------------------------------------------------------------------------- /algorithms/bls-agg/native_powdr/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/native_powdr/.gitignore -------------------------------------------------------------------------------- /algorithms/bls-agg/native_powdr/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/native_powdr/Cargo.lock -------------------------------------------------------------------------------- /algorithms/bls-agg/native_powdr/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/native_powdr/Cargo.toml -------------------------------------------------------------------------------- /algorithms/bls-agg/native_powdr/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/native_powdr/README.md -------------------------------------------------------------------------------- /algorithms/bls-agg/native_powdr/guest/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/native_powdr/guest/Cargo.lock -------------------------------------------------------------------------------- /algorithms/bls-agg/native_powdr/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/native_powdr/guest/Cargo.toml -------------------------------------------------------------------------------- /algorithms/bls-agg/native_powdr/guest/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/native_powdr/guest/src/main.rs -------------------------------------------------------------------------------- /algorithms/bls-agg/native_powdr/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/native_powdr/src/main.rs -------------------------------------------------------------------------------- /algorithms/bls-agg/native_risc_zero/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/native_risc_zero/.gitignore -------------------------------------------------------------------------------- /algorithms/bls-agg/native_risc_zero/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/native_risc_zero/Cargo.toml -------------------------------------------------------------------------------- /algorithms/bls-agg/native_risc_zero/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/native_risc_zero/LICENSE -------------------------------------------------------------------------------- /algorithms/bls-agg/native_risc_zero/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/native_risc_zero/README.md -------------------------------------------------------------------------------- /algorithms/bls-agg/native_risc_zero/host/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/native_risc_zero/host/Cargo.toml -------------------------------------------------------------------------------- /algorithms/bls-agg/native_risc_zero/host/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/native_risc_zero/host/src/main.rs -------------------------------------------------------------------------------- /algorithms/bls-agg/native_risc_zero/methods/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/native_risc_zero/methods/Cargo.toml -------------------------------------------------------------------------------- /algorithms/bls-agg/native_risc_zero/methods/build.rs: -------------------------------------------------------------------------------- 1 | fn main() { 2 | risc0_build::embed_methods(); 3 | } 4 | -------------------------------------------------------------------------------- /algorithms/bls-agg/native_risc_zero/methods/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/native_risc_zero/methods/guest/Cargo.toml -------------------------------------------------------------------------------- /algorithms/bls-agg/native_risc_zero/methods/guest/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/native_risc_zero/methods/guest/src/main.rs -------------------------------------------------------------------------------- /algorithms/bls-agg/native_risc_zero/methods/src/lib.rs: -------------------------------------------------------------------------------- 1 | include!(concat!(env!("OUT_DIR"), "/methods.rs")); 2 | -------------------------------------------------------------------------------- /algorithms/bls-agg/native_risc_zero/prove.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/native_risc_zero/prove.log -------------------------------------------------------------------------------- /algorithms/bls-agg/native_risc_zero/rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/native_risc_zero/rust-toolchain.toml -------------------------------------------------------------------------------- /algorithms/bls-agg/native_sp1/.gitignore: -------------------------------------------------------------------------------- 1 | **/target 2 | 3 | -------------------------------------------------------------------------------- /algorithms/bls-agg/native_sp1/program/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/native_sp1/program/Cargo.lock -------------------------------------------------------------------------------- /algorithms/bls-agg/native_sp1/program/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/native_sp1/program/Cargo.toml -------------------------------------------------------------------------------- /algorithms/bls-agg/native_sp1/program/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/native_sp1/program/src/main.rs -------------------------------------------------------------------------------- /algorithms/bls-agg/native_sp1/script/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/native_sp1/script/Cargo.lock -------------------------------------------------------------------------------- /algorithms/bls-agg/native_sp1/script/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/native_sp1/script/Cargo.toml -------------------------------------------------------------------------------- /algorithms/bls-agg/native_sp1/script/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/native_sp1/script/build.rs -------------------------------------------------------------------------------- /algorithms/bls-agg/native_sp1/script/cycles_w_precompiles.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/native_sp1/script/cycles_w_precompiles.txt -------------------------------------------------------------------------------- /algorithms/bls-agg/native_sp1/script/prove.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/native_sp1/script/prove.log -------------------------------------------------------------------------------- /algorithms/bls-agg/native_sp1/script/prove_wo_precompile.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/native_sp1/script/prove_wo_precompile.log -------------------------------------------------------------------------------- /algorithms/bls-agg/native_sp1/script/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/native_sp1/script/src/main.rs -------------------------------------------------------------------------------- /algorithms/bls-agg/wasm/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/wasm/.gitignore -------------------------------------------------------------------------------- /algorithms/bls-agg/wasm/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/wasm/Cargo.toml -------------------------------------------------------------------------------- /algorithms/bls-agg/wasm/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/wasm/src/lib.rs -------------------------------------------------------------------------------- /algorithms/bls-agg/wasm_jolt/.gitignore: -------------------------------------------------------------------------------- 1 | target -------------------------------------------------------------------------------- /algorithms/bls-agg/wasm_jolt/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/wasm_jolt/Cargo.lock -------------------------------------------------------------------------------- /algorithms/bls-agg/wasm_jolt/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/wasm_jolt/Cargo.toml -------------------------------------------------------------------------------- /algorithms/bls-agg/wasm_jolt/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/wasm_jolt/guest/Cargo.toml -------------------------------------------------------------------------------- /algorithms/bls-agg/wasm_jolt/guest/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/wasm_jolt/guest/src/lib.rs -------------------------------------------------------------------------------- /algorithms/bls-agg/wasm_jolt/rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/wasm_jolt/rust-toolchain.toml -------------------------------------------------------------------------------- /algorithms/bls-agg/wasm_jolt/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/wasm_jolt/src/main.rs -------------------------------------------------------------------------------- /algorithms/bls-agg/wasm_risc_zero/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/wasm_risc_zero/.gitignore -------------------------------------------------------------------------------- /algorithms/bls-agg/wasm_risc_zero/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/wasm_risc_zero/Cargo.toml -------------------------------------------------------------------------------- /algorithms/bls-agg/wasm_risc_zero/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/wasm_risc_zero/LICENSE -------------------------------------------------------------------------------- /algorithms/bls-agg/wasm_risc_zero/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/wasm_risc_zero/README.md -------------------------------------------------------------------------------- /algorithms/bls-agg/wasm_risc_zero/host/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/wasm_risc_zero/host/Cargo.toml -------------------------------------------------------------------------------- /algorithms/bls-agg/wasm_risc_zero/host/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/wasm_risc_zero/host/src/main.rs -------------------------------------------------------------------------------- /algorithms/bls-agg/wasm_risc_zero/methods/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/wasm_risc_zero/methods/Cargo.toml -------------------------------------------------------------------------------- /algorithms/bls-agg/wasm_risc_zero/methods/build.rs: -------------------------------------------------------------------------------- 1 | fn main() { 2 | risc0_build::embed_methods(); 3 | } 4 | -------------------------------------------------------------------------------- /algorithms/bls-agg/wasm_risc_zero/methods/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/wasm_risc_zero/methods/guest/Cargo.toml -------------------------------------------------------------------------------- /algorithms/bls-agg/wasm_risc_zero/methods/guest/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/wasm_risc_zero/methods/guest/src/main.rs -------------------------------------------------------------------------------- /algorithms/bls-agg/wasm_risc_zero/methods/src/lib.rs: -------------------------------------------------------------------------------- 1 | include!(concat!(env!("OUT_DIR"), "/methods.rs")); 2 | -------------------------------------------------------------------------------- /algorithms/bls-agg/wasm_risc_zero/rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/wasm_risc_zero/rust-toolchain.toml -------------------------------------------------------------------------------- /algorithms/bls-agg/wasm_sp1/program/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/wasm_sp1/program/.gitignore -------------------------------------------------------------------------------- /algorithms/bls-agg/wasm_sp1/program/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/wasm_sp1/program/Cargo.toml -------------------------------------------------------------------------------- /algorithms/bls-agg/wasm_sp1/program/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/wasm_sp1/program/src/main.rs -------------------------------------------------------------------------------- /algorithms/bls-agg/wasm_sp1/script/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/wasm_sp1/script/.gitignore -------------------------------------------------------------------------------- /algorithms/bls-agg/wasm_sp1/script/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/wasm_sp1/script/Cargo.toml -------------------------------------------------------------------------------- /algorithms/bls-agg/wasm_sp1/script/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/wasm_sp1/script/build.rs -------------------------------------------------------------------------------- /algorithms/bls-agg/wasm_sp1/script/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-agg/wasm_sp1/script/src/main.rs -------------------------------------------------------------------------------- /algorithms/bls-verify/delphinus/.gitignore: -------------------------------------------------------------------------------- 1 | target/**/** 2 | -------------------------------------------------------------------------------- /algorithms/bls-verify/delphinus/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/delphinus/Cargo.lock -------------------------------------------------------------------------------- /algorithms/bls-verify/delphinus/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/delphinus/Cargo.toml -------------------------------------------------------------------------------- /algorithms/bls-verify/delphinus/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/delphinus/Makefile -------------------------------------------------------------------------------- /algorithms/bls-verify/delphinus/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/delphinus/src/lib.rs -------------------------------------------------------------------------------- /algorithms/bls-verify/delphinus/test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/delphinus/test.sh -------------------------------------------------------------------------------- /algorithms/bls-verify/native/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/native/.gitignore -------------------------------------------------------------------------------- /algorithms/bls-verify/native/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/native/Cargo.toml -------------------------------------------------------------------------------- /algorithms/bls-verify/native/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/native/src/main.rs -------------------------------------------------------------------------------- /algorithms/bls-verify/native_jolt/.gitignore: -------------------------------------------------------------------------------- 1 | target -------------------------------------------------------------------------------- /algorithms/bls-verify/native_jolt/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/native_jolt/Cargo.lock -------------------------------------------------------------------------------- /algorithms/bls-verify/native_jolt/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/native_jolt/Cargo.toml -------------------------------------------------------------------------------- /algorithms/bls-verify/native_jolt/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/native_jolt/guest/Cargo.toml -------------------------------------------------------------------------------- /algorithms/bls-verify/native_jolt/guest/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/native_jolt/guest/src/lib.rs -------------------------------------------------------------------------------- /algorithms/bls-verify/native_jolt/rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/native_jolt/rust-toolchain.toml -------------------------------------------------------------------------------- /algorithms/bls-verify/native_jolt/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/native_jolt/src/main.rs -------------------------------------------------------------------------------- /algorithms/bls-verify/native_nexus/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/native_nexus/Cargo.lock -------------------------------------------------------------------------------- /algorithms/bls-verify/native_nexus/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/native_nexus/Cargo.toml -------------------------------------------------------------------------------- /algorithms/bls-verify/native_nexus/src/guest/.cargo/config.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/native_nexus/src/guest/.cargo/config.toml -------------------------------------------------------------------------------- /algorithms/bls-verify/native_nexus/src/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/native_nexus/src/guest/Cargo.toml -------------------------------------------------------------------------------- /algorithms/bls-verify/native_nexus/src/guest/rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/native_nexus/src/guest/rust-toolchain.toml -------------------------------------------------------------------------------- /algorithms/bls-verify/native_nexus/src/guest/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/native_nexus/src/guest/src/main.rs -------------------------------------------------------------------------------- /algorithms/bls-verify/native_nexus/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/native_nexus/src/main.rs -------------------------------------------------------------------------------- /algorithms/bls-verify/native_powdr/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/native_powdr/.gitignore -------------------------------------------------------------------------------- /algorithms/bls-verify/native_powdr/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/native_powdr/Cargo.lock -------------------------------------------------------------------------------- /algorithms/bls-verify/native_powdr/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/native_powdr/Cargo.toml -------------------------------------------------------------------------------- /algorithms/bls-verify/native_powdr/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/native_powdr/README.md -------------------------------------------------------------------------------- /algorithms/bls-verify/native_powdr/guest/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/native_powdr/guest/Cargo.lock -------------------------------------------------------------------------------- /algorithms/bls-verify/native_powdr/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/native_powdr/guest/Cargo.toml -------------------------------------------------------------------------------- /algorithms/bls-verify/native_powdr/guest/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/native_powdr/guest/src/main.rs -------------------------------------------------------------------------------- /algorithms/bls-verify/native_powdr/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/native_powdr/src/main.rs -------------------------------------------------------------------------------- /algorithms/bls-verify/native_risc_zero/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/native_risc_zero/.gitignore -------------------------------------------------------------------------------- /algorithms/bls-verify/native_risc_zero/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/native_risc_zero/Cargo.toml -------------------------------------------------------------------------------- /algorithms/bls-verify/native_risc_zero/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/native_risc_zero/LICENSE -------------------------------------------------------------------------------- /algorithms/bls-verify/native_risc_zero/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/native_risc_zero/README.md -------------------------------------------------------------------------------- /algorithms/bls-verify/native_risc_zero/host/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/native_risc_zero/host/Cargo.toml -------------------------------------------------------------------------------- /algorithms/bls-verify/native_risc_zero/host/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/native_risc_zero/host/src/main.rs -------------------------------------------------------------------------------- /algorithms/bls-verify/native_risc_zero/methods/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/native_risc_zero/methods/Cargo.toml -------------------------------------------------------------------------------- /algorithms/bls-verify/native_risc_zero/methods/build.rs: -------------------------------------------------------------------------------- 1 | fn main() { 2 | risc0_build::embed_methods(); 3 | } 4 | -------------------------------------------------------------------------------- /algorithms/bls-verify/native_risc_zero/methods/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/native_risc_zero/methods/guest/Cargo.toml -------------------------------------------------------------------------------- /algorithms/bls-verify/native_risc_zero/methods/guest/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/native_risc_zero/methods/guest/src/main.rs -------------------------------------------------------------------------------- /algorithms/bls-verify/native_risc_zero/methods/src/lib.rs: -------------------------------------------------------------------------------- 1 | include!(concat!(env!("OUT_DIR"), "/methods.rs")); 2 | -------------------------------------------------------------------------------- /algorithms/bls-verify/native_risc_zero/proof.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/native_risc_zero/proof.bin -------------------------------------------------------------------------------- /algorithms/bls-verify/native_risc_zero/prove.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/native_risc_zero/prove.log -------------------------------------------------------------------------------- /algorithms/bls-verify/native_risc_zero/rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/native_risc_zero/rust-toolchain.toml -------------------------------------------------------------------------------- /algorithms/bls-verify/native_sp1/.gitignore: -------------------------------------------------------------------------------- 1 | **/target 2 | 3 | -------------------------------------------------------------------------------- /algorithms/bls-verify/native_sp1/program/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/native_sp1/program/Cargo.lock -------------------------------------------------------------------------------- /algorithms/bls-verify/native_sp1/program/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/native_sp1/program/Cargo.toml -------------------------------------------------------------------------------- /algorithms/bls-verify/native_sp1/program/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/native_sp1/program/src/main.rs -------------------------------------------------------------------------------- /algorithms/bls-verify/native_sp1/script/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/native_sp1/script/Cargo.lock -------------------------------------------------------------------------------- /algorithms/bls-verify/native_sp1/script/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/native_sp1/script/Cargo.toml -------------------------------------------------------------------------------- /algorithms/bls-verify/native_sp1/script/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/native_sp1/script/build.rs -------------------------------------------------------------------------------- /algorithms/bls-verify/native_sp1/script/cycles_wo_precompiles.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/native_sp1/script/cycles_wo_precompiles.txt -------------------------------------------------------------------------------- /algorithms/bls-verify/native_sp1/script/prove.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/native_sp1/script/prove.log -------------------------------------------------------------------------------- /algorithms/bls-verify/native_sp1/script/prove_wo_precompile.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/native_sp1/script/prove_wo_precompile.log -------------------------------------------------------------------------------- /algorithms/bls-verify/native_sp1/script/prove_wo_precompiles.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/native_sp1/script/prove_wo_precompiles.log -------------------------------------------------------------------------------- /algorithms/bls-verify/native_sp1/script/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/native_sp1/script/src/main.rs -------------------------------------------------------------------------------- /algorithms/bls-verify/wasm/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/wasm/.gitignore -------------------------------------------------------------------------------- /algorithms/bls-verify/wasm/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/wasm/Cargo.toml -------------------------------------------------------------------------------- /algorithms/bls-verify/wasm/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/wasm/src/lib.rs -------------------------------------------------------------------------------- /algorithms/bls-verify/wasm_jolt/.gitignore: -------------------------------------------------------------------------------- 1 | target -------------------------------------------------------------------------------- /algorithms/bls-verify/wasm_jolt/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/wasm_jolt/Cargo.lock -------------------------------------------------------------------------------- /algorithms/bls-verify/wasm_jolt/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/wasm_jolt/Cargo.toml -------------------------------------------------------------------------------- /algorithms/bls-verify/wasm_jolt/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/wasm_jolt/guest/Cargo.toml -------------------------------------------------------------------------------- /algorithms/bls-verify/wasm_jolt/guest/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/wasm_jolt/guest/src/lib.rs -------------------------------------------------------------------------------- /algorithms/bls-verify/wasm_jolt/rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/wasm_jolt/rust-toolchain.toml -------------------------------------------------------------------------------- /algorithms/bls-verify/wasm_jolt/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/wasm_jolt/src/main.rs -------------------------------------------------------------------------------- /algorithms/bls-verify/wasm_risc_zero/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/wasm_risc_zero/.gitignore -------------------------------------------------------------------------------- /algorithms/bls-verify/wasm_risc_zero/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/wasm_risc_zero/Cargo.toml -------------------------------------------------------------------------------- /algorithms/bls-verify/wasm_risc_zero/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/wasm_risc_zero/LICENSE -------------------------------------------------------------------------------- /algorithms/bls-verify/wasm_risc_zero/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/wasm_risc_zero/README.md -------------------------------------------------------------------------------- /algorithms/bls-verify/wasm_risc_zero/host/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/wasm_risc_zero/host/Cargo.toml -------------------------------------------------------------------------------- /algorithms/bls-verify/wasm_risc_zero/host/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/wasm_risc_zero/host/src/main.rs -------------------------------------------------------------------------------- /algorithms/bls-verify/wasm_risc_zero/methods/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/wasm_risc_zero/methods/Cargo.toml -------------------------------------------------------------------------------- /algorithms/bls-verify/wasm_risc_zero/methods/build.rs: -------------------------------------------------------------------------------- 1 | fn main() { 2 | risc0_build::embed_methods(); 3 | } 4 | -------------------------------------------------------------------------------- /algorithms/bls-verify/wasm_risc_zero/methods/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/wasm_risc_zero/methods/guest/Cargo.toml -------------------------------------------------------------------------------- /algorithms/bls-verify/wasm_risc_zero/methods/guest/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/wasm_risc_zero/methods/guest/src/main.rs -------------------------------------------------------------------------------- /algorithms/bls-verify/wasm_risc_zero/methods/src/lib.rs: -------------------------------------------------------------------------------- 1 | include!(concat!(env!("OUT_DIR"), "/methods.rs")); 2 | -------------------------------------------------------------------------------- /algorithms/bls-verify/wasm_risc_zero/rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/wasm_risc_zero/rust-toolchain.toml -------------------------------------------------------------------------------- /algorithms/bls-verify/wasm_sp1/program/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/wasm_sp1/program/.gitignore -------------------------------------------------------------------------------- /algorithms/bls-verify/wasm_sp1/program/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/wasm_sp1/program/Cargo.toml -------------------------------------------------------------------------------- /algorithms/bls-verify/wasm_sp1/program/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/wasm_sp1/program/src/main.rs -------------------------------------------------------------------------------- /algorithms/bls-verify/wasm_sp1/script/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/wasm_sp1/script/.gitignore -------------------------------------------------------------------------------- /algorithms/bls-verify/wasm_sp1/script/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/wasm_sp1/script/Cargo.toml -------------------------------------------------------------------------------- /algorithms/bls-verify/wasm_sp1/script/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/wasm_sp1/script/build.rs -------------------------------------------------------------------------------- /algorithms/bls-verify/wasm_sp1/script/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/bls-verify/wasm_sp1/script/src/main.rs -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/delphinus/.gitignore: -------------------------------------------------------------------------------- 1 | target/**/** 2 | -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/delphinus/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/ecdsa_verify/delphinus/Makefile -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/delphinus/cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/ecdsa_verify/delphinus/cargo.toml -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/delphinus/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/ecdsa_verify/delphinus/src/lib.rs -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/delphinus/test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/ecdsa_verify/delphinus/test.sh -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/native/.gitignore: -------------------------------------------------------------------------------- 1 | # Rust build artifacts 2 | **/target/ 3 | 4 | 5 | -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/native/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/ecdsa_verify/native/Cargo.lock -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/native/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/ecdsa_verify/native/Cargo.toml -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/native/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/ecdsa_verify/native/src/main.rs -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/native_jolt/.gitignore: -------------------------------------------------------------------------------- 1 | target -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/native_jolt/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/ecdsa_verify/native_jolt/Cargo.lock -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/native_jolt/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/ecdsa_verify/native_jolt/Cargo.toml -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/native_jolt/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/ecdsa_verify/native_jolt/guest/Cargo.toml -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/native_jolt/guest/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/ecdsa_verify/native_jolt/guest/src/lib.rs -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/native_jolt/rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/ecdsa_verify/native_jolt/rust-toolchain.toml -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/native_jolt/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/ecdsa_verify/native_jolt/src/main.rs -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/native_nexus/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/ecdsa_verify/native_nexus/Cargo.lock -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/native_nexus/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/ecdsa_verify/native_nexus/Cargo.toml -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/native_nexus/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/ecdsa_verify/native_nexus/README.md -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/native_nexus/src/guest/.cargo/config.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/ecdsa_verify/native_nexus/src/guest/.cargo/config.toml -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/native_nexus/src/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/ecdsa_verify/native_nexus/src/guest/Cargo.toml -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/native_nexus/src/guest/rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/ecdsa_verify/native_nexus/src/guest/rust-toolchain.toml -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/native_nexus/src/guest/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/ecdsa_verify/native_nexus/src/guest/src/main.rs -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/native_nexus/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/ecdsa_verify/native_nexus/src/main.rs -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/native_risc_zero/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/ecdsa_verify/native_risc_zero/.gitignore -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/native_risc_zero/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/ecdsa_verify/native_risc_zero/Cargo.toml -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/native_risc_zero/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/ecdsa_verify/native_risc_zero/LICENSE -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/native_risc_zero/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/ecdsa_verify/native_risc_zero/README.md -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/native_risc_zero/host/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/ecdsa_verify/native_risc_zero/host/Cargo.toml -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/native_risc_zero/host/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/ecdsa_verify/native_risc_zero/host/src/main.rs -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/native_risc_zero/methods/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/ecdsa_verify/native_risc_zero/methods/Cargo.toml -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/native_risc_zero/methods/build.rs: -------------------------------------------------------------------------------- 1 | fn main() { 2 | risc0_build::embed_methods(); 3 | } 4 | -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/native_risc_zero/methods/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/ecdsa_verify/native_risc_zero/methods/guest/Cargo.toml -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/native_risc_zero/methods/guest/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/ecdsa_verify/native_risc_zero/methods/guest/src/main.rs -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/native_risc_zero/methods/src/lib.rs: -------------------------------------------------------------------------------- 1 | include!(concat!(env!("OUT_DIR"), "/methods.rs")); 2 | -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/native_risc_zero/rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/ecdsa_verify/native_risc_zero/rust-toolchain.toml -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/native_sp1/.gitignore: -------------------------------------------------------------------------------- 1 | # Rust build artifacts 2 | **/target/ 3 | 4 | 5 | -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/native_sp1/program/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/ecdsa_verify/native_sp1/program/Cargo.lock -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/native_sp1/program/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/ecdsa_verify/native_sp1/program/Cargo.toml -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/native_sp1/program/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/ecdsa_verify/native_sp1/program/src/main.rs -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/native_sp1/script/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/ecdsa_verify/native_sp1/script/Cargo.lock -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/native_sp1/script/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/ecdsa_verify/native_sp1/script/Cargo.toml -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/native_sp1/script/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/ecdsa_verify/native_sp1/script/build.rs -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/native_sp1/script/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/ecdsa_verify/native_sp1/script/src/main.rs -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/wasm/.gitignore: -------------------------------------------------------------------------------- 1 | # Generated by Cargo 2 | **/target/ 3 | -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/wasm/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/ecdsa_verify/wasm/Cargo.lock -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/wasm/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/ecdsa_verify/wasm/Cargo.toml -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/wasm/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/ecdsa_verify/wasm/src/lib.rs -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/wasm_jolt/.gitignore: -------------------------------------------------------------------------------- 1 | target -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/wasm_jolt/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/ecdsa_verify/wasm_jolt/Cargo.lock -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/wasm_jolt/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/ecdsa_verify/wasm_jolt/Cargo.toml -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/wasm_jolt/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/ecdsa_verify/wasm_jolt/guest/Cargo.toml -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/wasm_jolt/guest/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/ecdsa_verify/wasm_jolt/guest/src/lib.rs -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/wasm_jolt/rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/ecdsa_verify/wasm_jolt/rust-toolchain.toml -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/wasm_jolt/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/ecdsa_verify/wasm_jolt/src/main.rs -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/wasm_risc_zero/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/ecdsa_verify/wasm_risc_zero/.gitignore -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/wasm_risc_zero/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/ecdsa_verify/wasm_risc_zero/Cargo.toml -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/wasm_risc_zero/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/ecdsa_verify/wasm_risc_zero/LICENSE -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/wasm_risc_zero/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/ecdsa_verify/wasm_risc_zero/README.md -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/wasm_risc_zero/host/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/ecdsa_verify/wasm_risc_zero/host/Cargo.toml -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/wasm_risc_zero/host/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/ecdsa_verify/wasm_risc_zero/host/src/main.rs -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/wasm_risc_zero/methods/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/ecdsa_verify/wasm_risc_zero/methods/Cargo.toml -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/wasm_risc_zero/methods/build.rs: -------------------------------------------------------------------------------- 1 | fn main() { 2 | risc0_build::embed_methods(); 3 | } 4 | -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/wasm_risc_zero/methods/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/ecdsa_verify/wasm_risc_zero/methods/guest/Cargo.toml -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/wasm_risc_zero/methods/guest/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/ecdsa_verify/wasm_risc_zero/methods/guest/src/main.rs -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/wasm_risc_zero/methods/src/lib.rs: -------------------------------------------------------------------------------- 1 | include!(concat!(env!("OUT_DIR"), "/methods.rs")); 2 | -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/wasm_risc_zero/proof.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/ecdsa_verify/wasm_risc_zero/proof.bin -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/wasm_risc_zero/rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/ecdsa_verify/wasm_risc_zero/rust-toolchain.toml -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/wasm_sp1/program/.gitignore: -------------------------------------------------------------------------------- 1 | # Generated by Cargo 2 | **/target/ 3 | -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/wasm_sp1/program/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/ecdsa_verify/wasm_sp1/program/Cargo.lock -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/wasm_sp1/program/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/ecdsa_verify/wasm_sp1/program/Cargo.toml -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/wasm_sp1/program/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/ecdsa_verify/wasm_sp1/program/src/main.rs -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/wasm_sp1/script/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/ecdsa_verify/wasm_sp1/script/.gitignore -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/wasm_sp1/script/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/ecdsa_verify/wasm_sp1/script/Cargo.toml -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/wasm_sp1/script/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/ecdsa_verify/wasm_sp1/script/build.rs -------------------------------------------------------------------------------- /algorithms/ecdsa_verify/wasm_sp1/script/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/ecdsa_verify/wasm_sp1/script/src/main.rs -------------------------------------------------------------------------------- /algorithms/keccak/delphinus/.gitignore: -------------------------------------------------------------------------------- 1 | target/**/** 2 | -------------------------------------------------------------------------------- /algorithms/keccak/delphinus/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/delphinus/Cargo.lock -------------------------------------------------------------------------------- /algorithms/keccak/delphinus/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/delphinus/Makefile -------------------------------------------------------------------------------- /algorithms/keccak/delphinus/cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/delphinus/cargo.toml -------------------------------------------------------------------------------- /algorithms/keccak/delphinus/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/delphinus/src/lib.rs -------------------------------------------------------------------------------- /algorithms/keccak/delphinus/test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/delphinus/test.sh -------------------------------------------------------------------------------- /algorithms/keccak/native/.gitignore: -------------------------------------------------------------------------------- 1 | # Rust build artifacts 2 | **/target/ 3 | 4 | 5 | -------------------------------------------------------------------------------- /algorithms/keccak/native/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/native/Cargo.lock -------------------------------------------------------------------------------- /algorithms/keccak/native/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/native/Cargo.toml -------------------------------------------------------------------------------- /algorithms/keccak/native/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/native/src/main.rs -------------------------------------------------------------------------------- /algorithms/keccak/native_jolt/.gitignore: -------------------------------------------------------------------------------- 1 | target -------------------------------------------------------------------------------- /algorithms/keccak/native_jolt/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/native_jolt/Cargo.lock -------------------------------------------------------------------------------- /algorithms/keccak/native_jolt/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/native_jolt/Cargo.toml -------------------------------------------------------------------------------- /algorithms/keccak/native_jolt/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/native_jolt/guest/Cargo.toml -------------------------------------------------------------------------------- /algorithms/keccak/native_jolt/guest/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/native_jolt/guest/src/lib.rs -------------------------------------------------------------------------------- /algorithms/keccak/native_jolt/rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/native_jolt/rust-toolchain.toml -------------------------------------------------------------------------------- /algorithms/keccak/native_jolt/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/native_jolt/src/main.rs -------------------------------------------------------------------------------- /algorithms/keccak/native_nexus/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/native_nexus/Cargo.lock -------------------------------------------------------------------------------- /algorithms/keccak/native_nexus/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/native_nexus/Cargo.toml -------------------------------------------------------------------------------- /algorithms/keccak/native_nexus/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/native_nexus/README.md -------------------------------------------------------------------------------- /algorithms/keccak/native_nexus/src/guest/.cargo/config.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/native_nexus/src/guest/.cargo/config.toml -------------------------------------------------------------------------------- /algorithms/keccak/native_nexus/src/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/native_nexus/src/guest/Cargo.toml -------------------------------------------------------------------------------- /algorithms/keccak/native_nexus/src/guest/rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/native_nexus/src/guest/rust-toolchain.toml -------------------------------------------------------------------------------- /algorithms/keccak/native_nexus/src/guest/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/native_nexus/src/guest/src/main.rs -------------------------------------------------------------------------------- /algorithms/keccak/native_nexus/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/native_nexus/src/main.rs -------------------------------------------------------------------------------- /algorithms/keccak/native_powdr/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/native_powdr/.gitignore -------------------------------------------------------------------------------- /algorithms/keccak/native_powdr/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/native_powdr/Cargo.lock -------------------------------------------------------------------------------- /algorithms/keccak/native_powdr/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/native_powdr/Cargo.toml -------------------------------------------------------------------------------- /algorithms/keccak/native_powdr/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/native_powdr/README.md -------------------------------------------------------------------------------- /algorithms/keccak/native_powdr/guest/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/native_powdr/guest/Cargo.lock -------------------------------------------------------------------------------- /algorithms/keccak/native_powdr/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/native_powdr/guest/Cargo.toml -------------------------------------------------------------------------------- /algorithms/keccak/native_powdr/guest/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/native_powdr/guest/src/main.rs -------------------------------------------------------------------------------- /algorithms/keccak/native_powdr/rust-toolchain.toml: -------------------------------------------------------------------------------- 1 | [toolchain] 2 | channel = "nightly-2024-09-21" 3 | -------------------------------------------------------------------------------- /algorithms/keccak/native_powdr/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/native_powdr/src/main.rs -------------------------------------------------------------------------------- /algorithms/keccak/native_risc_zero/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/native_risc_zero/.gitignore -------------------------------------------------------------------------------- /algorithms/keccak/native_risc_zero/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/native_risc_zero/Cargo.toml -------------------------------------------------------------------------------- /algorithms/keccak/native_risc_zero/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/native_risc_zero/LICENSE -------------------------------------------------------------------------------- /algorithms/keccak/native_risc_zero/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/native_risc_zero/README.md -------------------------------------------------------------------------------- /algorithms/keccak/native_risc_zero/host/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/native_risc_zero/host/Cargo.toml -------------------------------------------------------------------------------- /algorithms/keccak/native_risc_zero/host/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/native_risc_zero/host/src/main.rs -------------------------------------------------------------------------------- /algorithms/keccak/native_risc_zero/methods/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/native_risc_zero/methods/Cargo.toml -------------------------------------------------------------------------------- /algorithms/keccak/native_risc_zero/methods/build.rs: -------------------------------------------------------------------------------- 1 | fn main() { 2 | risc0_build::embed_methods(); 3 | } 4 | -------------------------------------------------------------------------------- /algorithms/keccak/native_risc_zero/methods/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/native_risc_zero/methods/guest/Cargo.toml -------------------------------------------------------------------------------- /algorithms/keccak/native_risc_zero/methods/guest/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/native_risc_zero/methods/guest/src/main.rs -------------------------------------------------------------------------------- /algorithms/keccak/native_risc_zero/methods/src/lib.rs: -------------------------------------------------------------------------------- 1 | include!(concat!(env!("OUT_DIR"), "/methods.rs")); 2 | -------------------------------------------------------------------------------- /algorithms/keccak/native_risc_zero/proof.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/native_risc_zero/proof.bin -------------------------------------------------------------------------------- /algorithms/keccak/native_risc_zero/rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/native_risc_zero/rust-toolchain.toml -------------------------------------------------------------------------------- /algorithms/keccak/native_sp1/.gitignore: -------------------------------------------------------------------------------- 1 | # Rust build artifacts 2 | **/target/ 3 | 4 | 5 | -------------------------------------------------------------------------------- /algorithms/keccak/native_sp1/program/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/native_sp1/program/Cargo.lock -------------------------------------------------------------------------------- /algorithms/keccak/native_sp1/program/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/native_sp1/program/Cargo.toml -------------------------------------------------------------------------------- /algorithms/keccak/native_sp1/program/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/native_sp1/program/src/main.rs -------------------------------------------------------------------------------- /algorithms/keccak/native_sp1/script/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/native_sp1/script/Cargo.lock -------------------------------------------------------------------------------- /algorithms/keccak/native_sp1/script/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/native_sp1/script/Cargo.toml -------------------------------------------------------------------------------- /algorithms/keccak/native_sp1/script/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/native_sp1/script/build.rs -------------------------------------------------------------------------------- /algorithms/keccak/native_sp1/script/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/native_sp1/script/src/main.rs -------------------------------------------------------------------------------- /algorithms/keccak/wasm/.gitignore: -------------------------------------------------------------------------------- 1 | # Generated by Cargo 2 | **/target/ 3 | -------------------------------------------------------------------------------- /algorithms/keccak/wasm/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/wasm/Cargo.lock -------------------------------------------------------------------------------- /algorithms/keccak/wasm/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/wasm/Cargo.toml -------------------------------------------------------------------------------- /algorithms/keccak/wasm/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/wasm/src/lib.rs -------------------------------------------------------------------------------- /algorithms/keccak/wasm_jolt/.gitignore: -------------------------------------------------------------------------------- 1 | target -------------------------------------------------------------------------------- /algorithms/keccak/wasm_jolt/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/wasm_jolt/Cargo.lock -------------------------------------------------------------------------------- /algorithms/keccak/wasm_jolt/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/wasm_jolt/Cargo.toml -------------------------------------------------------------------------------- /algorithms/keccak/wasm_jolt/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/wasm_jolt/guest/Cargo.toml -------------------------------------------------------------------------------- /algorithms/keccak/wasm_jolt/guest/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/wasm_jolt/guest/src/lib.rs -------------------------------------------------------------------------------- /algorithms/keccak/wasm_jolt/rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/wasm_jolt/rust-toolchain.toml -------------------------------------------------------------------------------- /algorithms/keccak/wasm_jolt/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/wasm_jolt/src/main.rs -------------------------------------------------------------------------------- /algorithms/keccak/wasm_risc_zero/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/wasm_risc_zero/.gitignore -------------------------------------------------------------------------------- /algorithms/keccak/wasm_risc_zero/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/wasm_risc_zero/Cargo.toml -------------------------------------------------------------------------------- /algorithms/keccak/wasm_risc_zero/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/wasm_risc_zero/LICENSE -------------------------------------------------------------------------------- /algorithms/keccak/wasm_risc_zero/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/wasm_risc_zero/README.md -------------------------------------------------------------------------------- /algorithms/keccak/wasm_risc_zero/host/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/wasm_risc_zero/host/Cargo.toml -------------------------------------------------------------------------------- /algorithms/keccak/wasm_risc_zero/host/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/wasm_risc_zero/host/src/main.rs -------------------------------------------------------------------------------- /algorithms/keccak/wasm_risc_zero/methods/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/wasm_risc_zero/methods/Cargo.toml -------------------------------------------------------------------------------- /algorithms/keccak/wasm_risc_zero/methods/build.rs: -------------------------------------------------------------------------------- 1 | fn main() { 2 | risc0_build::embed_methods(); 3 | } 4 | -------------------------------------------------------------------------------- /algorithms/keccak/wasm_risc_zero/methods/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/wasm_risc_zero/methods/guest/Cargo.toml -------------------------------------------------------------------------------- /algorithms/keccak/wasm_risc_zero/methods/guest/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/wasm_risc_zero/methods/guest/src/main.rs -------------------------------------------------------------------------------- /algorithms/keccak/wasm_risc_zero/methods/src/lib.rs: -------------------------------------------------------------------------------- 1 | include!(concat!(env!("OUT_DIR"), "/methods.rs")); 2 | -------------------------------------------------------------------------------- /algorithms/keccak/wasm_risc_zero/proof.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/wasm_risc_zero/proof.bin -------------------------------------------------------------------------------- /algorithms/keccak/wasm_risc_zero/rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/wasm_risc_zero/rust-toolchain.toml -------------------------------------------------------------------------------- /algorithms/keccak/wasm_sp1/program/.gitignore: -------------------------------------------------------------------------------- 1 | # Generated by Cargo 2 | **/target/ 3 | -------------------------------------------------------------------------------- /algorithms/keccak/wasm_sp1/program/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/wasm_sp1/program/Cargo.lock -------------------------------------------------------------------------------- /algorithms/keccak/wasm_sp1/program/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/wasm_sp1/program/Cargo.toml -------------------------------------------------------------------------------- /algorithms/keccak/wasm_sp1/program/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/wasm_sp1/program/src/main.rs -------------------------------------------------------------------------------- /algorithms/keccak/wasm_sp1/script/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/wasm_sp1/script/.gitignore -------------------------------------------------------------------------------- /algorithms/keccak/wasm_sp1/script/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/wasm_sp1/script/Cargo.toml -------------------------------------------------------------------------------- /algorithms/keccak/wasm_sp1/script/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/wasm_sp1/script/build.rs -------------------------------------------------------------------------------- /algorithms/keccak/wasm_sp1/script/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/keccak/wasm_sp1/script/src/main.rs -------------------------------------------------------------------------------- /algorithms/merkle/delphinus/.gitignore: -------------------------------------------------------------------------------- 1 | target/**/** 2 | -------------------------------------------------------------------------------- /algorithms/merkle/delphinus/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/delphinus/Cargo.lock -------------------------------------------------------------------------------- /algorithms/merkle/delphinus/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/delphinus/Makefile -------------------------------------------------------------------------------- /algorithms/merkle/delphinus/cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/delphinus/cargo.toml -------------------------------------------------------------------------------- /algorithms/merkle/delphinus/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/delphinus/src/lib.rs -------------------------------------------------------------------------------- /algorithms/merkle/delphinus/test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/delphinus/test.sh -------------------------------------------------------------------------------- /algorithms/merkle/native/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/native/.gitignore -------------------------------------------------------------------------------- /algorithms/merkle/native/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/native/Cargo.toml -------------------------------------------------------------------------------- /algorithms/merkle/native/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/native/src/main.rs -------------------------------------------------------------------------------- /algorithms/merkle/native_jolt/.gitignore: -------------------------------------------------------------------------------- 1 | target -------------------------------------------------------------------------------- /algorithms/merkle/native_jolt/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/native_jolt/Cargo.lock -------------------------------------------------------------------------------- /algorithms/merkle/native_jolt/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/native_jolt/Cargo.toml -------------------------------------------------------------------------------- /algorithms/merkle/native_jolt/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/native_jolt/guest/Cargo.toml -------------------------------------------------------------------------------- /algorithms/merkle/native_jolt/guest/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/native_jolt/guest/src/lib.rs -------------------------------------------------------------------------------- /algorithms/merkle/native_jolt/rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/native_jolt/rust-toolchain.toml -------------------------------------------------------------------------------- /algorithms/merkle/native_jolt/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/native_jolt/src/main.rs -------------------------------------------------------------------------------- /algorithms/merkle/native_nexus/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/native_nexus/Cargo.lock -------------------------------------------------------------------------------- /algorithms/merkle/native_nexus/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/native_nexus/Cargo.toml -------------------------------------------------------------------------------- /algorithms/merkle/native_nexus/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/native_nexus/README.md -------------------------------------------------------------------------------- /algorithms/merkle/native_nexus/src/guest/.cargo/config.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/native_nexus/src/guest/.cargo/config.toml -------------------------------------------------------------------------------- /algorithms/merkle/native_nexus/src/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/native_nexus/src/guest/Cargo.toml -------------------------------------------------------------------------------- /algorithms/merkle/native_nexus/src/guest/rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/native_nexus/src/guest/rust-toolchain.toml -------------------------------------------------------------------------------- /algorithms/merkle/native_nexus/src/guest/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/native_nexus/src/guest/src/main.rs -------------------------------------------------------------------------------- /algorithms/merkle/native_nexus/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/native_nexus/src/main.rs -------------------------------------------------------------------------------- /algorithms/merkle/native_powdr/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/native_powdr/.gitignore -------------------------------------------------------------------------------- /algorithms/merkle/native_powdr/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/native_powdr/Cargo.lock -------------------------------------------------------------------------------- /algorithms/merkle/native_powdr/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/native_powdr/Cargo.toml -------------------------------------------------------------------------------- /algorithms/merkle/native_powdr/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/native_powdr/README.md -------------------------------------------------------------------------------- /algorithms/merkle/native_powdr/guest/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/native_powdr/guest/Cargo.lock -------------------------------------------------------------------------------- /algorithms/merkle/native_powdr/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/native_powdr/guest/Cargo.toml -------------------------------------------------------------------------------- /algorithms/merkle/native_powdr/guest/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/native_powdr/guest/src/main.rs -------------------------------------------------------------------------------- /algorithms/merkle/native_powdr/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/native_powdr/src/main.rs -------------------------------------------------------------------------------- /algorithms/merkle/native_risc_zero/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/native_risc_zero/.gitignore -------------------------------------------------------------------------------- /algorithms/merkle/native_risc_zero/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/native_risc_zero/Cargo.toml -------------------------------------------------------------------------------- /algorithms/merkle/native_risc_zero/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/native_risc_zero/LICENSE -------------------------------------------------------------------------------- /algorithms/merkle/native_risc_zero/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/native_risc_zero/README.md -------------------------------------------------------------------------------- /algorithms/merkle/native_risc_zero/host/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/native_risc_zero/host/Cargo.toml -------------------------------------------------------------------------------- /algorithms/merkle/native_risc_zero/host/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/native_risc_zero/host/src/main.rs -------------------------------------------------------------------------------- /algorithms/merkle/native_risc_zero/methods/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/native_risc_zero/methods/Cargo.toml -------------------------------------------------------------------------------- /algorithms/merkle/native_risc_zero/methods/build.rs: -------------------------------------------------------------------------------- 1 | fn main() { 2 | risc0_build::embed_methods(); 3 | } 4 | -------------------------------------------------------------------------------- /algorithms/merkle/native_risc_zero/methods/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/native_risc_zero/methods/guest/Cargo.toml -------------------------------------------------------------------------------- /algorithms/merkle/native_risc_zero/methods/guest/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/native_risc_zero/methods/guest/src/main.rs -------------------------------------------------------------------------------- /algorithms/merkle/native_risc_zero/methods/src/lib.rs: -------------------------------------------------------------------------------- 1 | include!(concat!(env!("OUT_DIR"), "/methods.rs")); 2 | -------------------------------------------------------------------------------- /algorithms/merkle/native_risc_zero/proof.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/native_risc_zero/proof.bin -------------------------------------------------------------------------------- /algorithms/merkle/native_risc_zero/prove.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/native_risc_zero/prove.log -------------------------------------------------------------------------------- /algorithms/merkle/native_risc_zero/rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/native_risc_zero/rust-toolchain.toml -------------------------------------------------------------------------------- /algorithms/merkle/native_sp1/.gitignore: -------------------------------------------------------------------------------- 1 | **/target 2 | 3 | -------------------------------------------------------------------------------- /algorithms/merkle/native_sp1/program/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/native_sp1/program/Cargo.lock -------------------------------------------------------------------------------- /algorithms/merkle/native_sp1/program/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/native_sp1/program/Cargo.toml -------------------------------------------------------------------------------- /algorithms/merkle/native_sp1/program/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/native_sp1/program/src/main.rs -------------------------------------------------------------------------------- /algorithms/merkle/native_sp1/script/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/native_sp1/script/Cargo.lock -------------------------------------------------------------------------------- /algorithms/merkle/native_sp1/script/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/native_sp1/script/Cargo.toml -------------------------------------------------------------------------------- /algorithms/merkle/native_sp1/script/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/native_sp1/script/build.rs -------------------------------------------------------------------------------- /algorithms/merkle/native_sp1/script/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/native_sp1/script/src/main.rs -------------------------------------------------------------------------------- /algorithms/merkle/wasm/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/wasm/.gitignore -------------------------------------------------------------------------------- /algorithms/merkle/wasm/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/wasm/Cargo.toml -------------------------------------------------------------------------------- /algorithms/merkle/wasm/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/wasm/src/lib.rs -------------------------------------------------------------------------------- /algorithms/merkle/wasm_jolt/.gitignore: -------------------------------------------------------------------------------- 1 | target -------------------------------------------------------------------------------- /algorithms/merkle/wasm_jolt/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/wasm_jolt/Cargo.lock -------------------------------------------------------------------------------- /algorithms/merkle/wasm_jolt/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/wasm_jolt/Cargo.toml -------------------------------------------------------------------------------- /algorithms/merkle/wasm_jolt/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/wasm_jolt/guest/Cargo.toml -------------------------------------------------------------------------------- /algorithms/merkle/wasm_jolt/guest/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/wasm_jolt/guest/src/lib.rs -------------------------------------------------------------------------------- /algorithms/merkle/wasm_jolt/rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/wasm_jolt/rust-toolchain.toml -------------------------------------------------------------------------------- /algorithms/merkle/wasm_jolt/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/wasm_jolt/src/main.rs -------------------------------------------------------------------------------- /algorithms/merkle/wasm_risc_zero/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/wasm_risc_zero/.gitignore -------------------------------------------------------------------------------- /algorithms/merkle/wasm_risc_zero/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/wasm_risc_zero/Cargo.toml -------------------------------------------------------------------------------- /algorithms/merkle/wasm_risc_zero/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/wasm_risc_zero/LICENSE -------------------------------------------------------------------------------- /algorithms/merkle/wasm_risc_zero/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/wasm_risc_zero/README.md -------------------------------------------------------------------------------- /algorithms/merkle/wasm_risc_zero/host/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/wasm_risc_zero/host/Cargo.toml -------------------------------------------------------------------------------- /algorithms/merkle/wasm_risc_zero/host/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/wasm_risc_zero/host/src/main.rs -------------------------------------------------------------------------------- /algorithms/merkle/wasm_risc_zero/methods/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/wasm_risc_zero/methods/Cargo.toml -------------------------------------------------------------------------------- /algorithms/merkle/wasm_risc_zero/methods/build.rs: -------------------------------------------------------------------------------- 1 | fn main() { 2 | risc0_build::embed_methods(); 3 | } 4 | -------------------------------------------------------------------------------- /algorithms/merkle/wasm_risc_zero/methods/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/wasm_risc_zero/methods/guest/Cargo.toml -------------------------------------------------------------------------------- /algorithms/merkle/wasm_risc_zero/methods/guest/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/wasm_risc_zero/methods/guest/src/main.rs -------------------------------------------------------------------------------- /algorithms/merkle/wasm_risc_zero/methods/src/lib.rs: -------------------------------------------------------------------------------- 1 | include!(concat!(env!("OUT_DIR"), "/methods.rs")); 2 | -------------------------------------------------------------------------------- /algorithms/merkle/wasm_risc_zero/proof.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/wasm_risc_zero/proof.bin -------------------------------------------------------------------------------- /algorithms/merkle/wasm_risc_zero/prove.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/wasm_risc_zero/prove.log -------------------------------------------------------------------------------- /algorithms/merkle/wasm_risc_zero/rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/wasm_risc_zero/rust-toolchain.toml -------------------------------------------------------------------------------- /algorithms/merkle/wasm_sp1/program/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/wasm_sp1/program/.gitignore -------------------------------------------------------------------------------- /algorithms/merkle/wasm_sp1/program/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/wasm_sp1/program/Cargo.toml -------------------------------------------------------------------------------- /algorithms/merkle/wasm_sp1/program/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/wasm_sp1/program/src/main.rs -------------------------------------------------------------------------------- /algorithms/merkle/wasm_sp1/script/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/wasm_sp1/script/.gitignore -------------------------------------------------------------------------------- /algorithms/merkle/wasm_sp1/script/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/wasm_sp1/script/Cargo.toml -------------------------------------------------------------------------------- /algorithms/merkle/wasm_sp1/script/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/wasm_sp1/script/build.rs -------------------------------------------------------------------------------- /algorithms/merkle/wasm_sp1/script/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle/wasm_sp1/script/src/main.rs -------------------------------------------------------------------------------- /algorithms/merkle_proof/delphinus/.gitignore: -------------------------------------------------------------------------------- 1 | target/**/** 2 | -------------------------------------------------------------------------------- /algorithms/merkle_proof/delphinus/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/delphinus/Cargo.toml -------------------------------------------------------------------------------- /algorithms/merkle_proof/delphinus/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/delphinus/Makefile -------------------------------------------------------------------------------- /algorithms/merkle_proof/delphinus/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/delphinus/src/lib.rs -------------------------------------------------------------------------------- /algorithms/merkle_proof/delphinus/test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/delphinus/test.sh -------------------------------------------------------------------------------- /algorithms/merkle_proof/native/.gitignore: -------------------------------------------------------------------------------- 1 | # Rust build artifacts 2 | **/target/ 3 | 4 | 5 | -------------------------------------------------------------------------------- /algorithms/merkle_proof/native/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/native/Cargo.lock -------------------------------------------------------------------------------- /algorithms/merkle_proof/native/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/native/Cargo.toml -------------------------------------------------------------------------------- /algorithms/merkle_proof/native/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/native/src/main.rs -------------------------------------------------------------------------------- /algorithms/merkle_proof/native_jolt/.gitignore: -------------------------------------------------------------------------------- 1 | target -------------------------------------------------------------------------------- /algorithms/merkle_proof/native_jolt/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/native_jolt/Cargo.lock -------------------------------------------------------------------------------- /algorithms/merkle_proof/native_jolt/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/native_jolt/Cargo.toml -------------------------------------------------------------------------------- /algorithms/merkle_proof/native_jolt/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/native_jolt/guest/Cargo.toml -------------------------------------------------------------------------------- /algorithms/merkle_proof/native_jolt/guest/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/native_jolt/guest/src/lib.rs -------------------------------------------------------------------------------- /algorithms/merkle_proof/native_jolt/rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/native_jolt/rust-toolchain.toml -------------------------------------------------------------------------------- /algorithms/merkle_proof/native_jolt/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/native_jolt/src/main.rs -------------------------------------------------------------------------------- /algorithms/merkle_proof/native_nexus/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/native_nexus/Cargo.lock -------------------------------------------------------------------------------- /algorithms/merkle_proof/native_nexus/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/native_nexus/Cargo.toml -------------------------------------------------------------------------------- /algorithms/merkle_proof/native_nexus/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/native_nexus/README.md -------------------------------------------------------------------------------- /algorithms/merkle_proof/native_nexus/src/guest/.cargo/config.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/native_nexus/src/guest/.cargo/config.toml -------------------------------------------------------------------------------- /algorithms/merkle_proof/native_nexus/src/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/native_nexus/src/guest/Cargo.toml -------------------------------------------------------------------------------- /algorithms/merkle_proof/native_nexus/src/guest/rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/native_nexus/src/guest/rust-toolchain.toml -------------------------------------------------------------------------------- /algorithms/merkle_proof/native_nexus/src/guest/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/native_nexus/src/guest/src/main.rs -------------------------------------------------------------------------------- /algorithms/merkle_proof/native_nexus/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/native_nexus/src/main.rs -------------------------------------------------------------------------------- /algorithms/merkle_proof/native_powdr/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/native_powdr/.gitignore -------------------------------------------------------------------------------- /algorithms/merkle_proof/native_powdr/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/native_powdr/Cargo.lock -------------------------------------------------------------------------------- /algorithms/merkle_proof/native_powdr/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/native_powdr/Cargo.toml -------------------------------------------------------------------------------- /algorithms/merkle_proof/native_powdr/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/native_powdr/README.md -------------------------------------------------------------------------------- /algorithms/merkle_proof/native_powdr/guest/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/native_powdr/guest/Cargo.lock -------------------------------------------------------------------------------- /algorithms/merkle_proof/native_powdr/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/native_powdr/guest/Cargo.toml -------------------------------------------------------------------------------- /algorithms/merkle_proof/native_powdr/guest/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/native_powdr/guest/src/main.rs -------------------------------------------------------------------------------- /algorithms/merkle_proof/native_powdr/rust-toolchain.toml: -------------------------------------------------------------------------------- 1 | [toolchain] 2 | channel = "nightly-2024-09-21" 3 | -------------------------------------------------------------------------------- /algorithms/merkle_proof/native_powdr/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/native_powdr/src/main.rs -------------------------------------------------------------------------------- /algorithms/merkle_proof/native_risc_zero/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/native_risc_zero/.gitignore -------------------------------------------------------------------------------- /algorithms/merkle_proof/native_risc_zero/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/native_risc_zero/Cargo.toml -------------------------------------------------------------------------------- /algorithms/merkle_proof/native_risc_zero/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/native_risc_zero/LICENSE -------------------------------------------------------------------------------- /algorithms/merkle_proof/native_risc_zero/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/native_risc_zero/README.md -------------------------------------------------------------------------------- /algorithms/merkle_proof/native_risc_zero/host/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/native_risc_zero/host/Cargo.toml -------------------------------------------------------------------------------- /algorithms/merkle_proof/native_risc_zero/host/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/native_risc_zero/host/src/main.rs -------------------------------------------------------------------------------- /algorithms/merkle_proof/native_risc_zero/methods/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/native_risc_zero/methods/Cargo.toml -------------------------------------------------------------------------------- /algorithms/merkle_proof/native_risc_zero/methods/build.rs: -------------------------------------------------------------------------------- 1 | fn main() { 2 | risc0_build::embed_methods(); 3 | } 4 | -------------------------------------------------------------------------------- /algorithms/merkle_proof/native_risc_zero/methods/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/native_risc_zero/methods/guest/Cargo.toml -------------------------------------------------------------------------------- /algorithms/merkle_proof/native_risc_zero/methods/guest/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/native_risc_zero/methods/guest/src/main.rs -------------------------------------------------------------------------------- /algorithms/merkle_proof/native_risc_zero/methods/src/lib.rs: -------------------------------------------------------------------------------- 1 | include!(concat!(env!("OUT_DIR"), "/methods.rs")); 2 | -------------------------------------------------------------------------------- /algorithms/merkle_proof/native_risc_zero/proof.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/native_risc_zero/proof.bin -------------------------------------------------------------------------------- /algorithms/merkle_proof/native_risc_zero/rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/native_risc_zero/rust-toolchain.toml -------------------------------------------------------------------------------- /algorithms/merkle_proof/native_sp1/.gitignore: -------------------------------------------------------------------------------- 1 | # Rust build artifacts 2 | **/target/ 3 | 4 | 5 | -------------------------------------------------------------------------------- /algorithms/merkle_proof/native_sp1/program/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/native_sp1/program/Cargo.lock -------------------------------------------------------------------------------- /algorithms/merkle_proof/native_sp1/program/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/native_sp1/program/Cargo.toml -------------------------------------------------------------------------------- /algorithms/merkle_proof/native_sp1/program/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/native_sp1/program/src/main.rs -------------------------------------------------------------------------------- /algorithms/merkle_proof/native_sp1/script/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/native_sp1/script/Cargo.lock -------------------------------------------------------------------------------- /algorithms/merkle_proof/native_sp1/script/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/native_sp1/script/Cargo.toml -------------------------------------------------------------------------------- /algorithms/merkle_proof/native_sp1/script/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/native_sp1/script/build.rs -------------------------------------------------------------------------------- /algorithms/merkle_proof/native_sp1/script/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/native_sp1/script/src/main.rs -------------------------------------------------------------------------------- /algorithms/merkle_proof/wasm/.gitignore: -------------------------------------------------------------------------------- 1 | # Generated by Cargo 2 | **/target/ 3 | -------------------------------------------------------------------------------- /algorithms/merkle_proof/wasm/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/wasm/Cargo.lock -------------------------------------------------------------------------------- /algorithms/merkle_proof/wasm/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/wasm/Cargo.toml -------------------------------------------------------------------------------- /algorithms/merkle_proof/wasm/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/wasm/src/lib.rs -------------------------------------------------------------------------------- /algorithms/merkle_proof/wasm_jolt/.gitignore: -------------------------------------------------------------------------------- 1 | target -------------------------------------------------------------------------------- /algorithms/merkle_proof/wasm_jolt/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/wasm_jolt/Cargo.lock -------------------------------------------------------------------------------- /algorithms/merkle_proof/wasm_jolt/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/wasm_jolt/Cargo.toml -------------------------------------------------------------------------------- /algorithms/merkle_proof/wasm_jolt/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/wasm_jolt/guest/Cargo.toml -------------------------------------------------------------------------------- /algorithms/merkle_proof/wasm_jolt/guest/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/wasm_jolt/guest/src/lib.rs -------------------------------------------------------------------------------- /algorithms/merkle_proof/wasm_jolt/rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/wasm_jolt/rust-toolchain.toml -------------------------------------------------------------------------------- /algorithms/merkle_proof/wasm_jolt/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/wasm_jolt/src/main.rs -------------------------------------------------------------------------------- /algorithms/merkle_proof/wasm_risc_zero/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/wasm_risc_zero/.gitignore -------------------------------------------------------------------------------- /algorithms/merkle_proof/wasm_risc_zero/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/wasm_risc_zero/Cargo.toml -------------------------------------------------------------------------------- /algorithms/merkle_proof/wasm_risc_zero/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/wasm_risc_zero/LICENSE -------------------------------------------------------------------------------- /algorithms/merkle_proof/wasm_risc_zero/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/wasm_risc_zero/README.md -------------------------------------------------------------------------------- /algorithms/merkle_proof/wasm_risc_zero/host/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/wasm_risc_zero/host/Cargo.toml -------------------------------------------------------------------------------- /algorithms/merkle_proof/wasm_risc_zero/host/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/wasm_risc_zero/host/src/main.rs -------------------------------------------------------------------------------- /algorithms/merkle_proof/wasm_risc_zero/methods/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/wasm_risc_zero/methods/Cargo.toml -------------------------------------------------------------------------------- /algorithms/merkle_proof/wasm_risc_zero/methods/build.rs: -------------------------------------------------------------------------------- 1 | fn main() { 2 | risc0_build::embed_methods(); 3 | } 4 | -------------------------------------------------------------------------------- /algorithms/merkle_proof/wasm_risc_zero/methods/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/wasm_risc_zero/methods/guest/Cargo.toml -------------------------------------------------------------------------------- /algorithms/merkle_proof/wasm_risc_zero/methods/guest/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/wasm_risc_zero/methods/guest/src/main.rs -------------------------------------------------------------------------------- /algorithms/merkle_proof/wasm_risc_zero/methods/src/lib.rs: -------------------------------------------------------------------------------- 1 | include!(concat!(env!("OUT_DIR"), "/methods.rs")); 2 | -------------------------------------------------------------------------------- /algorithms/merkle_proof/wasm_risc_zero/proof.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/wasm_risc_zero/proof.bin -------------------------------------------------------------------------------- /algorithms/merkle_proof/wasm_risc_zero/rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/wasm_risc_zero/rust-toolchain.toml -------------------------------------------------------------------------------- /algorithms/merkle_proof/wasm_sp1/program/.gitignore: -------------------------------------------------------------------------------- 1 | # Generated by Cargo 2 | **/target/ 3 | -------------------------------------------------------------------------------- /algorithms/merkle_proof/wasm_sp1/program/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/wasm_sp1/program/Cargo.lock -------------------------------------------------------------------------------- /algorithms/merkle_proof/wasm_sp1/program/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/wasm_sp1/program/Cargo.toml -------------------------------------------------------------------------------- /algorithms/merkle_proof/wasm_sp1/program/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/wasm_sp1/program/src/main.rs -------------------------------------------------------------------------------- /algorithms/merkle_proof/wasm_sp1/script/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/wasm_sp1/script/.gitignore -------------------------------------------------------------------------------- /algorithms/merkle_proof/wasm_sp1/script/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/wasm_sp1/script/Cargo.toml -------------------------------------------------------------------------------- /algorithms/merkle_proof/wasm_sp1/script/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/wasm_sp1/script/build.rs -------------------------------------------------------------------------------- /algorithms/merkle_proof/wasm_sp1/script/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/merkle_proof/wasm_sp1/script/src/main.rs -------------------------------------------------------------------------------- /algorithms/nth_prime/delphinus/.gitignore: -------------------------------------------------------------------------------- 1 | target/**/** 2 | -------------------------------------------------------------------------------- /algorithms/nth_prime/delphinus/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/delphinus/Cargo.lock -------------------------------------------------------------------------------- /algorithms/nth_prime/delphinus/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/delphinus/Makefile -------------------------------------------------------------------------------- /algorithms/nth_prime/delphinus/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/delphinus/README.md -------------------------------------------------------------------------------- /algorithms/nth_prime/delphinus/cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/delphinus/cargo.toml -------------------------------------------------------------------------------- /algorithms/nth_prime/delphinus/output/traces/external_host_table.0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/delphinus/output/traces/external_host_table.0.json -------------------------------------------------------------------------------- /algorithms/nth_prime/delphinus/output/traces/itable.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/delphinus/output/traces/itable.json -------------------------------------------------------------------------------- /algorithms/nth_prime/delphinus/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/delphinus/src/lib.rs -------------------------------------------------------------------------------- /algorithms/nth_prime/delphinus/test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/delphinus/test.sh -------------------------------------------------------------------------------- /algorithms/nth_prime/native/.gitignore: -------------------------------------------------------------------------------- 1 | # Rust build artifacts 2 | **/target/ 3 | 4 | 5 | -------------------------------------------------------------------------------- /algorithms/nth_prime/native/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/native/Cargo.lock -------------------------------------------------------------------------------- /algorithms/nth_prime/native/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/native/Cargo.toml -------------------------------------------------------------------------------- /algorithms/nth_prime/native/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/native/src/main.rs -------------------------------------------------------------------------------- /algorithms/nth_prime/native_jolt/.gitignore: -------------------------------------------------------------------------------- 1 | target -------------------------------------------------------------------------------- /algorithms/nth_prime/native_jolt/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/native_jolt/Cargo.lock -------------------------------------------------------------------------------- /algorithms/nth_prime/native_jolt/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/native_jolt/Cargo.toml -------------------------------------------------------------------------------- /algorithms/nth_prime/native_jolt/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/native_jolt/guest/Cargo.toml -------------------------------------------------------------------------------- /algorithms/nth_prime/native_jolt/guest/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/native_jolt/guest/src/lib.rs -------------------------------------------------------------------------------- /algorithms/nth_prime/native_jolt/rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/native_jolt/rust-toolchain.toml -------------------------------------------------------------------------------- /algorithms/nth_prime/native_jolt/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/native_jolt/src/main.rs -------------------------------------------------------------------------------- /algorithms/nth_prime/native_nexus/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/native_nexus/Cargo.lock -------------------------------------------------------------------------------- /algorithms/nth_prime/native_nexus/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/native_nexus/Cargo.toml -------------------------------------------------------------------------------- /algorithms/nth_prime/native_nexus/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/native_nexus/README.md -------------------------------------------------------------------------------- /algorithms/nth_prime/native_nexus/src/guest/.cargo/config.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/native_nexus/src/guest/.cargo/config.toml -------------------------------------------------------------------------------- /algorithms/nth_prime/native_nexus/src/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/native_nexus/src/guest/Cargo.toml -------------------------------------------------------------------------------- /algorithms/nth_prime/native_nexus/src/guest/nexus-proof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/native_nexus/src/guest/nexus-proof -------------------------------------------------------------------------------- /algorithms/nth_prime/native_nexus/src/guest/rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/native_nexus/src/guest/rust-toolchain.toml -------------------------------------------------------------------------------- /algorithms/nth_prime/native_nexus/src/guest/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/native_nexus/src/guest/src/main.rs -------------------------------------------------------------------------------- /algorithms/nth_prime/native_nexus/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/native_nexus/src/main.rs -------------------------------------------------------------------------------- /algorithms/nth_prime/native_powdr/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/native_powdr/.gitignore -------------------------------------------------------------------------------- /algorithms/nth_prime/native_powdr/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/native_powdr/Cargo.lock -------------------------------------------------------------------------------- /algorithms/nth_prime/native_powdr/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/native_powdr/Cargo.toml -------------------------------------------------------------------------------- /algorithms/nth_prime/native_powdr/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/native_powdr/README.md -------------------------------------------------------------------------------- /algorithms/nth_prime/native_powdr/guest/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/native_powdr/guest/Cargo.lock -------------------------------------------------------------------------------- /algorithms/nth_prime/native_powdr/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/native_powdr/guest/Cargo.toml -------------------------------------------------------------------------------- /algorithms/nth_prime/native_powdr/guest/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/native_powdr/guest/src/main.rs -------------------------------------------------------------------------------- /algorithms/nth_prime/native_powdr/rust-toolchain.toml: -------------------------------------------------------------------------------- 1 | [toolchain] 2 | channel = "nightly-2024-09-21" 3 | -------------------------------------------------------------------------------- /algorithms/nth_prime/native_powdr/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/native_powdr/src/main.rs -------------------------------------------------------------------------------- /algorithms/nth_prime/native_risc_zero/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/native_risc_zero/.gitignore -------------------------------------------------------------------------------- /algorithms/nth_prime/native_risc_zero/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/native_risc_zero/Cargo.toml -------------------------------------------------------------------------------- /algorithms/nth_prime/native_risc_zero/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/native_risc_zero/LICENSE -------------------------------------------------------------------------------- /algorithms/nth_prime/native_risc_zero/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/native_risc_zero/README.md -------------------------------------------------------------------------------- /algorithms/nth_prime/native_risc_zero/host/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/native_risc_zero/host/Cargo.toml -------------------------------------------------------------------------------- /algorithms/nth_prime/native_risc_zero/host/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/native_risc_zero/host/src/main.rs -------------------------------------------------------------------------------- /algorithms/nth_prime/native_risc_zero/methods/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/native_risc_zero/methods/Cargo.toml -------------------------------------------------------------------------------- /algorithms/nth_prime/native_risc_zero/methods/build.rs: -------------------------------------------------------------------------------- 1 | fn main() { 2 | risc0_build::embed_methods(); 3 | } 4 | -------------------------------------------------------------------------------- /algorithms/nth_prime/native_risc_zero/methods/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/native_risc_zero/methods/guest/Cargo.toml -------------------------------------------------------------------------------- /algorithms/nth_prime/native_risc_zero/methods/guest/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/native_risc_zero/methods/guest/src/main.rs -------------------------------------------------------------------------------- /algorithms/nth_prime/native_risc_zero/methods/src/lib.rs: -------------------------------------------------------------------------------- 1 | include!(concat!(env!("OUT_DIR"), "/methods.rs")); 2 | -------------------------------------------------------------------------------- /algorithms/nth_prime/native_risc_zero/proof.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/native_risc_zero/proof.bin -------------------------------------------------------------------------------- /algorithms/nth_prime/native_risc_zero/prove.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/native_risc_zero/prove.log -------------------------------------------------------------------------------- /algorithms/nth_prime/native_risc_zero/rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/native_risc_zero/rust-toolchain.toml -------------------------------------------------------------------------------- /algorithms/nth_prime/native_sp1/.gitignore: -------------------------------------------------------------------------------- 1 | # Rust build artifacts 2 | **/target/ 3 | 4 | 5 | -------------------------------------------------------------------------------- /algorithms/nth_prime/native_sp1/program/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/native_sp1/program/Cargo.lock -------------------------------------------------------------------------------- /algorithms/nth_prime/native_sp1/program/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/native_sp1/program/Cargo.toml -------------------------------------------------------------------------------- /algorithms/nth_prime/native_sp1/program/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/native_sp1/program/src/main.rs -------------------------------------------------------------------------------- /algorithms/nth_prime/native_sp1/script/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/native_sp1/script/Cargo.lock -------------------------------------------------------------------------------- /algorithms/nth_prime/native_sp1/script/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/native_sp1/script/Cargo.toml -------------------------------------------------------------------------------- /algorithms/nth_prime/native_sp1/script/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/native_sp1/script/build.rs -------------------------------------------------------------------------------- /algorithms/nth_prime/native_sp1/script/proof-with-pis.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/native_sp1/script/proof-with-pis.bin -------------------------------------------------------------------------------- /algorithms/nth_prime/native_sp1/script/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/native_sp1/script/src/main.rs -------------------------------------------------------------------------------- /algorithms/nth_prime/valida/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/valida/README.md -------------------------------------------------------------------------------- /algorithms/nth_prime/valida/nth_prime.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/valida/nth_prime.c -------------------------------------------------------------------------------- /algorithms/nth_prime/valida/nth_prime.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/valida/nth_prime.o -------------------------------------------------------------------------------- /algorithms/nth_prime/wasm/.gitignore: -------------------------------------------------------------------------------- 1 | # Generated by Cargo 2 | **/target/ 3 | -------------------------------------------------------------------------------- /algorithms/nth_prime/wasm/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/wasm/Cargo.lock -------------------------------------------------------------------------------- /algorithms/nth_prime/wasm/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/wasm/Cargo.toml -------------------------------------------------------------------------------- /algorithms/nth_prime/wasm/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/wasm/src/lib.rs -------------------------------------------------------------------------------- /algorithms/nth_prime/wasm_jolt/.gitignore: -------------------------------------------------------------------------------- 1 | target -------------------------------------------------------------------------------- /algorithms/nth_prime/wasm_jolt/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/wasm_jolt/Cargo.lock -------------------------------------------------------------------------------- /algorithms/nth_prime/wasm_jolt/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/wasm_jolt/Cargo.toml -------------------------------------------------------------------------------- /algorithms/nth_prime/wasm_jolt/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/wasm_jolt/guest/Cargo.toml -------------------------------------------------------------------------------- /algorithms/nth_prime/wasm_jolt/guest/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/wasm_jolt/guest/src/lib.rs -------------------------------------------------------------------------------- /algorithms/nth_prime/wasm_jolt/rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/wasm_jolt/rust-toolchain.toml -------------------------------------------------------------------------------- /algorithms/nth_prime/wasm_jolt/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/wasm_jolt/src/main.rs -------------------------------------------------------------------------------- /algorithms/nth_prime/wasm_nexus/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/wasm_nexus/Cargo.lock -------------------------------------------------------------------------------- /algorithms/nth_prime/wasm_nexus/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/wasm_nexus/Cargo.toml -------------------------------------------------------------------------------- /algorithms/nth_prime/wasm_nexus/src/guest/.cargo/config.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/wasm_nexus/src/guest/.cargo/config.toml -------------------------------------------------------------------------------- /algorithms/nth_prime/wasm_nexus/src/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/wasm_nexus/src/guest/Cargo.toml -------------------------------------------------------------------------------- /algorithms/nth_prime/wasm_nexus/src/guest/rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/wasm_nexus/src/guest/rust-toolchain.toml -------------------------------------------------------------------------------- /algorithms/nth_prime/wasm_nexus/src/guest/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/wasm_nexus/src/guest/src/main.rs -------------------------------------------------------------------------------- /algorithms/nth_prime/wasm_nexus/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/wasm_nexus/src/main.rs -------------------------------------------------------------------------------- /algorithms/nth_prime/wasm_risc_zero/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/wasm_risc_zero/.gitignore -------------------------------------------------------------------------------- /algorithms/nth_prime/wasm_risc_zero/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/wasm_risc_zero/Cargo.toml -------------------------------------------------------------------------------- /algorithms/nth_prime/wasm_risc_zero/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/wasm_risc_zero/LICENSE -------------------------------------------------------------------------------- /algorithms/nth_prime/wasm_risc_zero/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/wasm_risc_zero/README.md -------------------------------------------------------------------------------- /algorithms/nth_prime/wasm_risc_zero/host/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/wasm_risc_zero/host/Cargo.toml -------------------------------------------------------------------------------- /algorithms/nth_prime/wasm_risc_zero/host/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/wasm_risc_zero/host/src/main.rs -------------------------------------------------------------------------------- /algorithms/nth_prime/wasm_risc_zero/methods/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/wasm_risc_zero/methods/Cargo.toml -------------------------------------------------------------------------------- /algorithms/nth_prime/wasm_risc_zero/methods/build.rs: -------------------------------------------------------------------------------- 1 | fn main() { 2 | risc0_build::embed_methods(); 3 | } 4 | -------------------------------------------------------------------------------- /algorithms/nth_prime/wasm_risc_zero/methods/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/wasm_risc_zero/methods/guest/Cargo.toml -------------------------------------------------------------------------------- /algorithms/nth_prime/wasm_risc_zero/methods/guest/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/wasm_risc_zero/methods/guest/src/main.rs -------------------------------------------------------------------------------- /algorithms/nth_prime/wasm_risc_zero/methods/src/lib.rs: -------------------------------------------------------------------------------- 1 | include!(concat!(env!("OUT_DIR"), "/methods.rs")); 2 | -------------------------------------------------------------------------------- /algorithms/nth_prime/wasm_risc_zero/proof.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/wasm_risc_zero/proof.bin -------------------------------------------------------------------------------- /algorithms/nth_prime/wasm_risc_zero/prove.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/wasm_risc_zero/prove.log -------------------------------------------------------------------------------- /algorithms/nth_prime/wasm_risc_zero/rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/wasm_risc_zero/rust-toolchain.toml -------------------------------------------------------------------------------- /algorithms/nth_prime/wasm_sp1/program/.gitignore: -------------------------------------------------------------------------------- 1 | # Generated by Cargo 2 | **/target/ 3 | -------------------------------------------------------------------------------- /algorithms/nth_prime/wasm_sp1/program/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/wasm_sp1/program/Cargo.lock -------------------------------------------------------------------------------- /algorithms/nth_prime/wasm_sp1/program/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/wasm_sp1/program/Cargo.toml -------------------------------------------------------------------------------- /algorithms/nth_prime/wasm_sp1/program/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/wasm_sp1/program/src/main.rs -------------------------------------------------------------------------------- /algorithms/nth_prime/wasm_sp1/script/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/wasm_sp1/script/.gitignore -------------------------------------------------------------------------------- /algorithms/nth_prime/wasm_sp1/script/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/wasm_sp1/script/Cargo.toml -------------------------------------------------------------------------------- /algorithms/nth_prime/wasm_sp1/script/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/wasm_sp1/script/build.rs -------------------------------------------------------------------------------- /algorithms/nth_prime/wasm_sp1/script/proof-with-pis.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/wasm_sp1/script/proof-with-pis.bin -------------------------------------------------------------------------------- /algorithms/nth_prime/wasm_sp1/script/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/nth_prime/wasm_sp1/script/src/main.rs -------------------------------------------------------------------------------- /algorithms/poseidon/delphinus/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/delphinus/.gitignore -------------------------------------------------------------------------------- /algorithms/poseidon/delphinus/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/delphinus/Cargo.lock -------------------------------------------------------------------------------- /algorithms/poseidon/delphinus/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/delphinus/Makefile -------------------------------------------------------------------------------- /algorithms/poseidon/delphinus/cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/delphinus/cargo.toml -------------------------------------------------------------------------------- /algorithms/poseidon/delphinus/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/delphinus/src/lib.rs -------------------------------------------------------------------------------- /algorithms/poseidon/delphinus/test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/delphinus/test.sh -------------------------------------------------------------------------------- /algorithms/poseidon/native/.gitignore: -------------------------------------------------------------------------------- 1 | # Rust build artifacts 2 | **/target/ 3 | 4 | 5 | -------------------------------------------------------------------------------- /algorithms/poseidon/native/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/native/Cargo.lock -------------------------------------------------------------------------------- /algorithms/poseidon/native/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/native/Cargo.toml -------------------------------------------------------------------------------- /algorithms/poseidon/native/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/native/src/main.rs -------------------------------------------------------------------------------- /algorithms/poseidon/native_jolt/.gitignore: -------------------------------------------------------------------------------- 1 | target -------------------------------------------------------------------------------- /algorithms/poseidon/native_jolt/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/native_jolt/Cargo.lock -------------------------------------------------------------------------------- /algorithms/poseidon/native_jolt/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/native_jolt/Cargo.toml -------------------------------------------------------------------------------- /algorithms/poseidon/native_jolt/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/native_jolt/guest/Cargo.toml -------------------------------------------------------------------------------- /algorithms/poseidon/native_jolt/guest/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/native_jolt/guest/src/lib.rs -------------------------------------------------------------------------------- /algorithms/poseidon/native_jolt/rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/native_jolt/rust-toolchain.toml -------------------------------------------------------------------------------- /algorithms/poseidon/native_jolt/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/native_jolt/src/main.rs -------------------------------------------------------------------------------- /algorithms/poseidon/native_nexus/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/native_nexus/Cargo.lock -------------------------------------------------------------------------------- /algorithms/poseidon/native_nexus/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/native_nexus/Cargo.toml -------------------------------------------------------------------------------- /algorithms/poseidon/native_nexus/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/native_nexus/README.md -------------------------------------------------------------------------------- /algorithms/poseidon/native_nexus/src/guest/.cargo/config.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/native_nexus/src/guest/.cargo/config.toml -------------------------------------------------------------------------------- /algorithms/poseidon/native_nexus/src/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/native_nexus/src/guest/Cargo.toml -------------------------------------------------------------------------------- /algorithms/poseidon/native_nexus/src/guest/rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/native_nexus/src/guest/rust-toolchain.toml -------------------------------------------------------------------------------- /algorithms/poseidon/native_nexus/src/guest/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/native_nexus/src/guest/src/main.rs -------------------------------------------------------------------------------- /algorithms/poseidon/native_nexus/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/native_nexus/src/main.rs -------------------------------------------------------------------------------- /algorithms/poseidon/native_powdr/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/native_powdr/.gitignore -------------------------------------------------------------------------------- /algorithms/poseidon/native_powdr/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/native_powdr/Cargo.lock -------------------------------------------------------------------------------- /algorithms/poseidon/native_powdr/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/native_powdr/Cargo.toml -------------------------------------------------------------------------------- /algorithms/poseidon/native_powdr/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/native_powdr/README.md -------------------------------------------------------------------------------- /algorithms/poseidon/native_powdr/guest/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/native_powdr/guest/Cargo.lock -------------------------------------------------------------------------------- /algorithms/poseidon/native_powdr/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/native_powdr/guest/Cargo.toml -------------------------------------------------------------------------------- /algorithms/poseidon/native_powdr/guest/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/native_powdr/guest/src/main.rs -------------------------------------------------------------------------------- /algorithms/poseidon/native_powdr/rust-toolchain.toml: -------------------------------------------------------------------------------- 1 | [toolchain] 2 | channel = "nightly-2024-09-21" 3 | -------------------------------------------------------------------------------- /algorithms/poseidon/native_powdr/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/native_powdr/src/main.rs -------------------------------------------------------------------------------- /algorithms/poseidon/native_risc_zero/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/native_risc_zero/.gitignore -------------------------------------------------------------------------------- /algorithms/poseidon/native_risc_zero/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/native_risc_zero/Cargo.toml -------------------------------------------------------------------------------- /algorithms/poseidon/native_risc_zero/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/native_risc_zero/LICENSE -------------------------------------------------------------------------------- /algorithms/poseidon/native_risc_zero/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/native_risc_zero/README.md -------------------------------------------------------------------------------- /algorithms/poseidon/native_risc_zero/host/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/native_risc_zero/host/Cargo.toml -------------------------------------------------------------------------------- /algorithms/poseidon/native_risc_zero/host/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/native_risc_zero/host/src/main.rs -------------------------------------------------------------------------------- /algorithms/poseidon/native_risc_zero/methods/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/native_risc_zero/methods/Cargo.toml -------------------------------------------------------------------------------- /algorithms/poseidon/native_risc_zero/methods/build.rs: -------------------------------------------------------------------------------- 1 | fn main() { 2 | risc0_build::embed_methods(); 3 | } 4 | -------------------------------------------------------------------------------- /algorithms/poseidon/native_risc_zero/methods/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/native_risc_zero/methods/guest/Cargo.toml -------------------------------------------------------------------------------- /algorithms/poseidon/native_risc_zero/methods/guest/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/native_risc_zero/methods/guest/src/main.rs -------------------------------------------------------------------------------- /algorithms/poseidon/native_risc_zero/methods/src/lib.rs: -------------------------------------------------------------------------------- 1 | include!(concat!(env!("OUT_DIR"), "/methods.rs")); 2 | -------------------------------------------------------------------------------- /algorithms/poseidon/native_risc_zero/proof.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/native_risc_zero/proof.bin -------------------------------------------------------------------------------- /algorithms/poseidon/native_risc_zero/rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/native_risc_zero/rust-toolchain.toml -------------------------------------------------------------------------------- /algorithms/poseidon/native_sp1/.gitignore: -------------------------------------------------------------------------------- 1 | # Rust build artifacts 2 | **/target/ 3 | 4 | 5 | -------------------------------------------------------------------------------- /algorithms/poseidon/native_sp1/program/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/native_sp1/program/Cargo.lock -------------------------------------------------------------------------------- /algorithms/poseidon/native_sp1/program/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/native_sp1/program/Cargo.toml -------------------------------------------------------------------------------- /algorithms/poseidon/native_sp1/program/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/native_sp1/program/src/main.rs -------------------------------------------------------------------------------- /algorithms/poseidon/native_sp1/script/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/native_sp1/script/Cargo.lock -------------------------------------------------------------------------------- /algorithms/poseidon/native_sp1/script/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/native_sp1/script/Cargo.toml -------------------------------------------------------------------------------- /algorithms/poseidon/native_sp1/script/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/native_sp1/script/build.rs -------------------------------------------------------------------------------- /algorithms/poseidon/native_sp1/script/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/native_sp1/script/src/main.rs -------------------------------------------------------------------------------- /algorithms/poseidon/wasm/.gitignore: -------------------------------------------------------------------------------- 1 | # Generated by Cargo 2 | **/target/ 3 | -------------------------------------------------------------------------------- /algorithms/poseidon/wasm/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/wasm/Cargo.lock -------------------------------------------------------------------------------- /algorithms/poseidon/wasm/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/wasm/Cargo.toml -------------------------------------------------------------------------------- /algorithms/poseidon/wasm/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/wasm/src/lib.rs -------------------------------------------------------------------------------- /algorithms/poseidon/wasm_jolt/.gitignore: -------------------------------------------------------------------------------- 1 | target -------------------------------------------------------------------------------- /algorithms/poseidon/wasm_jolt/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/wasm_jolt/Cargo.lock -------------------------------------------------------------------------------- /algorithms/poseidon/wasm_jolt/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/wasm_jolt/Cargo.toml -------------------------------------------------------------------------------- /algorithms/poseidon/wasm_jolt/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/wasm_jolt/guest/Cargo.toml -------------------------------------------------------------------------------- /algorithms/poseidon/wasm_jolt/guest/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/wasm_jolt/guest/src/lib.rs -------------------------------------------------------------------------------- /algorithms/poseidon/wasm_jolt/rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/wasm_jolt/rust-toolchain.toml -------------------------------------------------------------------------------- /algorithms/poseidon/wasm_jolt/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/wasm_jolt/src/main.rs -------------------------------------------------------------------------------- /algorithms/poseidon/wasm_risc_zero/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/wasm_risc_zero/.gitignore -------------------------------------------------------------------------------- /algorithms/poseidon/wasm_risc_zero/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/wasm_risc_zero/Cargo.toml -------------------------------------------------------------------------------- /algorithms/poseidon/wasm_risc_zero/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/wasm_risc_zero/LICENSE -------------------------------------------------------------------------------- /algorithms/poseidon/wasm_risc_zero/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/wasm_risc_zero/README.md -------------------------------------------------------------------------------- /algorithms/poseidon/wasm_risc_zero/host/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/wasm_risc_zero/host/Cargo.toml -------------------------------------------------------------------------------- /algorithms/poseidon/wasm_risc_zero/host/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/wasm_risc_zero/host/src/main.rs -------------------------------------------------------------------------------- /algorithms/poseidon/wasm_risc_zero/methods/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/wasm_risc_zero/methods/Cargo.toml -------------------------------------------------------------------------------- /algorithms/poseidon/wasm_risc_zero/methods/build.rs: -------------------------------------------------------------------------------- 1 | fn main() { 2 | risc0_build::embed_methods(); 3 | } 4 | -------------------------------------------------------------------------------- /algorithms/poseidon/wasm_risc_zero/methods/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/wasm_risc_zero/methods/guest/Cargo.toml -------------------------------------------------------------------------------- /algorithms/poseidon/wasm_risc_zero/methods/guest/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/wasm_risc_zero/methods/guest/src/main.rs -------------------------------------------------------------------------------- /algorithms/poseidon/wasm_risc_zero/methods/src/lib.rs: -------------------------------------------------------------------------------- 1 | include!(concat!(env!("OUT_DIR"), "/methods.rs")); 2 | -------------------------------------------------------------------------------- /algorithms/poseidon/wasm_risc_zero/proof.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/wasm_risc_zero/proof.bin -------------------------------------------------------------------------------- /algorithms/poseidon/wasm_risc_zero/rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/wasm_risc_zero/rust-toolchain.toml -------------------------------------------------------------------------------- /algorithms/poseidon/wasm_sp1/program/.gitignore: -------------------------------------------------------------------------------- 1 | # Generated by Cargo 2 | **/target/ 3 | -------------------------------------------------------------------------------- /algorithms/poseidon/wasm_sp1/program/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/wasm_sp1/program/Cargo.lock -------------------------------------------------------------------------------- /algorithms/poseidon/wasm_sp1/program/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/wasm_sp1/program/Cargo.toml -------------------------------------------------------------------------------- /algorithms/poseidon/wasm_sp1/program/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/wasm_sp1/program/src/main.rs -------------------------------------------------------------------------------- /algorithms/poseidon/wasm_sp1/script/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/wasm_sp1/script/.gitignore -------------------------------------------------------------------------------- /algorithms/poseidon/wasm_sp1/script/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/wasm_sp1/script/Cargo.toml -------------------------------------------------------------------------------- /algorithms/poseidon/wasm_sp1/script/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/wasm_sp1/script/build.rs -------------------------------------------------------------------------------- /algorithms/poseidon/wasm_sp1/script/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/algorithms/poseidon/wasm_sp1/script/src/main.rs -------------------------------------------------------------------------------- /inputs/binary.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/inputs/binary.json -------------------------------------------------------------------------------- /inputs/block.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/inputs/block.json -------------------------------------------------------------------------------- /inputs/bls_agg.json: -------------------------------------------------------------------------------- 1 | { 2 | "numSigners": 2 3 | } 4 | -------------------------------------------------------------------------------- /inputs/bls_verify.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/inputs/bls_verify.json -------------------------------------------------------------------------------- /inputs/bls_verify_128.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/inputs/bls_verify_128.json -------------------------------------------------------------------------------- /inputs/bls_verify_16.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/inputs/bls_verify_16.json -------------------------------------------------------------------------------- /inputs/bls_verify_64.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/inputs/bls_verify_64.json -------------------------------------------------------------------------------- /inputs/ecdsa_verify.json: -------------------------------------------------------------------------------- 1 | { 2 | "num_iterations": 100 3 | } 4 | -------------------------------------------------------------------------------- /inputs/keccak.json: -------------------------------------------------------------------------------- 1 | { 2 | "num_iterations": 1 3 | } 4 | -------------------------------------------------------------------------------- /inputs/merkle.json: -------------------------------------------------------------------------------- 1 | { 2 | "numLeavesBase2": 10 3 | } 4 | -------------------------------------------------------------------------------- /inputs/merkle_proof.json: -------------------------------------------------------------------------------- 1 | { 2 | "numLeavesBase2": 10 3 | } 4 | -------------------------------------------------------------------------------- /inputs/nth_prime.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/inputs/nth_prime.json -------------------------------------------------------------------------------- /inputs/poseidon.json: -------------------------------------------------------------------------------- 1 | { 2 | "num_iterations": 100 3 | } 4 | -------------------------------------------------------------------------------- /inputs/prime.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/inputs/prime.json -------------------------------------------------------------------------------- /inputs/tsp.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/inputs/tsp.json -------------------------------------------------------------------------------- /inputs/tsp_10.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stackrlabs/succinct-residency-exps/HEAD/inputs/tsp_10.json --------------------------------------------------------------------------------