Attestation Center

View Source Code

Overview

The Attestation Center is a critical system designed to ensure the integrity and efficiency of AVS operations by bridging off-chain execution with on-chain verification and maintaining a transparent history of all activities involved.

AVS Attestation center contract manages

• Task submission and verification

• Rewards accounting and distribution

• Slashing & Ejection configuration and logic

• Aggregated view of AVS activities

• Creation of new Tasks

• Operator interface

Write Methods

Task Submission

For Performer BLS signature type

 _submitTask(TaskInfo calldata _taskInfo, 
        BLSTaskSubmissionDetails memory _taskSubmissionDetails) 

Property	Type	Description
TaskInfo.taskDefinitionId	uint16	The ID of specific Task definition
TaskInfo.proofOfTask	string	ProofOfTask: any string that the Attesters can use to verify that the Performer has executed its task as expected
TaskInfo.data	bytes	Any auxiliary/metadata required by the AVS or the service consumer to be verified
TaskInfo.taskPerformer	address	The address of the Task Performer
TaskSubmissionDetails._isApproved	bool	Indicate if a task has been approved or rejected by the Attesters
TaskSubmissionDetails._tpSignature	uint256[2]	Task Performer BLS signature
TaskSubmissionDetails._taSignature	uint256[2]	Task Attesters BLS aggregated signature
TaskSubmissionDetails._operatorIds	uint256[]	Task Attesters IDs

For Performer ECDSA signature type

 _submitTask(TaskInfo calldata _taskInfo, 
        TaskSubmissionDetails memory _taskSubmissionDetails) 

Property	Type	Description
TaskInfo.taskDefinitionId	uint16	The ID of specific Task definition
TaskInfo.proofOfTask	string	ProofOfTask: any string that the Attesters can use to verify that the Performer has executed its task as expected
TaskInfo.data	bytes	Any auxiliary/metadata required by the AVS or the service consumer to be verified
TaskInfo.taskPerformer	address	The address of the Task Performer
TaskSubmissionDetails._isApproved	bool	Indicate if a task has been approved or rejected by the Attesters
TaskSubmissionDetails._tpSignature	bytes	Task Performer ECDSA signature
TaskSubmissionDetails._taSignature	uint256[2]	Task Attesters BLS aggregated signature
TaskSubmissionDetails._operatorIds	uint256[]	Task Attesters IDs

The submitTask function is responsible for handling the submission of tasks in a decentralized system, with multiple steps to ensure the validity and proper handling of task data, signatures, and rewards. It performs the following key actions:

1. Pre-Processing (Optional): If an avsLogic hook is set, it calls beforeTaskSubmission for pre-processing.

2. Task Validation: Validates the task's signature and checks if the task has already been signed.

3. Signature Verification: Verifies the taskPerformer's signature and checks the aggregated signature.

4. Task Definition validation: Validates the task definition and checks for any restrictions.

5. Fee Calculation: Calculates base reward fees for attesters, performers, and aggregators using the fee calculator system. If a fee calculator is set, it computes the appropriate rewards based on the task's definition and submission details.

6. State Update: Marks the task as "signed" and optionally calls afterTaskSubmission for post-processing.

---

Task Definitions

Othentic Stack enables AVS developers to configure tasks for operators to execute, each with customizable parameters, rewards, security levels, number of operators, and operator clusters.

setTaskDefinitionMinVotingPower

Sets Minimum Voting power for a Task

Parameter	Type	Description
_taskDefinitionId	uint16	Task Definition ID
_minimumVotingPower	uint256	Minimum Voting Power (in wei)

• If an operator attests to a task and has less than the minimum voting power, the task would fail with a OperatorDoesNotHaveMinimumVotingPower(operatorIndex) error.

• The AVS Governance Multisig should not set this value too high so that no attester passes the threshold.

setTaskDefinitionRestrictedOperators

Sets Restricted Operator Set for a Task

Parameter	Type	Description
_taskDefinitionId	uint16	Task Definition ID
_restrictedOperatorIndexes	uint256[]	Restricted Operator Set

