Skip to content

resolve the issues related to ProverRegistry and AttestationVerifier on OZ Audit report - #40

Open
chzyer wants to merge 4 commits into
unififrom
prover-contracts
Open

resolve the issues related to ProverRegistry and AttestationVerifier on OZ Audit report#40
chzyer wants to merge 4 commits into
unififrom
prover-contracts

Conversation

@chzyer

@chzyer chzyer commented Mar 26, 2025

Copy link
Copy Markdown

What this PR does / why we need it:

Resolve the issues related to ProverRegistry and AttestationVerifier on OZ Audit report

Which issue(s) does this PR fixes:

Additional comments:

IssueID Issue Name Status
L-03 Floating Pragma Not Resolved.
This is because the contract currently aligns with the behavior of other contracts.
L-05 Incomplete Docstrings Resolved
L-06 Missing Docstrings Resolved
L-09 Lack of Input Validation in the init Function of ProverRegistryVerifier Resolved
L-10 Possible Bypass of Attestation Verification in verifyAttestation Not Resolved.
For mock mode testing, the system is designed to bypass
attestation verification when the dcapAttestation address is zero.
We鈥檝e documented this behavior for clarity.
N-02 Functions Updating State Without Event Emission Resolved
N-04 Code Optimization Resolved
N-05 State Variable Visibility Not Explicitly Declared Resolved

chzyer added 4 commits March 26, 2025 14:49
1. AttestationVerifier: removed the redundant owner event.
2. ProverRegistry: use SafeCast for uint256 to uint64
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant