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

Jump to bottom

feat(protocol): update PlonkVerifier for new L3 circuits #14023

Merged
merged 11 commits into from
Jun 30, 2023
Merged

feat(protocol): update PlonkVerifier for new L3 circuits #14023

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
11 commits
Select commit Hold shift + click to select a range
35a54c1
feat(protocol): update PlonkVerifier for new L3 circuits
davidtaikocha Jun 16, 2023
545f43e
feat: update LibProving
davidtaikocha Jun 20, 2023
45bd057
Merge branch 'main' into integrate-new-l3-circuits
davidtaikocha Jun 20, 2023
0a2c95d
Merge branch 'main' into integrate-new-l3-circuits
davidtaikocha Jun 21, 2023
3b1168a
Merge branch 'main' into integrate-new-l3-circuits
davidtaikocha Jun 21, 2023
5d4c968
test: update tests
davidtaikocha Jun 21, 2023
4484695
Merge branch 'main' into integrate-new-l3-circuits
davidtaikocha Jun 22, 2023
a21e1a1
Merge branch 'main' into integrate-new-l3-circuits
davidtaikocha Jun 27, 2023
7e1f561
Merge branch 'main' into integrate-new-l3-circuits
dantaik Jun 27, 2023
fb657d7
Merge branch 'main' into integrate-new-l3-circuits
davidtaikocha Jun 29, 2023
f719466
Workaround of a weird foundry(?) issue
adaki2004 Jun 29, 2023
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
32 changes: 22 additions & 10 deletions packages/protocol/contracts/L1/libs/LibProving.sol
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -10,6 +10,7 @@ import { AddressResolver } from "../../common/AddressResolver.sol";
import { LibMath } from "../../libs/LibMath.sol";
import { LibUtils } from "./LibUtils.sol";
import { TaikoData } from "../../L1/TaikoData.sol";
import { LibBytesUtils } from "../../thirdparty/LibBytesUtils.sol";

library LibProving {
using LibMath for uint256;
Expand Down Expand Up @@ -212,18 +213,29 @@ library LibProving {
instance := keccak256(inputs, mul(32, 10))
}

if (
!LibBytesUtils.equal(
LibBytesUtils.slice(evidence.proof, 0, 32),
bytes.concat(bytes16(0), bytes16(instance))
)
) {
revert L1_INVALID_PROOF();
}

if (
!LibBytesUtils.equal(
LibBytesUtils.slice(evidence.proof, 32, 32),
bytes.concat(
bytes16(0), bytes16(uint128(uint256(instance)))
)
)
) {
revert L1_INVALID_PROOF();
}

(bool verified, bytes memory ret) = resolver.resolve(
LibUtils.getVerifierName(evidence.verifierId), false
).staticcall(
bytes.concat(
bytes16(0),
bytes16(instance), // left 16 bytes of the given instance
bytes16(0),
bytes16(uint128(uint256(instance))), // right 16 bytes of
// the given instance
evidence.proof
)
);
).staticcall(evidence.proof);

if (
!verified
Expand Down
Loading