Cerynq Knowledge Base

Public Beta

Understand the risk.Verify the evidence.

Explore the controls, evidence sources and limitations behind Cerynq's analysis on Arc Mainnet.

10 explained topicsExplainable methodologySource transparency

Interpreting results responsibly

Detected means a supported signal was identified. Not detected means no supported signal was identified in the available evidence. Unknown means evidence was insufficient to classify the check.

Findings are not safety guarantees, fraud determinations or substitutes for independent due diligence.

Risk assessment

Understand how the current model communicates findings.

Reading the Risk Assessment

Selected topic

What does this mean?

Risk Model v0.1 summarizes a limited set of privileged-control signals. Its numeric score is normalized to a 0–100 scale and is not an overall security rating.

Why does it matter?

A visible score is only meaningful alongside the assessment status, evidence confidence, and coverage of supported checks.

What should you check?

Review detected findings individually, examine any Unknown results, and inspect evidence before making a decision. Partial assessments reflect only resolved checks.

Limitations

A low score is not proof of safety, and an elevated score does not establish fraud. The model does not replace an audit or cover every onchain risk.

Cerynq Knowledge Base · Public BetaReturn to Scan →

Security controls

Understand the supported contract-control checks.

Ownership Control

What does this mean?

Checks for recognized ownership mechanisms that may grant administrative authority over a contract.

Why does it matter?

An owner may have permissions that affect how a protocol operates.

What should you check?

Identify the owner and review how administrative permissions are managed.

Limitations

Ownership alone does not indicate malicious behavior. Not finding a recognized owner does not prove that no administrative control exists.

Cerynq Knowledge Base · Public BetaReturn to Scan →

Pause Capability

What does this mean?

Checks whether available contract evidence exposes recognized mechanisms for pausing operations.

Why does it matter?

Pause controls can protect users during emergencies but may also interrupt normal operations.

What should you check?

Review who can activate a pause and under what conditions.

Limitations

A missing pause signal does not guarantee that operations cannot be restricted by other mechanisms.

Cerynq Knowledge Base · Public BetaReturn to Scan →

Blacklist Capability

What does this mean?

Checks for recognized mechanisms that may restrict certain addresses from interacting with a contract.

Why does it matter?

Address restrictions can support security or compliance policies but may also affect user access.

What should you check?

Review who can manage restrictions and which operations may be affected.

Limitations

Detecting a capability does not mean that any address is currently blocked.

Cerynq Knowledge Base · Public BetaReturn to Scan →

Whitelist Capability

What does this mean?

Checks for recognized mechanisms that may limit access to approved addresses.

Why does it matter?

Allowlist controls can determine who is permitted to use specific contract functions.

What should you check?

Identify who manages access permissions and whether restrictions are documented.

Limitations

An allowlist mechanism does not necessarily restrict every operation or every user.

Cerynq Knowledge Base · Public BetaReturn to Scan →

Privileged Functions

What does this mean?

Identifies supported patterns of functions or permissions that may provide elevated contract control.

Why does it matter?

Privileged operations can introduce operational dependencies and governance risks.

What should you check?

Review the permissions, their controllers, and safeguards such as multisignature authorization or timelocks.

Limitations

The detector does not establish the complete permission structure or guarantee that every privileged operation has been identified.

Cerynq Knowledge Base · Public BetaReturn to Scan →

Evidence and infrastructure

Explore verification, architecture and source provenance.

Contract Verification

What does this mean?

Indicates when supported sources provide evidence that deployed contract code has been verified.

Why does it matter?

Verification improves transparency and enables deeper examination of the deployed code.

What should you check?

Review the verified source and distinguish contract verification from an independent security audit.

Limitations

Verified source code does not guarantee that a contract is safe.

Cerynq Knowledge Base · Public BetaReturn to Scan →

Proxy Detection

What does this mean?

Identifies supported proxy patterns in which a contract delegates execution to another implementation.

Why does it matter?

The implementation may contain the logic that matters most for risk analysis.

What should you check?

Inspect the implementation and determine whether the specific proxy architecture supports upgrades.

Limitations

Not every proxy is upgradeable. An EIP-1167 minimal proxy, by itself, does not establish upgrade authority.

Cerynq Knowledge Base · Public BetaReturn to Scan →

Implementation Resolution

What does this mean?

Indicates whether Cerynq could identify the implementation address associated with a supported proxy.

Why does it matter?

Resolving the implementation helps associate the proxy with its underlying contract logic.

What should you check?

Inspect the resolved address and the available verification evidence.

Limitations

Successful resolution does not prove that the implementation is secure.

Cerynq Knowledge Base · Public BetaReturn to Scan →

Evidence Provenance

What does this mean?

Describes the available sources and traceability of information used in an analysis.

Why does it matter?

Provenance helps users understand where findings originated and evaluate evidence quality.

What should you check?

Inspect the reported sources, verification status, and any missing information.

Limitations

Traceable evidence does not guarantee that every risk has been identified or that every conclusion is complete.

Cerynq Knowledge Base · Public BetaReturn to Scan →