{
"addresses": {
"ethereum": [
{
"name": "Diamond",
"isVerified": true,
"address": "eth:0x0583Ef2B6416cb7B287406438B940E4d99680C5B",
"upgradeability": {
"proxyType": "EIP2535 diamond proxy",
"admins": [],
"implementations": [
"eth:0xf9DD56364E3878056654C756cEBA692e577f8466",
"eth:0xB0D33d94aD4048070f510eF0086F12d20595dd07",
"eth:0xFA565846c217Bc0bA0f75027D4eECccdD68a9708",
"eth:0x56767eB2E3197A1dfa030faaD4A65cF38E807c81"
],
"immutable": false
},
"chain": "ethereum",
"pastUpgrades": [
{
"timestamp": 1764062519,
"transactionHash": "0xaa1dbb6591bbc6c81cd9378502e6ae8f73f2da3de4dcec9b185b21bbdd650578",
"implementations": [
"eth:0x8C653b99f18Eb3bAb927519990bfC281500b0De6",
"eth:0x1807f10E686E5Cd6A655cF7343f093a7372cAf34",
"eth:0x3Be4B380F277Cb02dF56712667f7F8FA1Ca1536d",
"eth:0x6fB87A1dd4DE3bDbB96f2FA9ac7FCb74b7d4C792"
]
},
{
"timestamp": 1764062519,
"transactionHash": "0xaa1dbb6591bbc6c81cd9378502e6ae8f73f2da3de4dcec9b185b21bbdd650578",
"implementations": [
"eth:0x8C653b99f18Eb3bAb927519990bfC281500b0De6",
"eth:0x1807f10E686E5Cd6A655cF7343f093a7372cAf34",
"eth:0x3Be4B380F277Cb02dF56712667f7F8FA1Ca1536d",
"eth:0x6fB87A1dd4DE3bDbB96f2FA9ac7FCb74b7d4C792"
]
},
{
"timestamp": 1764062519,
"transactionHash": "0xaa1dbb6591bbc6c81cd9378502e6ae8f73f2da3de4dcec9b185b21bbdd650578",
"implementations": [
"eth:0x8C653b99f18Eb3bAb927519990bfC281500b0De6",
"eth:0x1807f10E686E5Cd6A655cF7343f093a7372cAf34",
"eth:0x3Be4B380F277Cb02dF56712667f7F8FA1Ca1536d",
"eth:0x6fB87A1dd4DE3bDbB96f2FA9ac7FCb74b7d4C792"
]
},
{
"timestamp": 1768899023,
"transactionHash": "0x5a347ad3e11919a37fd5cc2e3f933678ebbbf11b6bcd4f2e1cf6f9f80b6e7462",
"implementations": [
"eth:0xf9DD56364E3878056654C756cEBA692e577f8466",
"eth:0xB0D33d94aD4048070f510eF0086F12d20595dd07",
"eth:0xFA565846c217Bc0bA0f75027D4eECccdD68a9708",
"eth:0x56767eB2E3197A1dfa030faaD4A65cF38E807c81"
]
},
{
"timestamp": 1770285503,
"transactionHash": "0x3837cd476c7e8b1131d519f1dd8aed9cb1fbd779716260b0ff79196520f81b21",
"implementations": [
"eth:0xf9DD56364E3878056654C756cEBA692e577f8466",
"eth:0xB0D33d94aD4048070f510eF0086F12d20595dd07",
"eth:0xFA565846c217Bc0bA0f75027D4eECccdD68a9708",
"eth:0x56767eB2E3197A1dfa030faaD4A65cF38E807c81"
]
},
{
"timestamp": 1775673407,
"transactionHash": "0x4428eb3c0a1be76b850c3a1cd744087320aa49dfa2304311ed0579c10ec1e568",
"implementations": [
"eth:0xf9DD56364E3878056654C756cEBA692e577f8466",
"eth:0xB0D33d94aD4048070f510eF0086F12d20595dd07",
"eth:0xFA565846c217Bc0bA0f75027D4eECccdD68a9708",
"eth:0x8991bF7Ed45ad2B8352efbaB83aD6e00c056a61c"
]
},
{
"timestamp": 1775739935,
"transactionHash": "0x08471063fd03e8dacd215a9c030f4c54a0f002c778a9a8283bc5161efae20e39",
"implementations": [
"eth:0xf9DD56364E3878056654C756cEBA692e577f8466",
"eth:0xB0D33d94aD4048070f510eF0086F12d20595dd07",
"eth:0xFA565846c217Bc0bA0f75027D4eECccdD68a9708",
"eth:0x56767eB2E3197A1dfa030faaD4A65cF38E807c81"
]
}
],
"description": "The main contract defining the Layer 2. Operator actions like commiting blocks, providing ZK proofs and executing batches ultimately target this contract which then processes transactions. During batch execution it processes L1 --> L2 and L2 --> L1 transactions.\n* Roles:\n * **getAdmin**: ChainAdminOwnable; ultimately ADI Multisig 1",
"discoveryDrivenData": true,
"url": "https://etherscan.io/address/0x0583Ef2B6416cb7B287406438B940E4d99680C5B#code"
},
{
"name": "ZKsyncOSChainTypeManager",
"isVerified": true,
"address": "eth:0x08A1D2962fC29AA46e869A1E7561112cc1026EfA",
"upgradeability": {
"proxyType": "EIP1967 proxy",
"admins": [
"eth:0x8140aBB60c9AfB5241D90af948Cfa7644b2D3217"
],
"implementations": [
"eth:0x721e27269ce348F71bdAAd7B7b033Afa60e404e0"
]
},
"chain": "ethereum",
"pastUpgrades": [
{
"timestamp": 1764062063,
"transactionHash": "0xa5b440f6a0256100dac3d76a00374198366113b10688034f6b014b247a31cee4",
"implementations": [
"eth:0x191D1D51a9CBe988E69ad3D27eFab60663e5ed61"
]
},
{
"timestamp": 1768897787,
"transactionHash": "0x9443189514311b66d96da238adb1a18e3043616a45b62a6e99cd6f64b5996e81",
"implementations": [
"eth:0x721e27269ce348F71bdAAd7B7b033Afa60e404e0"
]
}
],
"description": "[FORK] This contract is not the standard hub contract from the Elastic network but a local fork for ADI chain. Defines L2 diamond contract versions, creation and upgrade data and the proof system for all ZK stack chains connected to it. ZK chains are children of this central contract and can only upgrade to versions that were previously registered here. The current protocol version is 0,30,1.\n* Roles:\n * **admin**: ChainAdminOwnable, ProxyAdmin; ultimately ADI Multisig 2, Governance\n * **owner**: Governance",
"upgradableBy": [
{
"name": "Governance",
"delay": "no"
}
],
"discoveryDrivenData": true,
"url": "https://etherscan.io/address/0x08A1D2962fC29AA46e869A1E7561112cc1026EfA#code"
},
{
"name": "RollupDAManager",
"isVerified": true,
"address": "eth:0x57B05e2394B3A12708C552A891f8b0f93645EdEA",
"upgradeability": {
"proxyType": "immutable",
"admins": [],
"implementations": [],
"immutable": true
},
"chain": "ethereum",
"description": "Simple registry for allowed DA validators for different data availability modes. Scheme 3 is used by default RollupL1DAValidator, the commitment includes EIP-4844 blobs data. Scheme 4 is used only for ZKsyncOS, it is keccak of blob versioned hashes filled with pubdata.\n* Roles:\n * **owner**: Governance",
"discoveryDrivenData": true,
"url": "https://etherscan.io/address/0x57B05e2394B3A12708C552A891f8b0f93645EdEA#code"
},
{
"name": "L1Nullifier",
"isVerified": true,
"address": "eth:0x5E5a72077dFB354Dfe61200b8f31fa491F9B9Cea",
"upgradeability": {
"proxyType": "EIP1967 proxy",
"admins": [
"eth:0x8140aBB60c9AfB5241D90af948Cfa7644b2D3217"
],
"implementations": [
"eth:0x64E12498Afe66FAD714417E3fA7824E67189b31d"
]
},
"chain": "ethereum",
"pastUpgrades": [
{
"timestamp": 1764060407,
"transactionHash": "0xc8f25c8c05512ee3427467c81af5e2b8374ce4cd605988d6a7079bc98438c451",
"implementations": [
"eth:0x64E12498Afe66FAD714417E3fA7824E67189b31d"
]
}
],
"description": "Contract responsible for bookkeeping L1 bridging transactions. Used to finalize withdrawals and reclaim failed deposits. Does not escrow funds.\n* Roles:\n * **admin**: ProxyAdmin; ultimately Governance\n * **owner**: Safe",
"upgradableBy": [
{
"name": "Governance",
"delay": "no"
}
],
"discoveryDrivenData": true,
"url": "https://etherscan.io/address/0x5E5a72077dFB354Dfe61200b8f31fa491F9B9Cea#code"
},
{
"name": "L1MessageRoot",
"isVerified": true,
"address": "eth:0x783e8Cb57366888F84d815fd53c3aeE99b2d6d37",
"upgradeability": {
"proxyType": "EIP1967 proxy",
"admins": [
"eth:0x8140aBB60c9AfB5241D90af948Cfa7644b2D3217"
],
"implementations": [
"eth:0x5BaC331B75f3bF88148bfb0be2a76be4FBb05417"
]
},
"chain": "ethereum",
"pastUpgrades": [
{
"timestamp": 1764060407,
"transactionHash": "0x20dedea6ad2da50130929c575615065d3842ab03ead9c9038f2e649172a2b94f",
"implementations": [
"eth:0x5BaC331B75f3bF88148bfb0be2a76be4FBb05417"
]
}
],
"description": "Aggregates remote bridge message roots from all ZK stack chains. To be used with the Gateway when deployed.\n* Roles:\n * **admin**: ProxyAdmin; ultimately Governance",
"upgradableBy": [
{
"name": "Governance",
"delay": "no"
}
],
"discoveryDrivenData": true,
"url": "https://etherscan.io/address/0x783e8Cb57366888F84d815fd53c3aeE99b2d6d37#code"
},
{
"name": "BridgeHub",
"isVerified": true,
"address": "eth:0x7a38c18a229Ef8a0AE7104Ba272A46280f2d59Cb",
"upgradeability": {
"proxyType": "EIP1967 proxy",
"admins": [
"eth:0x8140aBB60c9AfB5241D90af948Cfa7644b2D3217"
],
"implementations": [
"eth:0xcf1c73439c85f7eB9d4439dAf398Fd6392d176E6"
]
},
"chain": "ethereum",
"pastUpgrades": [
{
"timestamp": 1764060407,
"transactionHash": "0x24b5555ead6371a88f4727edf42d0a2d07901ce8b698fe2e999feebde6dd3fbe",
"implementations": [
"eth:0xcf1c73439c85f7eB9d4439dAf398Fd6392d176E6"
]
}
],
"description": "[FORK] This contract is not the standard hub contract from the Elastic network but a local fork for ADI chain. The main registry (hub) for chain contracts (supports more than ADI chain) and central entrypoint for bridge transactions. Stores important mappings like from chainId to diamond address, from chainId to parent CTM, from chainId to base token etc. A clone of Bridgehub is also deployed on each L2 chain, but this clone is only used on settlement layers.\n* Roles:\n * **admin**: ChainAdminOwnable, ProxyAdmin; ultimately ADI Multisig 2, Governance\n * **owner**: Governance",
"upgradableBy": [
{
"name": "Governance",
"delay": "no"
}
],
"discoveryDrivenData": true,
"url": "https://etherscan.io/address/0x7a38c18a229Ef8a0AE7104Ba272A46280f2d59Cb#code"
},
{
"name": "CTMDeploymentTracker",
"isVerified": true,
"address": "eth:0xaCD4a320f8a45abE71756B85DF519201d041EA5f",
"upgradeability": {
"proxyType": "EIP1967 proxy",
"admins": [
"eth:0x8140aBB60c9AfB5241D90af948Cfa7644b2D3217"
],
"implementations": [
"eth:0xB3AE8d7a583278C25faD1714F342AE284046fEa4"
]
},
"chain": "ethereum",
"pastUpgrades": [
{
"timestamp": 1764060407,
"transactionHash": "0xe48b3a261a691f2d2fbdfe9226d0c5a2bd4900493b790aa1cd97544d35856cfd",
"implementations": [
"eth:0xB3AE8d7a583278C25faD1714F342AE284046fEa4"
]
}
],
"description": "Asset deployment tracker where the 'asset' is a ChainTypeManager. The registering of asset IDs for ChainTypeManagers is necessary to be able to migrate them to a given settlement layer, for example the Gateway.\n* Roles:\n * **admin**: ProxyAdmin; ultimately Governance",
"upgradableBy": [
{
"name": "Governance",
"delay": "no"
}
],
"discoveryDrivenData": true,
"url": "https://etherscan.io/address/0xaCD4a320f8a45abE71756B85DF519201d041EA5f#code"
},
{
"name": "ValidatorTimelock",
"isVerified": true,
"address": "eth:0xE28cAc160C2a79dFA1fbd2169AC5fa5d061cf186",
"upgradeability": {
"proxyType": "EIP1967 proxy",
"admins": [
"eth:0x8140aBB60c9AfB5241D90af948Cfa7644b2D3217"
],
"implementations": [
"eth:0x6CB28384f21B18924FA312AA2E10D4E813e66263"
]
},
"chain": "ethereum",
"pastUpgrades": [
{
"timestamp": 1764061739,
"transactionHash": "0x3495b74edc718006ba1b887dadf4fcf2fa6aaafa16a9b38dfe35234fa4f5177b",
"implementations": [
"eth:0x406f329645E323B1bd1C020a219e30E6DAf4f899"
]
},
{
"timestamp": 1768897787,
"transactionHash": "0x9443189514311b66d96da238adb1a18e3043616a45b62a6e99cd6f64b5996e81",
"implementations": [
"eth:0x6CB28384f21B18924FA312AA2E10D4E813e66263"
]
}
],
"description": "Intermediary contract between the *Validators* and the central diamond contract that delays block execution (ie withdrawals and other L2 --> L1 messages) by 0s.\n* Roles:\n * **admin**: ProxyAdmin; ultimately Governance\n * **validatorVTL**: EOA 1, EOA 2, EOA 3, EOA 4",
"upgradableBy": [
{
"name": "Governance",
"delay": "no"
}
],
"discoveryDrivenData": true,
"url": "https://etherscan.io/address/0xE28cAc160C2a79dFA1fbd2169AC5fa5d061cf186#code"
},
{
"name": "ChainAdminOwnable",
"isVerified": true,
"address": "eth:0x0a8a2473cc5731575a94f58F470851Bc6695B5B8",
"upgradeability": {
"proxyType": "immutable",
"admins": [],
"implementations": [],
"immutable": true
},
"chain": "ethereum",
"description": "A governance proxy that lets ADI Multisig 1 act through it.\n* Roles:\n * **owner**: ADI Multisig 1\n * **tokenMultiplierSetter**: EOA 5",
"discoveryDrivenData": true,
"url": "https://etherscan.io/address/0x0a8a2473cc5731575a94f58F470851Bc6695B5B8#code"
},
{
"name": "ChainAdminOwnable",
"isVerified": true,
"address": "eth:0x2d6E82F1f8fba89a67cc8d742B12633db4732Ca7",
"upgradeability": {
"proxyType": "immutable",
"admins": [],
"implementations": [],
"immutable": true
},
"chain": "ethereum",
"description": "A governance proxy that lets ADI Multisig 2 act through it.\n* Roles:\n * **owner**: ADI Multisig 2",
"discoveryDrivenData": true,
"url": "https://etherscan.io/address/0x2d6E82F1f8fba89a67cc8d742B12633db4732Ca7#code"
},
{
"name": "L1ERC20Bridge",
"isVerified": true,
"address": "eth:0xfA8B5EA9b8d36a72Eb0ba66Cc7aBc83d9deeC3B8",
"upgradeability": {
"proxyType": "immutable",
"admins": [],
"implementations": [],
"immutable": true
},
"chain": "ethereum",
"description": "Legacy bridge for depositing ERC20 tokens to ADI Chain.\n",
"discoveryDrivenData": true,
"url": "https://etherscan.io/address/0xfA8B5EA9b8d36a72Eb0ba66Cc7aBc83d9deeC3B8#code"
},
{
"name": "ZKsyncOSVerifierPlonk",
"isVerified": true,
"address": "eth:0x08513A4646d1Bc8c348C67A3680bb19626E7F13F",
"upgradeability": {
"proxyType": "immutable",
"admins": [],
"implementations": [],
"immutable": true
},
"chain": "ethereum",
"description": "",
"discoveryDrivenData": true,
"url": "https://etherscan.io/address/0x08513A4646d1Bc8c348C67A3680bb19626E7F13F#code"
},
{
"name": "L1NativeTokenVault",
"isVerified": true,
"address": "eth:0x0A0F8912162Ff83A036883dbaDA42efF647a3065",
"upgradeability": {
"proxyType": "EIP1967 proxy",
"admins": [
"eth:0x8140aBB60c9AfB5241D90af948Cfa7644b2D3217"
],
"implementations": [
"eth:0x2FC2a2dB562046C732d3aB0f4e1c1F62C3eE8e3E"
]
},
"chain": "ethereum",
"pastUpgrades": [
{
"timestamp": 1764060407,
"transactionHash": "0x70c7ca0de2ffe71507b4900352721efaa0dcefe222c0e248e3c2149c6e981a06",
"implementations": [
"eth:0x2FC2a2dB562046C732d3aB0f4e1c1F62C3eE8e3E"
]
}
],
"description": "Canonical central asset escrow for all ZK stack chains.\n* Roles:\n * **admin**: ProxyAdmin; ultimately Governance\n * **owner**: Safe",
"upgradableBy": [
{
"name": "Governance",
"delay": "no"
}
],
"discoveryDrivenData": true,
"url": "https://etherscan.io/address/0x0A0F8912162Ff83A036883dbaDA42efF647a3065#code"
},
{
"name": "ProxyAdmin",
"isVerified": true,
"address": "eth:0x34f56Ba641aC59E897c6179ffeCAe9769fbfC90C",
"upgradeability": {
"proxyType": "immutable",
"admins": [],
"implementations": [],
"immutable": true
},
"chain": "ethereum",
"description": "* Roles:\n * **owner**: ChainAdminOwnable",
"discoveryDrivenData": true,
"url": "https://etherscan.io/address/0x34f56Ba641aC59E897c6179ffeCAe9769fbfC90C#code"
},
{
"name": "ZKsyncOSDualVerifier",
"isVerified": true,
"address": "eth:0x5E7cF1C310F9E0BF8DbFe70D5cC8021a2109D0AE",
"upgradeability": {
"proxyType": "immutable",
"admins": [],
"implementations": [],
"immutable": true
},
"chain": "ethereum",
"description": "A router contract for verifiers. Routes verification requests to THE PLONK VERIFIER ONLY depending on the supplied proof version.\n",
"discoveryDrivenData": true,
"url": "https://etherscan.io/address/0x5E7cF1C310F9E0BF8DbFe70D5cC8021a2109D0AE#code"
},
{
"name": "ProxyAdmin",
"isVerified": true,
"address": "eth:0x8140aBB60c9AfB5241D90af948Cfa7644b2D3217",
"upgradeability": {
"proxyType": "immutable",
"admins": [],
"implementations": [],
"immutable": true
},
"chain": "ethereum",
"description": "* Roles:\n * **owner**: Governance",
"discoveryDrivenData": true,
"url": "https://etherscan.io/address/0x8140aBB60c9AfB5241D90af948Cfa7644b2D3217#code"
},
{
"name": "L1ChainAssetHandler",
"isVerified": true,
"address": "eth:0x924E0145347243a94C5C69e372Ca52c77f8e6CF1",
"upgradeability": {
"proxyType": "EIP1967 proxy",
"admins": [
"eth:0x8140aBB60c9AfB5241D90af948Cfa7644b2D3217"
],
"implementations": [
"eth:0x0C06695f21B118a9A10101D303f00575A566D1A0"
]
},
"chain": "ethereum",
"pastUpgrades": [
{
"timestamp": 1764060407,
"transactionHash": "0x1d89af101c273be6c173849a3f16c585fd26e85eb0e03e10ad2ac72012c9a66d",
"implementations": [
"eth:0x0C06695f21B118a9A10101D303f00575A566D1A0"
]
}
],
"description": "Specialized contract for managing chain assets, i.e. chain migrations.\n* Roles:\n * **admin**: ProxyAdmin; ultimately Governance",
"upgradableBy": [
{
"name": "Governance",
"delay": "no"
}
],
"discoveryDrivenData": true,
"url": "https://etherscan.io/address/0x924E0145347243a94C5C69e372Ca52c77f8e6CF1#code"
},
{
"name": "ServerNotifier",
"isVerified": true,
"address": "eth:0xd477bd7f14F9A26ebd51827EFB1d40a41f71b70C",
"upgradeability": {
"proxyType": "EIP1967 proxy",
"admins": [
"eth:0x34f56Ba641aC59E897c6179ffeCAe9769fbfC90C"
],
"implementations": [
"eth:0xDc64B98F394A8bf980F777631352029C9114e2e6"
]
},
"chain": "ethereum",
"pastUpgrades": [
{
"timestamp": 1764061739,
"transactionHash": "0x72192c4f02430295786d5865c815e8e9499e896f37cb49635478d0096cc8b2cc",
"implementations": [
"eth:0xDc64B98F394A8bf980F777631352029C9114e2e6"
]
}
],
"description": "A simple contract that can be called by the ChainAdmin to emit notifications about chain migrations.\n* Roles:\n * **admin**: ProxyAdmin; ultimately ADI Multisig 2",
"upgradableBy": [
{
"name": "ADI Multisig 2",
"delay": "no"
}
],
"discoveryDrivenData": true,
"url": "https://etherscan.io/address/0xd477bd7f14F9A26ebd51827EFB1d40a41f71b70C#code"
},
{
"name": "ZKsyncOSVerifierFflonk",
"isVerified": true,
"address": "eth:0xF6b3708BE4192CE4526c2F87D4c3eABA79230E6A",
"upgradeability": {
"proxyType": "immutable",
"admins": [],
"implementations": [],
"immutable": true
},
"chain": "ethereum",
"description": "Verifies a zk-SNARK proof using an implementation of the fflonk proof system.\n",
"discoveryDrivenData": true,
"url": "https://etherscan.io/address/0xF6b3708BE4192CE4526c2F87D4c3eABA79230E6A#code"
},
{
"name": "BlobsL1DAValidatorZKsyncOS",
"isVerified": true,
"address": "eth:0xFB630a206E6D7485cB9DFa929859E1a977F0a211",
"upgradeability": {
"proxyType": "immutable",
"admins": [],
"implementations": [],
"immutable": true
},
"chain": "ethereum",
"description": "DA verifier specifically for zksync OS chains. It keeps track of blob versioned hashes and checks if blob with particular hash was published.\n",
"discoveryDrivenData": true,
"url": "https://etherscan.io/address/0xFB630a206E6D7485cB9DFa929859E1a977F0a211#code"
}
]
},
"escrows": [
{
"address": "0x0A0F8912162Ff83A036883dbaDA42efF647a3065",
"sinceTimestamp": 1764060407,
"tokens": "*",
"contract": {
"isVerified": true,
"address": "eth:0x0A0F8912162Ff83A036883dbaDA42efF647a3065",
"upgradeability": {
"proxyType": "EIP1967 proxy",
"admins": [
"eth:0x8140aBB60c9AfB5241D90af948Cfa7644b2D3217"
],
"implementations": [
"eth:0x2FC2a2dB562046C732d3aB0f4e1c1F62C3eE8e3E"
]
},
"chain": "ethereum",
"pastUpgrades": [
{
"timestamp": 1764060407,
"transactionHash": "0x70c7ca0de2ffe71507b4900352721efaa0dcefe222c0e248e3c2149c6e981a06",
"implementations": [
"eth:0x2FC2a2dB562046C732d3aB0f4e1c1F62C3eE8e3E"
]
}
],
"description": "Main escrow contract of ADI chain.",
"url": "https://etherscan.io/address/0x0A0F8912162Ff83A036883dbaDA42efF647a3065#code"
},
"chain": "ethereum",
"includeInTotal": true,
"chainId": 1
}
],
"risks": [
{
"category": "Funds can be stolen if",
"text": "a contract receives a malicious code upgrade. There is no delay on code upgrades.",
"isCritical": true
}
],
"zkVerifiers": [
"eth:0xF6b3708BE4192CE4526c2F87D4c3eABA79230E6A",
"eth:0x08513A4646d1Bc8c348C67A3680bb19626E7F13F"
]
}
airbender+4-18
zkCatalogInfo+4-18
{
"creator": "Matter Labs",
"projectsForTvs": [
{
"projectId": "adi",
"sinceTimestamp": 1764107759
}
],
"proofSystemInfo": "## Description\n\nAirbender is the most advanced zkVM developed by Matter Labs. It operates on RISC-V ISA and is designed to prove state transition function of [zk stack](https://zkstack.io) chains in combination with [ZKsync OS](https://github.com/matter-labs/zksync-os), but also more general RISC-V programs. Airbender proofs could be [wrapped into Fflonk SNARK](https://github.com/matter-labs/zkos-wrapper) for efficient onchain verification. Airbender initial release [targets 81 bits of security](https://x.com/eth_proofs/status/1942468407896543694).\n\n## Proof system\n\nAirbender implements a rather standard zkVM: AIR constraints, [DEEP-FRI](https://eprint.iacr.org/2019/336) polynomial testing, RISC-V instructions with the program being stored in read-only memory and accessed by lookup arguments, recursive proving. \n\nMany parts of the stack are optimized for speed and efficiency, including a small Mersenne31 field over which the computation trace is generated and a simple degree 2 AIR constraints. Airbender prover could also be run in application mode without signed multiplication and division operations, thus reducing circuit complexity.\n\n### Recursion circuits\n\nAirbender targets proving batches of size 2**22 (~4 M) clock cycles. The proofs of such batches are pairwise recursively aggregated using zkVM in recursion mode. For onchain verification, the final Airbender STARK is [compressed using Boojum compressor](https://github.com/matter-labs/zkos-wrapper) and then wrapped into a Fflonk SNARK with KZG. The KZG commitment is done over BN254 curve and it uses Aztec Ignition trusted setup ceremony, see [below](#trusted-setups) for more details.",
"techStack": {
"zkVM": [
{
"id": "Airbender",
"type": "STARK",
"name": "Airbender",
"description": "zkVM STARK proving system operating on RISC-V ISA, developed by Matter Labs."
},
{
"id": "RISCV32",
"type": "ISA",
"name": "RISC-V 32bit",
"description": "Free and open-source universal 32-bit ISA used across a variety of hardware and software."
},
{
"id": "Mersenne31",
"type": "Field",
"name": "Mersenne31",
"description": "Prime field of order p = 2**31 - 1."
}
],
"finalWrap": [
{
"id": "Zksync",
"type": "Fflonk",
"name": "Zksync",
"description": "Matter Labs Rust implementation of Fflonk improvement over standard Plonk proving system."
},
{
"id": "BN254",
"type": "curve",
"name": "BN254",
"description": "BN254, aka BN256, aka alt_bn128 pairing-friendly 254-bit prime field Weierstrass elliptic curve."
}
]
},
"trustedSetups": [
{
"proofSystem": {
"id": "Bellman",
"type": "Plonk",
"name": "Bellman",
"description": "Bellman Rust library for Plonk proving system, originally developed for ZCash."
},
"id": "AztecIgnition",
"name": "Aztec Ignition",
"participantCount": 176,
"risk": "green",
"shortDescription": "Aztec Ignition is a trusted setup ceremony that was run by Aztec for KZG commitment over BN254 curve in 2019. It included 176 participants and was publicly open for participation.",
"longDescription": "Aztec Ignition is a trusted setup ceremony for KZG commitments over BN254 curve that was run by Aztec for KZG commitment over BN254 curve in 2019. \nIt included 176 participants and was publicly open for participation.\n\n- Github repo to download and verify the ceremony artifacts: [https://github.com/AztecProtocol/ignition-verification](https://github.com/AztecProtocol/ignition-verification).\n- Github repo with instructions for ceremony participants: [https://github.com/AztecProtocol/Setup](https://github.com/AztecProtocol/Setup).\n- Ceremony announcement with a call to participate: [https://aztec.network/blog/announcing-ignition](https://aztec.network/blog/announcing-ignition)."
},
{
"proofSystem": {
"id": "Zksync",
"type": "Fflonk",
"name": "Zksync",
"description": "Matter Labs Rust implementation of Fflonk improvement over standard Plonk proving system."
},
"id": "AztecIgnition",
"name": "Aztec Ignition",
"participantCount": 176,
"risk": "green",
"shortDescription": "Aztec Ignition is a trusted setup ceremony that was run by Aztec for KZG commitment over BN254 curve in 2019. It included 176 participants and was publicly open for participation.",
"longDescription": "Aztec Ignition is a trusted setup ceremony for KZG commitments over BN254 curve that was run by Aztec for KZG commitment over BN254 curve in 2019. \nIt included 176 participants and was publicly open for participation.\n\n- Github repo to download and verify the ceremony artifacts: [https://github.com/AztecProtocol/ignition-verification](https://github.com/AztecProtocol/ignition-verification).\n- Github repo with instructions for ceremony participants: [https://github.com/AztecProtocol/Setup](https://github.com/AztecProtocol/Setup).\n- Ceremony announcement with a call to participate: [https://aztec.network/blog/announcing-ignition](https://aztec.network/blog/announcing-ignition)."
}
],
"verifierHashes": [
{
"hash": "0x6f36a08c517b060fa97308cdb3e23b04842ff839d451a753ec8fae1a5408304a",
"name": "Airbender Fflonk Adi verifier",
"proofSystem": {
"id": "Zksync",
"type": "Fflonk",
"name": "Zksync",
"description": "Matter Labs Rust implementation of Fflonk improvement over standard Plonk proving system."
},
"knownDeployments": [
{
"address": "eth:0xF6b3708BE4192CE4526c2F87D4c3eABA79230E6A"
}
],
"verificationStatus": "notVerified"
},
{
"hash": "0x124ebcd537a1e1c152774dd18f67660e35625bba0b669bf3b4836d636b105337",
"name": "Airbender Plonk Adi verifier",
"sourceLink": "https://github.com/matter-labs/zksync-os/tree/v0.2.5/zksync_os",
"proofSystem": {
"id": "Bellman",
"type": "Plonk",
"name": "Bellman",
"description": "Bellman Rust library for Plonk proving system, originally developed for ZCash."
},
"knownDeployments": [
{
"address": "eth:0x08513A4646d1Bc8c348C67A3680bb19626E7F13F"
}
],
"verificationStatus": "notVerified",
"verificationStatus": "successful",
"attesters": [
{
"id": "l2beat",
"name": "L2BEAT",
"link": "https://l2beat.com"
}
]
],
"verificationSteps": "Verification steps below were done on a Linux machine and required ~64 GiB RAM. They are based on [this doc](https://github.com/ADI-Foundation-Labs/ADI-Stack-zkOS-Wrapper/blob/v0.5.4-b/docs/end_to_end.md).\n\n1. Install specific rust toolchain, docker and several rust crates that are required by the build:\n\n```\ncurl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh\n. .cargo/env\n\nrustup toolchain install nightly-2025-05-24\n# RISC-V target\nrustup target add riscv32i-unknown-none-elf --toolchain nightly-2025-05-24\n# For objcopy\ncargo install cargo-binutils\nrustup component add llvm-tools-preview --toolchain nightly-2025-05-24\n\n# one way to install docker\ncurl -fsSL https://download.docker.com/linux/ubuntu/gpg | sudo apt-key add -\nsudo add-apt-repository \"deb [arch=amd64] https://download.docker.com/linux/ubuntu focal stable\"\nsudo apt install -y docker-ce\nsudo usermod -aG docker ${USER}\n```\n\n2. Build the correct version of zksync OS RISC-V binary:\n\n```\ngit clone https://github.com/matter-labs/zksync-os.git\ncd zksync-os\ngit checkout v0.2.5 # commit hash should be 135013888f4ec0be3211dfd488050bbad8bd58c1\n\nchmod +x zksync_os/reproduce/reproduce.sh\n./zksync_os/reproduce/reproduce.sh\n```\n\nThe script will build `multiblock_batch.bin` binary in `zksync_os` dir, verify that it is the correct one:\n```\nmd5sum multiblock_batch.bin # the output should be e77ced130723f3e52099658d589a8454\n```\n\n3. Download the trusted setup file required for the final wrap circuits:\n\n```\ncurl https://storage.googleapis.com/matterlabs-setup-keys-us/setup-keys/setup_2\\^24.key --output setup.key\n```\n\n4. Generate the correct Airbender wrapper PLONK from the built binary and trusted setup file:\n```\ngit clone https://github.com/ADI-Foundation-Labs/ADI-Stack-zkOS-Wrapper\ncd ADI-Stack-zkOS-Wrapper\ngit checkout v0.5.4-b # commit hash be8fd7231c81c973349fcfa54303a257f7fa9408\nmkdir -p out\n\ncargo run --bin wrapper --release -- generate-snark-vk --input-binary {path to multiblock_batch.bin} --trusted-setup-file {path to setup.key} --output-dir out\n```\nThe script will print out the verifier hash."
}
]
}