├── .env.example ├── .github └── workflows │ ├── book.yml │ └── pr.yml ├── .gitignore ├── .gitmodules ├── .vscode └── settings.json ├── Cargo.lock ├── Cargo.toml ├── Justfile ├── LICENSE-APACHE ├── LICENSE-MIT ├── README.md ├── audits └── Veridise_audit.pdf ├── book ├── .gitignore ├── README.md ├── docs │ ├── custom-chains.md │ ├── events.md │ ├── examples.md │ ├── execution-model.md │ ├── getting-started.md │ ├── index.md │ ├── proof-verification.md │ └── rpc-configuration.md ├── docusaurus.config.ts ├── package-lock.json ├── package.json ├── pnpm-lock.yaml ├── sidebars.ts ├── static │ ├── .nojekyll │ └── img │ │ └── favicon.svg └── tsconfig.json ├── contracts ├── .gitignore ├── foundry.lock ├── foundry.toml ├── remappings.txt └── src │ └── ContractCall.sol ├── crates ├── client-executor │ ├── Cargo.toml │ └── src │ │ ├── anchor.rs │ │ ├── errors.rs │ │ ├── io.rs │ │ └── lib.rs └── host-executor │ ├── Cargo.toml │ ├── src │ ├── anchor_builder.rs │ ├── beacon │ │ ├── client.rs │ │ ├── mod.rs │ │ └── signed_beacon_block.rs │ ├── errors.rs │ ├── lib.rs │ ├── sketch.rs │ ├── sketch_builder.rs │ └── test.rs │ └── tests │ └── anchor.rs ├── examples ├── events │ ├── client │ │ ├── Cargo.toml │ │ └── src │ │ │ ├── lib.rs │ │ │ └── main.rs │ └── host │ │ ├── Cargo.toml │ │ ├── build.rs │ │ └── src │ │ └── main.rs ├── example-deploy │ └── host │ │ ├── Cargo.toml │ │ └── src │ │ └── main.rs ├── multiplexer │ ├── ZkOracleHelper.sol │ ├── client │ │ ├── Cargo.toml │ │ └── src │ │ │ └── main.rs │ └── host │ │ ├── Cargo.toml │ │ ├── build.rs │ │ └── src │ │ └── main.rs ├── optimism │ ├── client │ │ ├── Cargo.toml │ │ └── src │ │ │ └── main.rs │ └── host │ │ ├── Cargo.toml │ │ ├── build.rs │ │ └── src │ │ └── main.rs ├── uniswap │ ├── client │ │ ├── Cargo.toml │ │ └── src │ │ │ └── main.rs │ ├── contracts │ │ ├── .gitignore │ │ ├── README.md │ │ ├── foundry.toml │ │ ├── remappings.txt │ │ ├── src │ │ │ ├── UniswapCall.sol │ │ │ └── fixtures │ │ │ │ └── plonk-fixture.json │ │ └── test │ │ │ └── UniswapCall.t.sol │ └── host │ │ ├── Cargo.toml │ │ ├── build.rs │ │ └── src │ │ ├── basic.rs │ │ └── onchain_verify.rs └── verify-quorum │ ├── SimpleStaking.sol │ ├── client │ ├── Cargo.toml │ └── src │ │ └── main.rs │ └── host │ ├── Cargo.toml │ ├── build.rs │ └── src │ └── main.rs ├── rust-toolchain └── rustfmt.toml /.env.example: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/.env.example -------------------------------------------------------------------------------- /.github/workflows/book.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/.github/workflows/book.yml -------------------------------------------------------------------------------- /.github/workflows/pr.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/.github/workflows/pr.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/.gitmodules -------------------------------------------------------------------------------- /.vscode/settings.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/.vscode/settings.json -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/Cargo.toml -------------------------------------------------------------------------------- /Justfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/Justfile -------------------------------------------------------------------------------- /LICENSE-APACHE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/LICENSE-APACHE -------------------------------------------------------------------------------- /LICENSE-MIT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/LICENSE-MIT -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/README.md -------------------------------------------------------------------------------- /audits/Veridise_audit.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/audits/Veridise_audit.pdf -------------------------------------------------------------------------------- /book/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/book/.gitignore -------------------------------------------------------------------------------- /book/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/book/README.md -------------------------------------------------------------------------------- /book/docs/custom-chains.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/book/docs/custom-chains.md -------------------------------------------------------------------------------- /book/docs/events.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/book/docs/events.md -------------------------------------------------------------------------------- /book/docs/examples.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/book/docs/examples.md -------------------------------------------------------------------------------- /book/docs/execution-model.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/book/docs/execution-model.md -------------------------------------------------------------------------------- /book/docs/getting-started.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/book/docs/getting-started.md -------------------------------------------------------------------------------- /book/docs/index.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/book/docs/index.md -------------------------------------------------------------------------------- /book/docs/proof-verification.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/book/docs/proof-verification.md -------------------------------------------------------------------------------- /book/docs/rpc-configuration.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/book/docs/rpc-configuration.md -------------------------------------------------------------------------------- /book/docusaurus.config.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/book/docusaurus.config.ts -------------------------------------------------------------------------------- /book/package-lock.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/book/package-lock.json -------------------------------------------------------------------------------- /book/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/book/package.json -------------------------------------------------------------------------------- /book/pnpm-lock.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/book/pnpm-lock.yaml -------------------------------------------------------------------------------- /book/sidebars.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/book/sidebars.ts -------------------------------------------------------------------------------- /book/static/.nojekyll: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /book/static/img/favicon.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/book/static/img/favicon.svg -------------------------------------------------------------------------------- /book/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/book/tsconfig.json -------------------------------------------------------------------------------- /contracts/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/contracts/.gitignore -------------------------------------------------------------------------------- /contracts/foundry.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/contracts/foundry.lock -------------------------------------------------------------------------------- /contracts/foundry.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/contracts/foundry.toml -------------------------------------------------------------------------------- /contracts/remappings.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/contracts/remappings.txt -------------------------------------------------------------------------------- /contracts/src/ContractCall.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/contracts/src/ContractCall.sol -------------------------------------------------------------------------------- /crates/client-executor/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/crates/client-executor/Cargo.toml -------------------------------------------------------------------------------- /crates/client-executor/src/anchor.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/crates/client-executor/src/anchor.rs -------------------------------------------------------------------------------- /crates/client-executor/src/errors.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/crates/client-executor/src/errors.rs -------------------------------------------------------------------------------- /crates/client-executor/src/io.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/crates/client-executor/src/io.rs -------------------------------------------------------------------------------- /crates/client-executor/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/crates/client-executor/src/lib.rs -------------------------------------------------------------------------------- /crates/host-executor/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/crates/host-executor/Cargo.toml -------------------------------------------------------------------------------- /crates/host-executor/src/anchor_builder.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/crates/host-executor/src/anchor_builder.rs -------------------------------------------------------------------------------- /crates/host-executor/src/beacon/client.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/crates/host-executor/src/beacon/client.rs -------------------------------------------------------------------------------- /crates/host-executor/src/beacon/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/crates/host-executor/src/beacon/mod.rs -------------------------------------------------------------------------------- /crates/host-executor/src/beacon/signed_beacon_block.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/crates/host-executor/src/beacon/signed_beacon_block.rs -------------------------------------------------------------------------------- /crates/host-executor/src/errors.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/crates/host-executor/src/errors.rs -------------------------------------------------------------------------------- /crates/host-executor/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/crates/host-executor/src/lib.rs -------------------------------------------------------------------------------- /crates/host-executor/src/sketch.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/crates/host-executor/src/sketch.rs -------------------------------------------------------------------------------- /crates/host-executor/src/sketch_builder.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/crates/host-executor/src/sketch_builder.rs -------------------------------------------------------------------------------- /crates/host-executor/src/test.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/crates/host-executor/src/test.rs -------------------------------------------------------------------------------- /crates/host-executor/tests/anchor.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/crates/host-executor/tests/anchor.rs -------------------------------------------------------------------------------- /examples/events/client/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/examples/events/client/Cargo.toml -------------------------------------------------------------------------------- /examples/events/client/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/examples/events/client/src/lib.rs -------------------------------------------------------------------------------- /examples/events/client/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/examples/events/client/src/main.rs -------------------------------------------------------------------------------- /examples/events/host/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/examples/events/host/Cargo.toml -------------------------------------------------------------------------------- /examples/events/host/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/examples/events/host/build.rs -------------------------------------------------------------------------------- /examples/events/host/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/examples/events/host/src/main.rs -------------------------------------------------------------------------------- /examples/example-deploy/host/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/examples/example-deploy/host/Cargo.toml -------------------------------------------------------------------------------- /examples/example-deploy/host/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/examples/example-deploy/host/src/main.rs -------------------------------------------------------------------------------- /examples/multiplexer/ZkOracleHelper.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/examples/multiplexer/ZkOracleHelper.sol -------------------------------------------------------------------------------- /examples/multiplexer/client/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/examples/multiplexer/client/Cargo.toml -------------------------------------------------------------------------------- /examples/multiplexer/client/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/examples/multiplexer/client/src/main.rs -------------------------------------------------------------------------------- /examples/multiplexer/host/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/examples/multiplexer/host/Cargo.toml -------------------------------------------------------------------------------- /examples/multiplexer/host/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/examples/multiplexer/host/build.rs -------------------------------------------------------------------------------- /examples/multiplexer/host/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/examples/multiplexer/host/src/main.rs -------------------------------------------------------------------------------- /examples/optimism/client/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/examples/optimism/client/Cargo.toml -------------------------------------------------------------------------------- /examples/optimism/client/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/examples/optimism/client/src/main.rs -------------------------------------------------------------------------------- /examples/optimism/host/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/examples/optimism/host/Cargo.toml -------------------------------------------------------------------------------- /examples/optimism/host/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/examples/optimism/host/build.rs -------------------------------------------------------------------------------- /examples/optimism/host/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/examples/optimism/host/src/main.rs -------------------------------------------------------------------------------- /examples/uniswap/client/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/examples/uniswap/client/Cargo.toml -------------------------------------------------------------------------------- /examples/uniswap/client/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/examples/uniswap/client/src/main.rs -------------------------------------------------------------------------------- /examples/uniswap/contracts/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/examples/uniswap/contracts/.gitignore -------------------------------------------------------------------------------- /examples/uniswap/contracts/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/examples/uniswap/contracts/README.md -------------------------------------------------------------------------------- /examples/uniswap/contracts/foundry.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/examples/uniswap/contracts/foundry.toml -------------------------------------------------------------------------------- /examples/uniswap/contracts/remappings.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/examples/uniswap/contracts/remappings.txt -------------------------------------------------------------------------------- /examples/uniswap/contracts/src/UniswapCall.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/examples/uniswap/contracts/src/UniswapCall.sol -------------------------------------------------------------------------------- /examples/uniswap/contracts/src/fixtures/plonk-fixture.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/examples/uniswap/contracts/src/fixtures/plonk-fixture.json -------------------------------------------------------------------------------- /examples/uniswap/contracts/test/UniswapCall.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/examples/uniswap/contracts/test/UniswapCall.t.sol -------------------------------------------------------------------------------- /examples/uniswap/host/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/examples/uniswap/host/Cargo.toml -------------------------------------------------------------------------------- /examples/uniswap/host/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/examples/uniswap/host/build.rs -------------------------------------------------------------------------------- /examples/uniswap/host/src/basic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/examples/uniswap/host/src/basic.rs -------------------------------------------------------------------------------- /examples/uniswap/host/src/onchain_verify.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/examples/uniswap/host/src/onchain_verify.rs -------------------------------------------------------------------------------- /examples/verify-quorum/SimpleStaking.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/examples/verify-quorum/SimpleStaking.sol -------------------------------------------------------------------------------- /examples/verify-quorum/client/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/examples/verify-quorum/client/Cargo.toml -------------------------------------------------------------------------------- /examples/verify-quorum/client/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/examples/verify-quorum/client/src/main.rs -------------------------------------------------------------------------------- /examples/verify-quorum/host/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/examples/verify-quorum/host/Cargo.toml -------------------------------------------------------------------------------- /examples/verify-quorum/host/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/examples/verify-quorum/host/build.rs -------------------------------------------------------------------------------- /examples/verify-quorum/host/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/examples/verify-quorum/host/src/main.rs -------------------------------------------------------------------------------- /rust-toolchain: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/rust-toolchain -------------------------------------------------------------------------------- /rustfmt.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/succinctlabs/sp1-contract-call/HEAD/rustfmt.toml --------------------------------------------------------------------------------