> ## Documentation Index
> Fetch the complete documentation index at: https://docs.safefoundation.org/llms.txt
> Use this file to discover all available pages before exploring further.

# Contracts and audits

> Safenet contract deployments, source code, governance accounts, and security reviews.

Safenet uses smart contracts across Gnosis Chain, Ethereum Mainnet, and the networks where the Safenet Guard is deployed.

This page provides references for deployed contracts, source code, governance accounts, and completed security reviews.

## Deployed contracts

| Contract            | Chain                        | Address                                                                                                                 | Source                                                                                                                  | Audit                                                                                                                                                                 |
| ------------------- | ---------------------------- | ----------------------------------------------------------------------------------------------------------------------- | ----------------------------------------------------------------------------------------------------------------------- | --------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
| SentinelOracle      | Gnosis Chain                 | `TODO`                                                                                                                  | [SentinelOracle.sol](https://github.com/safe-research/safenet/blob/main/contracts/src/SentinelOracle.sol)               | TODO                                                                                                                                                                  |
| Consensus           | Gnosis Chain                 | `TODO`                                                                                                                  | [Consensus.sol](https://github.com/safe-research/safenet/blob/main/contracts/src/Consensus.sol)                         | TODO                                                                                                                                                                  |
| FROSTCoordinator    | Gnosis Chain                 | `TODO`                                                                                                                  | [FROSTCoordinator.sol](https://github.com/safe-research/safenet/blob/main/contracts/src/FROSTCoordinator.sol)           | TODO                                                                                                                                                                  |
| SafenetGuard        | Supported execution networks | `TODO`                                                                                                                  | [SafenetGuard.sol](https://github.com/safe-research/safenet/blob/main/contracts/src/guard/SafenetGuard.sol)             | TODO                                                                                                                                                                  |
| Staking             | Ethereum Mainnet             | [`0x115E78f160e1E3eF163B05C84562Fa16fA338509`](https://etherscan.io/address/0x115E78f160e1E3eF163B05C84562Fa16fA338509) | [Staking.sol](https://github.com/safe-research/safenet/blob/beta/contracts/src/Staking.sol)                             | [Certora](https://github.com/safe-research/safenet/blob/beta/contracts/audits/audit.md)                                                                               |
| Reward distribution | Ethereum Mainnet             | [`0xe5139Fc0FB8eae81e30d8a85C22E88c6757120f2`](https://etherscan.io/address/0xe5139Fc0FB8eae81e30d8a85C22E88c6757120f2) | [CumulativeMerkleDrop.sol](https://github.com/1inch/merkle-distribution/blob/master/contracts/CumulativeMerkleDrop.sol) | [MixBytes](https://github.com/mixbytes/audits_public/blob/master/1inch/Cumulative%20Merkle%20Drop/1Inch%20Cumulative%20Merkle%20Drop%20Security%20Audit%20Report.pdf) |

<Note>
  The Staking and reward-distribution contracts are carried forward from Safenet Beta.
</Note>

TODO: Add contract addresses and audit reports for SentinelOracle, Consensus, FROSTCoordinator, and SafenetGuard once deployed. Replace source links to `main`/`beta` with links to the exact release tag or commit corresponding to the deployed Safenet Aegis version.

**Core protocol**

The core Safenet protocol contracts run on Gnosis Chain:

* **SentinelOracle** coordinates Sentinel checks, fees, bonds, arbitration, and configurable protocol parameters.
* **Consensus** coordinates Validator attestations and Validator-set epochs.
* **FROSTCoordinator** coordinates Validator FROST signing ceremonies.

The canonical Safenet Oracle will be identified through `oracle.safenet-gov.eth`.

SafeDAO can change configurable SentinelOracle parameters without replacing the Oracle, including:

* **Sentinel set.**
* **Transaction-check fee.**
* **SafeDAO fee share.**
* **Bond parameters.**
* **SafeDAO fee receiver.**

Changes to immutable Oracle configuration require deployment and activation of a new Oracle.

See [Governance](/safenet-aegis/governance/overview) for Oracle governance and upgrades.

**Safenet Guard**

The Safenet Guard verifies Safenet attestations and can require a valid secure attestation before normal Safe execution.

Guard contracts are deployed on the execution networks where Guard enforcement is supported.

A Safenet Guard deployment is configured with the Safenet consensus context and delayed-execution parameters at deployment. Changes to this configuration require a new Guard deployment.

TODO: Add the final Guard deployment addresses for each supported network.

See [Safenet Guard](/safenet-aegis/use-safenet/safenet-guard) for the enforcement model.

**Staking and reward distribution**

The Staking contract on Ethereum Mainnet manages SAFE staking, delegation, withdrawal configuration, and the active Validator set.

The contract is non-upgradeable. Its SAFE token and configuration-change delay are fixed at deployment. The contract owner can propose changes to the withdrawal delay and active Validator set, subject to the contract's configuration delay.

Validator and Delegator rewards are distributed through the reward-distribution contract on Ethereum Mainnet. See the table above for its address, source, and audit.

See [Staking](/safenet-aegis/staking/overview) and [Rewards](/safenet-aegis/staking/rewards).

## Governance accounts

Safenet uses separate Safe accounts for protocol governance, arbitration, and reward distribution.

| Account                       | Chain            | Purpose                                                               | Address |
| ----------------------------- | ---------------- | --------------------------------------------------------------------- | ------- |
| SafeDAO Safenet Safe          | Gnosis Chain     | Governs Safenet Oracle parameters and receives the SafeDAO fee share. | `TODO`  |
| Safenet Security Council Safe | Gnosis Chain     | Resolves arbitration for split Sentinel results.                      | `TODO`  |
| Reward Distribution Safe      | Ethereum Mainnet | Publishes accepted reward distributions.                              | `TODO`  |

TODO: Add addresses for the SafeDAO Safenet Safe, Safenet Security Council Safe, and Reward Distribution Safe once deployed.

The SafeDAO Safenet Safe on Gnosis Chain is the governance address configured in the Safenet Oracle and is also the SafeDAO fee receiver.

The Safenet Security Council Safe on Gnosis Chain resolves arbitration when Sentinel decisions are split.

The Reward Distribution Safe on Ethereum Mainnet publishes accepted reward distributions.

See [Governance](/safenet-aegis/governance/overview) and [Rewards](/safenet-aegis/staking/rewards) for the corresponding processes.

## Report a security issue

See [Bug bounty](/security/bug-bounty) for how to report a security issue.
