Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

fix: readme for contractinput refactor #24

Merged
merged 1 commit into from
Oct 21, 2024
Merged

fix: readme for contractinput refactor #24

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
24 changes: 8 additions & 16 deletions README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -28,9 +28,6 @@ sol! {
/// Address of Uniswap V3 pool.
const CONTRACT: Address = address!("1d42064Fc4Beb5F8aAF85F4617AE8b3b5B8Bd801");

/// Address of the caller.
const CALLER: Address = address!("0000000000000000000000000000000000000000");

...

let state_sketch_bytes = sp1_zkvm::io::read::<Vec<u8>>();
Expand All @@ -42,12 +39,11 @@ let executor = ClientExecutor::new(state_sketch).unwrap();

// Execute the slot0 call using the client executor.
let slot0_call = IUniswapV3PoolState::slot0Call {};
let input =
ContractInput { contract_address: CONTRACT, caller_address: CALLER, calldata: slot0_call };
let public_values = executor.execute(input).unwrap();
let call = ContractInput::new_call(CONTRACT, Address::default(), slot0_call);
let public_vals = executor.execute(call).unwrap();

// Commit the abi-encoded output.
sp1_zkvm::io::commit_slice(&public_values.abi_encode());
sp1_zkvm::io::commit_slice(&public_vals.abi_encode());
```

### Host
Expand All @@ -73,14 +69,9 @@ let block_hash = host_executor.header.hash_slow();

// Make the call to the slot0 function.
let slot0_call = IUniswapV3PoolState::slot0Call {};
let _price_x96 = host_executor
.execute(ContractInput {
contract_address: CONTRACT,
caller_address: CALLER,
calldata: slot0_call,
})
.await?
.sqrtPriceX96;
let _price_x96_bytes = host_executor
.execute(ContractInput::new_call(CONTRACT, Address::default(), slot0_call))
.await?;

// Now that we've executed all of the calls, get the `EVMStateSketch` from the host executor.
let input = host_executor.finalize().await?;
Expand Down Expand Up @@ -162,7 +153,8 @@ where `[example]` is one of the following
* Due to the size of this program, it's recommended to use the [SP1 Prover network](https://docs.succinct.xyz/generating-proofs/prover-network.html) to generate proofs for this example.
* `verify-quorum`
* Calls a contract that verifies several ECDSA signatures on chain, and sums the stake for the addresses corresponding to valid signatures.

* `example-deploy`
* Demonstrates how to simulate a contract creation transaction on SP1-CC.

## Acknowledgments

Expand Down
Loading