setTaskDefinitionMaximumNumberOfAttesters

Parameter	Type	Description
_taskDefinitionId	uint16	Task Definition ID
_maximumNumberOfAttesters	uint256	Maximum number of Attesters

---

Hooks Configuration

setAvsLogic(IAVSLogic)

Set the AVS Logic Hook contract. Learn more here.

Property	Type	Description
_avsLogic	IAvsLogic	AVS Logic Hook contract address

setFeeCalculator

Sets the fee calculator hook contract. Lean more here.

Property	Type	Description
_feeCalculator	IFeeCalculator	The fee calculator contract to be set

---

updateBLSKey

Updates the BLS key for the operator(uint256[], signature)

Property	Type	Description
_blsKey	uint256[]	The new BLS key to be set for the operator
_authSignature	BLSAuthLibrary.Signature	The authentication signature used to verify the update request

setOblsSharesSyncer(address)

Set OBLS shares syncer address.

Property	Type	Description
_oblsSharesSyncer	address	Syncer Address

---

Rewards functions

requestBatchPayment

Executes batch reward distribution over the entire active operator set, i.e., from 1 to numOfTotalOperators.

Property	Type	Description
_submissionType	SubmissionType	Distribution method as defined by IRewardsDistributor
_distributionData	bytes	Custom reward data payload

requestBatchPayment (Operator subset)

Executes batch reward distribution to a subset of the operator list.

Property	Type	Description
_from	uint256	Starting operator index (inclusive)
_to	uint256	Ending operator index (inclusive)
_submissionType	SubmissionType	Distribution method as defined by IRewardsDistributor
_distributionData	bytes	Custom reward data payload

The above two functions are only callable by AVS Governance Multisig or PAYMENT_REQUESTS role.

setPaymentRequestsRole

This function sets a new account for handling payment requests in the AVS.

Property	Type	Description
_newPaymentRequestsAdmin	address	The address to be granted the PAYMENT_REQUESTS role.

---

View Functions

AVS Contracts

function	description
internalTaskHandler()	Returns the address of the internal task handler contract
obls()	Returns the address of the on-chain BLS contract
avsTreasury()	Returns the address of the AVS treasury
EXTENSION_IMPLEMENTATION	Returns the address of the extension contract exposing additional functions.

Tasks

function	description
taskNumber()	Returns the total number of tasks
numOfTaskDefinitions()	Returns the total number of task definitions
getTaskDefinitionMinimumVotingPower()	Returns the minimum voting power required for a given task definition
getTaskDefinitionRestrictedAttesters()	Returns the list of restricted attester IDs for a given task definition
getTaskDefinitionMaximumNumberOfAttesters()	Returns the maximum number of attesters allowed for a given task definition

Hooks

avsLogic()	Returns the address of the AVS logic contract
beforePaymentsLogic()	Returns the address of the before-payments logic contract

Operators

function	description
numOfTotalOperators	Returns the total number of operators, including unregistered ones
numOfActiveOperators	Returns the number of currently active operators
getActiveOperatorsDetails	Returns an array containing details of all active operators, including their address, ID, and voting power
operatorsIdsByAddress	Returns the operator ID associated with the given operator address
getOperatorPaymentDetail	Returns the payment details for a given operator ID
votingPower(address)	Get Voting Power for an Operator.

verifyOperatorValidForTaskDefinition

Verifies whether an operator meets the requirements for a given task definition, including minimum voting power.

Property	Type	Description
_operator	address	The address of the operator
_taskDefinitionId	uint16	The ID of the task definition to validate against

---

Slashing Functions

Roles Configuration

These functions are only callable by the governance multisig AVS_GOVERNANCE_MULTISIG role.

Function	Description
setEjector(address _ejector)	Set EJECTOR role
revokeEjector(address _ejector)	Revoke EJECTOR role
setSlasher(address _slasher)	Set SLASHER role
revokeSlasher(address _slasher)	Revoke SLASHER role

---

Task-Specific Slashing Configuration

