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

feat(protocol): deploy the generated Yul plonk verifier #13016

Merged
merged 15 commits into from
Jan 26, 2023
Merged

feat(protocol): deploy the generated Yul plonk verifier #13016

Show file tree
Hide file tree
Changes from 11 commits
Commits
Show all changes
15 commits
Select commit Hold shift + click to select a range
9ef49df
feat(protocol): integrate public input only plonk verifier
davidtaikocha Jan 23, 2023
1f11458
feat: update deployment scripts
davidtaikocha Jan 23, 2023
5079738
docs: update comments
davidtaikocha Jan 23, 2023
09df648
docs: update comments
davidtaikocha Jan 23, 2023
9a70b52
Update ProofVerifier.sol
dantaik Jan 23, 2023
4808d73
feat: changes based on feedbacks
davidtaikocha Jan 23, 2023
e9b93a5
chore: update pnpm-lock.yaml
davidtaikocha Jan 23, 2023
73d2b69
Merge branch 'main' into integrate-public-input-verifier
davidtaikocha Jan 23, 2023
3b12d25
chore: update pnpm deps
davidtaikocha Jan 23, 2023
b329409
Merge branch 'main' into integrate-public-input-verifier
davidtaikocha Jan 23, 2023
a2b9e13
Merge branch 'main' into integrate-public-input-verifier
davidtaikocha Jan 23, 2023
3e2af01
Merge branch 'main' into integrate-public-input-verifier
davidtaikocha Jan 25, 2023
bf9807e
chore(protocol): improve LibZKP (#13047)
dantaik Jan 25, 2023
462609e
feat(protocol): L1 deployment script changes related to #13047 (#13052)
davidtaikocha Jan 25, 2023
23acef5
Merge branch 'main' into integrate-public-input-verifier
dantaik Jan 25, 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
2 changes: 1 addition & 1 deletion packages/protocol/.gitignore
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ typechain
abis
abi
deployments/*.json

bin
yarn.lock
yarn-debug.log*
yarn-error.log*
Expand Down
14 changes: 10 additions & 4 deletions packages/protocol/contracts/L1/ProofVerifier.sol
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6,8 +6,9 @@

pragma solidity ^0.8.9;

import "../thirdparty/LibMerkleTrie.sol";
import "../common/EssentialContract.sol";
import "../libs/LibZKP.sol";
import "../thirdparty/LibMerkleTrie.sol";

/// @author dantaik <dan@taiko.xyz>
interface IProofVerifier {
Expand All @@ -17,7 +18,7 @@ interface IProofVerifier {
bytes32 blockHash,
address prover,
bytes32 txListHash
) external pure returns (bool verified);
) external view returns (bool verified);

function verifyMKP(
bytes memory key,
Expand All @@ -27,16 +28,21 @@ interface IProofVerifier {
) external pure returns (bool verified);
}

contract ProofVerifier is IProofVerifier {
contract ProofVerifier is IProofVerifier, EssentialContract {
function init(address addressManager) external initializer {
EssentialContract._init(addressManager);
}

function verifyZKP(
bytes memory verificationKey,
bytes calldata zkproof,
bytes32 blockHash,
address prover,
bytes32 txListHash
) external pure returns (bool) {
) external view returns (bool) {
return
LibZKP.verify({
plonkVerifier: resolve("plonk_verifier", false),
dantaik marked this conversation as resolved.
Show resolved Hide resolved
verificationKey: verificationKey,
zkproof: zkproof,
blockHash: blockHash,
Expand Down
10 changes: 7 additions & 3 deletions packages/protocol/contracts/libs/LibZKP.sol
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -12,13 +12,17 @@ library LibZKP {
*********************/

function verify(
address plonkVerifier,
bytes memory verificationKey,
bytes calldata zkproof,
bytes32 blockHash,
address prover,
bytes32 txListHash
) internal pure returns (bool verified) {
// TODO
return true;
) internal view returns (bool verified) {
// TODO(david):
// 1) verificationKey is hard-coded in the generated PlonkVerifier, make it as a configurable parameter.
// 2) public input is assembled in client software for testing purposes right now, move this part of logic
// to here.
(verified, ) = plonkVerifier.staticcall(zkproof);
}
}
Loading