ZK Proofs

Verifiable compute

Generate ZK proofs of computation inside a TEE. Verified on-chain.

0x0000000000000000000000000000000000000806Explorer

Interactive form — coming next session

Two-phase async UI in progress. The precompile itself is 0x0000000000000000000000000000000000000806 and live on testnet — use the canonical Solidity / viem code below to integrate from your own contract.

ABI summary

// ExecutorRequest layout (NOT LongRunningRequest — silent revert otherwise)
(
  address executor,
  bytes circuitInput,         // serialized public + private inputs
  uint256 deadlineBlock,
  bytes32 circuitHash,
  ...14 fields total
)
→ delivers proof bytes

Callback pattern

Two-phase precompiles deliver results via AsyncDelivery at 0x5A16214fF555848411544b005f7Ac063742f39F6 calling your contract’s callback. Always verify msg.sender == ASYNC_DELIVERY to prevent injection.

function onZKResultDelivered(bytes32 jobId, bytes calldata result) external {
    require(msg.sender == ASYNC_DELIVERY, "unauth");
    // ... decode result based on this precompile's response ABI
}

Read the spectwo-phase · zk