Circuit (Zero‑Knowledge)
Constraint system that encodes a computation for proving and verifying via zk‑SNARKs or zk‑STARKs.
Constraint system that encodes a computation for proving and verifying via zk‑SNARKs or zk‑STARKs.
Hash‑based identifier used in IPFS and content‑addressed storage to reference immutable data.
Periodically committed state summary that accelerates sync and helps finalize or validate recent history.
AMM design that maintains an invariant like x*y=k or more complex functions to price swaps.
Ability of a protocol to include valid transactions and data despite adversarial actors or regulators.
The officially supported cross‑chain bridge for a network, generally with security assumptions closest to the core protocol.
Event where the canonical chain switches to a different branch, replacing recent blocks due to consensus.
Unique identifier for an EVM chain used to prevent replay across networks and select correct signer domain.
Custodial trading platform that holds user funds and matches orders off‑chain, opposite of a DEX.
Solidity data location specifier for function parameters, marking them as read‑only and non‑modifiable.