Skip to content

Commit

Permalink
contract should be good
Browse files Browse the repository at this point in the history
  • Loading branch information
CeciliaZ030 committed Jul 20, 2024
1 parent 3ae5b8e commit ed35fe0
Show file tree
Hide file tree
Showing 5 changed files with 7 additions and 43 deletions.
6 changes: 5 additions & 1 deletion lib/src/protocol_instance.rs
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,7 @@ use crate::{
primitives::{
eip4844::{self, commitment_to_version_hash},
keccak::keccak,
},
}, CycleTracker,
};
use reth_evm_ethereum::taiko::ANCHOR_GAS_LIMIT;

Expand Down Expand Up @@ -44,15 +44,19 @@ impl ProtocolInstance {
commitment_to_version_hash(&commitment.clone().try_into().unwrap());
match get_blob_proof_type(proof_type, input.taiko.blob_proof_type.clone()) {
crate::input::BlobProofType::ProofOfEquivalence => {
let ct = CycleTracker::start("proof_of_equivalence");
let points =
eip4844::proof_of_equivalence(&input.taiko.tx_data, &versioned_hash)?;
ct.end();
proof_of_equivalence =
(U256::from_le_bytes(points.0), U256::from_le_bytes(points.1));
}
crate::input::BlobProofType::ProofOfCommitment => {
let ct = CycleTracker::start("proof_of_commitment");
ensure!(
commitment == &eip4844::calc_kzg_proof_commitment(&input.taiko.tx_data)?
);
ct.end();
}
};
versioned_hash
Expand Down
39 changes: 0 additions & 39 deletions provers/sp1/contracts/Raiko.sol

This file was deleted.

1 change: 0 additions & 1 deletion provers/sp1/contracts/remappings.txt

This file was deleted.

4 changes: 2 additions & 2 deletions provers/sp1/contracts/src/fixtures/fixture.json
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
{
"vkey": "0x00ae5a8bb64ff1af3963fb06761d52680c27dc24e001e6c836f90207a65d7bff",
"publicValues": "0xeb96af1cf485879a9445ff858ad51c9d43e28338d14d3afa1968c70f7e269cc1",
"vkey": "0x008c04e3628cc5df0d309172e1e792b8c4510b0dee649aea91d46cf388a3f66f",
"publicValues": "0x1dcbde58978cb74970a758e6071b296fb0444ef536d3a9180b997a6b94503a40",
"proof": "0x"
}
Binary file modified provers/sp1/guest/elf/sp1-guest
Binary file not shown.

0 comments on commit ed35fe0

Please sign in to comment.