feat(tee-key-preexec): support for Solidity-compatible pubkey in report_data#228
Closed
feat(tee-key-preexec): support for Solidity-compatible pubkey in report_data#228
Conversation
pbeza
force-pushed
the
pab/solidity-compatible-pubkey-in-report-data
branch
3 times, most recently
from
c66fc0e to
584d371
Compare
haraldh
reviewed
Dec 20, 2024
Contributor
haraldh
left a comment
haraldh
left a comment
There was a problem hiding this comment.
run taplo fmt or sort cargo deps alphabetically by hand
pbeza
force-pushed
the
pab/solidity-compatible-pubkey-in-report-data
branch
3 times, most recently
from
959c076 to
6b51717
Compare
pbeza
added a commit
to matter-labs/zksync-era
that referenced
this pull request
Dec 30, 2024
Signatures produced by the TEE Prover are now compatible with the on-chain verifier that uses the `ecrecover` precompile. Until now, we've been using _non-recoverable_ signatures in the TEE prover with a compressed (ECDSA) public key in each attestation -- it was compressed because there are only 64 bytes available in the report attestation quote. That worked fine for off-chain proof verification, but for on-chain verification, it's better to use the Ethereum address derived from the public key so we can call ecrecover in Solidity to verify the signature. This PR goes hand in hand with matter-labs/teepot#228
4 tasks
pbeza
added a commit
to matter-labs/zksync-era
that referenced
this pull request
Dec 30, 2024
Signatures produced by the TEE Prover are now compatible with the on-chain verifier that uses the `ecrecover` precompile. Until now, we've been using _non-recoverable_ signatures in the TEE prover with a compressed ECDSA public key in each attestation -- it was compressed because there are only 64 bytes available in the report attestation quote. That worked fine for off-chain proof verification, but for on-chain verification, it's better to use the Ethereum address derived from the public key so we can call ecrecover in Solidity to verify the signature. This PR goes hand in hand with matter-labs/teepot#228
pbeza
added a commit
to matter-labs/zksync-era
that referenced
this pull request
Dec 30, 2024
Signatures produced by the TEE Prover are now compatible with the on-chain verifier that uses the `ecrecover` precompile. Until now, we've been using _non-recoverable_ signatures in the TEE prover with a compressed ECDSA public key in each attestation -- it was compressed because there are only 64 bytes available in the report attestation quote. That worked fine for off-chain proof verification, but for on-chain verification, it's better to use the Ethereum address derived from the public key so we can call ecrecover in Solidity to verify the signature. This PR goes hand in hand with matter-labs/teepot#228
pbeza
added a commit
to matter-labs/zksync-era
that referenced
this pull request
Dec 30, 2024
Signatures produced by the TEE Prover are now compatible with the on-chain verifier that uses the `ecrecover` precompile. Until now, we've been using _non-recoverable_ signatures in the TEE prover with a compressed ECDSA public key in each attestation -- it was compressed because there are only 64 bytes available in the report attestation quote. That worked fine for off-chain proof verification, but for on-chain verification, it's better to use the Ethereum address derived from the public key so we can call ecrecover in Solidity to verify the signature. This PR goes hand in hand with matter-labs/teepot#228
pbeza
force-pushed
the
pab/solidity-compatible-pubkey-in-report-data
branch
from
6b51717 to
e95728f
Compare
pbeza
added a commit
to matter-labs/zksync-era
that referenced
this pull request
Dec 31, 2024
This PR is part of the effort to implement on-chain TEE proof verification. Signatures produced by the TEE Prover are now compatible with the on-chain verifier that uses the `ecrecover` precompile. Until now, we've been using _non-recoverable_ signatures in the TEE prover with a compressed ECDSA public key in each attestation -- it was compressed because there are only 64 bytes available in the report attestation quote. That worked fine for off-chain proof verification, but for on-chain verification, it's better to use the Ethereum address derived from the public key so we can call ecrecover in Solidity to verify the signature. This PR goes hand in hand with matter-labs/teepot#228
…report_data This PR is part of the effort to implement on-chain TEE proof verification. This PR goes hand in hand with matter-labs/zksync-era#3414.
pbeza
force-pushed
the
pab/solidity-compatible-pubkey-in-report-data
branch
from
e95728f to
a9b89ef
Compare
pbeza
added a commit
that referenced
this pull request
Dec 31, 2024
…in report_data This PR is part of the effort to implement on-chain TEE proof verification. This PR goes hand in hand with: - matter-labs/zksync-era#3414 - #228
pbeza
added a commit
that referenced
this pull request
Dec 31, 2024
…in report_data This PR is part of the effort to implement on-chain TEE proof verification. This PR goes hand in hand with: - matter-labs/zksync-era#3414 - #228
pbeza
added a commit
that referenced
this pull request
Dec 31, 2024
…in report_data This PR is part of the effort to implement on-chain TEE proof verification. This PR goes hand in hand with: - matter-labs/zksync-era#3414 - #228
pbeza
added a commit
that referenced
this pull request
Jan 2, 2025
…in report_data This PR is part of the effort to implement on-chain TEE proof verification. This PR goes hand in hand with: - matter-labs/zksync-era#3414 - #228
pbeza
added a commit
that referenced
this pull request
Jan 2, 2025
…in report_data This PR is part of the effort to implement on-chain TEE proof verification. This PR goes hand in hand with: - matter-labs/zksync-era#3414 - #228
pbeza
added a commit
that referenced
this pull request
Jan 3, 2025
…in report_data This PR is part of the effort to implement on-chain TEE proof verification. This PR goes hand in hand with: - matter-labs/zksync-era#3414 - #228
pbeza
added a commit
that referenced
this pull request
Jan 3, 2025
…in report_data This PR is part of the effort to implement on-chain TEE proof verification. This PR goes hand in hand with: - matter-labs/zksync-era#3414 - #228
pbeza
added a commit
that referenced
this pull request
Jan 3, 2025
…in report_data This PR is part of the effort to implement on-chain TEE proof verification. This PR goes hand in hand with: - matter-labs/zksync-era#3414 - #228
pbeza
added a commit
that referenced
this pull request
Jan 6, 2025
…in report_data This PR is part of the effort to implement on-chain TEE proof verification. This PR goes hand in hand with: - matter-labs/zksync-era#3414 - #228
…le-pubkey-in-report-data
Contributor
Author
|
Closing in favor of #251. |
github-merge-queue bot
pushed a commit
to matter-labs/zksync-era
that referenced
this pull request
Feb 17, 2025
## What ❔ This PR is part of the effort to implement on-chain TEE proof verification. Signatures produced by the TEE Prover are now compatible with the on-chain verifier that uses the `ecrecover` precompile. ## Why ❔ Until now, we've been using _non-recoverable_ signatures in the TEE prover with a compressed ECDSA public key in each attestation – it was compressed because there are only 64 bytes available in the report attestation quote. That worked fine for off-chain proof verification, but for on-chain verification, it's better to use the Ethereum address derived from the public key so we can call `ecrecover` in Solidity to verify the signature. This PR goes hand in hand with: - matter-labs/teepot#228 - matter-labs/teepot#240 - matter-labs/teepot#245 ## Checklist - [x] PR title corresponds to the body of PR (we generate changelog entries from PRs). - [x] Tests for the changes have been added / updated. - [ ] Documentation comments have been added / updated. - [x] Code has been formatted via `zkstack dev fmt` and `zkstack dev lint`. --------- Signed-off-by: Harald Hoyer <harald@matterlabs.dev> Co-authored-by: Harald Hoyer <harald@matterlabs.dev>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
This PR is part of the effort to implement on-chain TEE proof verification. This PR goes hand in hand with matter-labs/zksync-era#3414.