Skip to content

TEE Verifier Contracts #1374

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
Open
wants to merge 3 commits into
base: main
Choose a base branch
from
Open

TEE Verifier Contracts #1374

wants to merge 3 commits into from

Conversation

razzorsec
Copy link
Collaborator

This PR introduces the following enhancements to the verification flow for DCAP attestations using Automata contracts:

Wrapper Contract for Verification:

  • Implements a wrapper contract to verify DCAP attestations.
  • Integrates with Automata contracts for attestation validation.
  • Defines custom constraints for additional verification logic.

Storage Contract – HashValidator

  • A dedicated storage contract to store valid hashes.
  • Supports hashes from different TEE parameters for verification.

Basic Test Layout

  • Introduces an initial test suite for the verification process.
  • Establishes a basic test structure to validate attestation workflows.

haraldh and others added 2 commits April 3, 2025 10:54
@haraldh
chore: remove outdated test data and added TDX test data
1420dea 
- Deleted multiple outdated test data
- added TDX test data with signature validation

Signed-off-by: Harald Hoyer <[email protected]>
@haraldh
feat(tee-contracts): add DeployTeeDCAP.s.sol and quick hack for ini…
054184c 
…tsize

Signed-off-by: Harald Hoyer <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@vladbochok vladbochok Awaiting requested review from vladbochok vladbochok is a code owner

@StanislavBreadless StanislavBreadless Awaiting requested review from StanislavBreadless StanislavBreadless is a code owner

At least 1 approving review is required to merge this pull request.

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@razzorsec @haraldh