If a Task's execution or validation logic is still being tested or isn't fully deterministic, slashing should be disabled until it's production-ready.

setIsRejectedTaskSlashingEnabled

Enable or disable Rejected Task slashing condition for a given task definition Id.

function setIsRejectedTaskSlashingEnabled(
    uint16 _taskDefinitionId,
    bool _enabled
)

Parameter	Type	Description
_taskDefinitionId	uint16	Task Definition Id
_enabled	bool	Enable/ disable this slashing condition

setIsIncorrectAttestationSlashingEnabled

Enable or disable Incorrect Attestation slashing condition for a given task definition Id.

function setIsIncorrectAttestationSlashingEnabled(
    uint16 _taskDefinitionId,
    bool _enabled
)

---

Challenger System

setChallengerRewardFee

This function is used to configure reward amount that a successful challenger receives when they submit a valid slashing proof.

function setChallengerRewardFee(uint256 _challengerRewardFee)

Parameter	Type	Description
_challengerRewardFee	uint256	Sets the incentive (in wei units)

slashOperatorForIncorrectAttestation

function slashOperatorForIncorrectAttestation(
    IncorrectAttestationSlashingDetails _details,
    TaskInfo _taskInfo
)

Parameters:

• _details: IncorrectAttestationSlashingDetails struct containing

  Parameter	Type	Description
  operator	address	The address of the operator being accused of submitting an incorrect attestation.
  isApproved	bool	The final consensus result for the task — true if the task was approved, false if rejected. Used to validate that the operator’s attestation contradicts this result.
  incorrectSignature	uint256[2]	The signature submitted by the operator in their attestation (typically an ECDSA signature, broken into 2 parts: r and s).
  taSignature	uint256[2]	The signature from the Task Authority or consensus verifier confirming the final result (isApproved). Serves as the deterministic proof of what the correct attestation should have been.
  attesterIds	uint256[]	A list of attester IDs who participated in the consensus. Used to verify that a consensus was properly formed and that the operator's attestation deviates from it.

• _taskInfo: TaskInfo Struct containing

  Parameter	Type	Description
  proofOfTask	string	Proof Of Task
  data	bytes	Additional Task Data
  taskPerformer	address	Address of the Task Performer
  taskDefinitionId	uint16	Task definition ID (to check if slashing is enabled)

slashOperatorForDoubleAttestation

function slashOperatorForDoubleAttestation(
    DoubleAttestationSlashingDetails _details,
    TaskInfo _taskInfo
)

Parameters:

• _details: DoubleAttestationSlashingDetails struct containing

  Parameter	Type	Description
  operator	address	The address of the operator being accused of submitting an incorrect attestation.
  trueBlsSignature	uint256[2]	The BLS signature corresponding to the true attestation
  falseBlsSignature	uint256[2]	The BLS signature corresponding to the false attestation

• _taskInfo: TaskInfo struct containing

  Parameter	Type	Description
  proofOfTask	string	Proof Of Task
  data	bytes	Additional Task Data
  taskPerformer	address	Address of the Task Performer
  taskDefinitionId	uint16	Task definition ID (to check if slashing is enabled)

---

Custom Slashing

ejectOperatorFromNetwork

Immediately removes the operator from the AVS network.

function ejectOperatorFromNetwork(address _operator) external;

Parameter	Type	Description
_operator	address	The address of the operator to be ejected from the AVS.

applyCustomSlashing

Directly slashes a custom amount of stake from the operator across one more staking contracts.

function applyCustomSlashing(address _operator,
    SlashingContractInfo[] memory _slashingContractInfos) 

Parameters:

• _operator (address) - the address of the operator to be slashed

• _slashingContractInfos (SlashingContractInfo[]) - a list of structs defining how much stake to slash from which staking contracts. Each entry specifies:

Parameter	Type	Description
stakingContract	address	The staking contract from which stake will be slashed.
sharedSecurityProvider	SharedSecurityProvider	Use 0 for Eigen Layer
wadsToSlash	uint256	The amount of stake to slash, denominated in 18 decimals (e.g., 1e18 represents 1 token).