Diff between e46f1ec5 (main) and 735761d6 (PR)

• brine +115 -10 Viewed

  • scalingInfo +2 -9 Viewed

    {
      "capability": "appchain",
      "daLayer": [
        "DAC"
      ],
      "hostChain": {
        "id": "ethereum",
        "slug": "ethereum",
        "name": "Ethereum"
      },
      "infrastructure": "SHARP",
      "layer": "layer2",
      "proofSystem": {
        "type": "Validity",
        "zkCatalogId": "stone"
      },
      "purposes": [
        "Exchange"
      ],
      "reasonsForBeingOther": [
        {
          "label": "Small DAC",
          "shortDescription": "There are less than 5 external actors that can attest data availability",
          "description": "Projects without a sufficiently decentralized data availability committee rely on few entities to safely attest data availability on Ethereum. A small set of entities can collude with the proposer to finalize an unavailable state, which can cause loss of funds."
        }
      ],
      "stacks": [
        "StarkEx"
      ],
      "stage": "Not applicable",
      "type": "Other",
      "stage": "Stage 0",
      "type": "Validium",
      "vm": [
        "AppChain"
      ]
    }

  • scalingStage +113 -1 Viewed

    {
      "stage": "NotApplicable"
      "missing": {
        "nextStage": "Stage 1",
        "requirements": [
          "Users are able to exit without the help of the permissioned operators, provided DA is accessible.",
          "In case of an unwanted upgrade by actors more centralized than a Security Council, users have at least 7d to exit.",
          "The Security Council is not properly set up.",
          "The DA verifier is non-upgradeable, or upgrades to it provide at least a 7d independent exit window.",
          "The DA layer does not meet minimum decentralization requirements (DAC <5 external members, or no attestation verifier for an external DA chain)."
        ],
        "principle": "Compromising ≥75% of the Security Council to push a malicious upgrade, or sequencer+DA-committee collusion to withhold data and finalize invalid state roots, should be the only ways (other than bugs) to steal funds or block withdrawals indefinitely."
      },
      "stage": "Stage 0",
      "summary": [
        {
          "stage": "Stage 0",
          "requirements": [
            {
              "satisfied": true,
              "description": "The project self-identifies as a Validium or Optimium."
            },
            {
              "satisfied": true,
              "description": "State roots are posted to Ethereum L1."
            },
            {
              "satisfied": true,
              "description": "A complete and functional proof system (fraud or validity proofs) is deployed."
            },
            {
              "satisfied": true,
              "description": "DA is attested by a committee or external DA layer, not solely by the sequencer."
            },
            {
              "satisfied": true,
              "description": "A source-available node exists that can reconstruct the L2 state when DA is accessible. Please note that the L2BEAT team has not verified the validity of the node source code. [View code](https://github.com/starkware-libs/starkex-contracts)"
            }
          ]
        },
        {
          "stage": "Stage 1",
          "requirements": [
            {
              "satisfied": "UnderReview",
              "description": "Users are able to exit without the help of the permissioned operators, provided DA is accessible."
            },
            {
              "satisfied": "UnderReview",
              "description": "In case of an unwanted upgrade by actors more centralized than a Security Council, users have at least 7d to exit."
            },
            {
              "satisfied": false,
              "description": "The Security Council is not properly set up."
            },
            {
              "satisfied": true,
              "description": "A secure DA verifier is integrated on L1 that checks DA attestations onchain, enabling challengers to retrieve data and construct proofs."
            },
            {
              "satisfied": "UnderReview",
              "description": "The DA verifier is non-upgradeable, or upgrades to it provide at least a 7d independent exit window."
            },
            {
              "satisfied": false,
              "description": "The DA layer does not meet minimum decentralization requirements (DAC <5 external members, or no attestation verifier for an external DA chain)."
            },
            {
              "satisfied": "UnderReview",
              "description": "The proof system meets the minimum trusted setup requirements defined in the L2BEAT [trusted setup assessment framework](https://forum.l2beat.com/t/the-trusted-setups-framework-for-zk-catalog/381).",
              "upcoming": true
            },
            {
              "satisfied": "UnderReview",
              "description": "Prover source code is published.",
              "upcoming": true
            },
            {
              "satisfied": "UnderReview",
              "description": "Onchain verifiers' smart contracts (including the DA verifier) can be independently regenerated from the verifier source code.",
              "upcoming": true
            },
            {
              "satisfied": "UnderReview",
              "description": "The sources of all programs used are public and program hashes can be independently regenerated.",
              "upcoming": true
            }
          ],
          "principle": {
            "satisfied": false,
            "description": "Compromising ≥75% of the Security Council to push a malicious upgrade, or sequencer+DA-committee collusion to withhold data and finalize invalid state roots, should be the only ways (other than bugs) to steal funds or block withdrawals indefinitely."
          }
        },
        {
          "stage": "Stage 2",
          "requirements": [
            {
              "satisfied": false,
              "description": "Upgrades unrelated to onchain provable bugs, including upgrades to the DA verifier, provide less than 30d to exit."
            },
            {
              "satisfied": false,
              "description": "The Security Council's actions are not confined to onchain provable bugs."
            },
            {
              "satisfied": "UnderReview",
              "description": "The DA verifier (and related contracts) is non-upgradeable, or upgrades to it provide at least a 30d independent exit window."
            },
            {
              "satisfied": false,
              "description": "The DA mechanism relies on reputational security alone; no staked assets are at risk for DA misbehavior or slashable < TVS."
            }
          ]
        }
      ]
    }

• celo +111 -2 Viewed

  • scalingInfo +1 -1 Viewed

    {
      "capability": "universal",
      "daLayer": [
        "EigenDA"
      ],
      "hostChain": {
        "id": "ethereum",
        "slug": "ethereum",
        "name": "Ethereum"
      },
      "infrastructure": "Superchain",
      "layer": "layer2",
      "proofSystem": {
        "type": "Optimistic",
        "zkCatalogId": "sp1hypercube",
        "challengeProtocol": "Single-step"
      },
      "purposes": [
        "Universal"
      ],
      "stacks": [
        "OP Stack"
      ],
      "stage": "Not applicable",
      "stage": "Stage 0",
      "type": "Optimium",
      "vm": [
        "EVM"
      ]
    }

  • scalingStage +110 -1 Viewed

    {
      "stage": "NotApplicable"
      "missing": {
        "nextStage": "Stage 1",
        "requirements": [
          "Upgrades executed by actors with more centralized control than a Security Council provide less than 7d for users to exit if the permissioned operator is down or censoring.",
          "The DA verifier is upgradeable with less than 7d independent exit window."
        ],
        "principle": "Compromising ≥75% of the Security Council to push a malicious upgrade, or sequencer+DA-committee collusion to withhold data and finalize invalid state roots, should be the only ways (other than bugs) to steal funds or block withdrawals indefinitely."
      },
      "stage": "Stage 0",
      "summary": [
        {
          "stage": "Stage 0",
          "requirements": [
            {
              "satisfied": true,
              "description": "The project self-identifies as a Validium or Optimium."
            },
            {
              "satisfied": true,
              "description": "State roots are posted to Ethereum L1."
            },
            {
              "satisfied": true,
              "description": "A complete and functional proof system (fraud or validity proofs) is deployed."
            },
            {
              "satisfied": true,
              "description": "DA is attested by a committee or external DA layer, not solely by the sequencer."
            },
            {
              "satisfied": true,
              "description": "A source-available node exists that can reconstruct the L2 state when DA is accessible. Please note that the L2BEAT team has not verified the validity of the node source code. [View code](https://github.com/celo-org/op-geth)"
            }
          ]
        },
        {
          "stage": "Stage 1",
          "requirements": [
            {
              "satisfied": true,
              "description": "Users are able to exit without the help of the permissioned operators, provided DA is accessible."
            },
            {
              "satisfied": false,
              "description": "Upgrades executed by actors with more centralized control than a Security Council provide less than 7d for users to exit if the permissioned operator is down or censoring."
            },
            {
              "satisfied": true,
              "description": "The Security Council is properly set up [(List of members)](https://docs.celo.org/home/protocol/security-council)."
            },
            {
              "satisfied": true,
              "description": "A secure DA verifier is integrated on L1 that checks DA attestations onchain, enabling challengers to retrieve data and construct proofs."
            },
            {
              "satisfied": false,
              "description": "The DA verifier is upgradeable with less than 7d independent exit window."
            },
            {
              "satisfied": true,
              "description": "The DA layer meets minimum decentralization: a DAC with ≥5 external members under an honest-minority assumption, or an external DA chain with an attestation verifier."
            },
            {
              "satisfied": false,
              "description": "The proof system does not meet the minimum trusted setup requirements defined in the L2BEAT [trusted setup assessment framework](https://forum.l2beat.com/t/the-trusted-setups-framework-for-zk-catalog/381).",
              "upcoming": true
            },
            {
              "satisfied": true,
              "description": "Prover source code is published. [View code](https://github.com/succinctlabs/sp1)",
              "upcoming": true
            },
            {
              "satisfied": true,
              "description": "Onchain verifiers' smart contracts (including the DA verifier) can be independently regenerated from the verifier source code.",
              "upcoming": true
            },
            {
              "satisfied": true,
              "description": "The sources of all programs used are public and program hashes can be independently regenerated.",
              "upcoming": true
            }
          ],
          "principle": {
            "satisfied": false,
            "description": "Compromising ≥75% of the Security Council to push a malicious upgrade, or sequencer+DA-committee collusion to withhold data and finalize invalid state roots, should be the only ways (other than bugs) to steal funds or block withdrawals indefinitely."
          }
        },
        {
          "stage": "Stage 2",
          "requirements": [
            {
              "satisfied": false,
              "description": "Upgrades unrelated to onchain provable bugs, including upgrades to the DA verifier, provide less than 30d to exit."
            },
            {
              "satisfied": false,
              "description": "The Security Council's actions are not confined to onchain provable bugs."
            },
            {
              "satisfied": false,
              "description": "The DA verifier (and related contracts) is upgradeable with less than 30d independent exit window."
            },
            {
              "satisfied": false,
              "description": "The DA mechanism relies on reputational security alone; no staked assets are at risk for DA misbehavior or slashable < TVS."
            }
          ]
        }
      ]
    }

• lens +106 -2 Viewed

  • scalingInfo +1 -1 Viewed

    {
      "capability": "universal",
      "daLayer": [
        "Avail"
      ],
      "hostChain": {
        "id": "ethereum",
        "slug": "ethereum",
        "name": "Ethereum"
      },
      "infrastructure": "Elastic Chain",
      "layer": "layer2",
      "proofSystem": {
        "type": "Validity",
        "zkCatalogId": "boojum"
      },
      "purposes": [
        "Universal",
        "Social"
      ],
      "stacks": [
        "ZK Stack"
      ],
      "stage": "Not applicable",
      "stage": "Stage 0",
      "type": "Validium",
      "vm": [
        "EVM"
      ]
    }

  • scalingStage +105 -1 Viewed

    {
      "stage": "NotApplicable"
      "missing": {
        "nextStage": "Stage 1",
        "requirements": [
          "Upgrades executed by actors with more centralized control than a Security Council provide less than 7d for users to exit if the permissioned operator is down or censoring.",
          "The Security Council is not properly set up."
        ],
        "principle": "Compromising ≥75% of the Security Council to push a malicious upgrade, or sequencer+DA-committee collusion to withhold data and finalize invalid state roots, should be the only ways (other than bugs) to steal funds or block withdrawals indefinitely."
      },
      "stage": "Stage 0",
      "summary": [
        {
          "stage": "Stage 0",
          "requirements": [
            {
              "satisfied": true,
              "description": "The project self-identifies as a Validium or Optimium."
            },
            {
              "satisfied": true,
              "description": "State roots are posted to Ethereum L1."
            },
            {
              "satisfied": true,
              "description": "A complete and functional proof system (fraud or validity proofs) is deployed."
            },
            {
              "satisfied": true,
              "description": "DA is attested by a committee or external DA layer, not solely by the sequencer."
            },
            {
              "satisfied": true,
              "description": "A source-available node exists that can reconstruct the L2 state when DA is accessible. Please note that the L2BEAT team has not verified the validity of the node source code. [View code](https://github.com/matter-labs/zksync-era)"
            }
          ]
        },
        {
          "stage": "Stage 1",
          "requirements": [
            {
              "satisfied": true,
              "description": "Users are able to exit without the help of the permissioned operators, provided DA is accessible."
            },
            {
              "satisfied": false,
              "description": "Upgrades executed by actors with more centralized control than a Security Council provide less than 7d for users to exit if the permissioned operator is down or censoring."
            },
            {
              "satisfied": false,
              "description": "The Security Council is not properly set up."
            },
            {
              "satisfied": true,
              "description": "A secure DA verifier is integrated on L1 that checks DA attestations onchain, enabling challengers to retrieve data and construct proofs. [View code](https://etherscan.io/address/0x8f50d93B9955B285f787043B30B5F51D09bE0120#code)"
            },
            {
              "satisfied": true,
              "description": "The DA verifier is non-upgradeable, or upgrades to it provide at least a 7d independent exit window."
            },
            {
              "satisfied": true,
              "description": "The DA layer meets minimum decentralization: a DAC with ≥5 external members under an honest-minority assumption, or an external DA chain with an attestation verifier."
            },
            {
              "satisfied": true,
              "description": "The proof system meets the minimum trusted setup requirements defined in the L2BEAT [trusted setup assessment framework](https://forum.l2beat.com/t/the-trusted-setups-framework-for-zk-catalog/381).",
              "upcoming": true
            },
            {
              "satisfied": true,
              "description": "Prover source code is published.",
              "upcoming": true
            },
            {
              "satisfied": true,
              "description": "The sources of all programs used are public and program hashes can be independently regenerated.",
              "upcoming": true
            }
          ],
          "principle": {
            "satisfied": false,
            "description": "Compromising ≥75% of the Security Council to push a malicious upgrade, or sequencer+DA-committee collusion to withhold data and finalize invalid state roots, should be the only ways (other than bugs) to steal funds or block withdrawals indefinitely."
          }
        },
        {
          "stage": "Stage 2",
          "requirements": [
            {
              "satisfied": false,
              "description": "Upgrades unrelated to onchain provable bugs, including upgrades to the DA verifier, provide less than 30d to exit."
            },
            {
              "satisfied": false,
              "description": "The Security Council's actions are not confined to onchain provable bugs."
            },
            {
              "satisfied": true,
              "description": "The DA verifier (and related contracts) is non-upgradeable, or upgrades to it provide at least a 30d independent exit window."
            },
            {
              "satisfied": false,
              "description": "The DA mechanism relies on reputational security alone; no staked assets are at risk for DA misbehavior or slashable < TVS."
            }
          ]
        }
      ]
    }

• myria +115 -10 Viewed

  • scalingInfo +2 -9 Viewed

    {
      "capability": "appchain",
      "daLayer": [
        "DAC"
      ],
      "hostChain": {
        "id": "ethereum",
        "slug": "ethereum",
        "name": "Ethereum"
      },
      "infrastructure": "SHARP",
      "layer": "layer2",
      "proofSystem": {
        "type": "Validity",
        "zkCatalogId": "stone"
      },
      "purposes": [
        "NFT",
        "Exchange",
        "Gaming"
      ],
      "reasonsForBeingOther": [
        {
          "label": "Low DAC threshold",
          "shortDescription": "The data availability committee threshold is too low",
          "description": "Projects with a low DAC threshold rely on the honesty of few entities to safely attest data availability on Ethereum. These entities can collude with the proposer to finalize an unavailable state, which can cause loss of funds."
        }
      ],
      "stacks": [
        "StarkEx"
      ],
      "stage": "Not applicable",
      "type": "Other",
      "stage": "Stage 0",
      "type": "Validium",
      "vm": [
        "AppChain"
      ]
    }

  • scalingStage +113 -1 Viewed

    {
      "stage": "NotApplicable"
      "missing": {
        "nextStage": "Stage 1",
        "requirements": [
          "Users are able to exit without the help of the permissioned operators, provided DA is accessible.",
          "In case of an unwanted upgrade by actors more centralized than a Security Council, users have at least 7d to exit.",
          "The Security Council is not properly set up.",
          "The DA verifier is non-upgradeable, or upgrades to it provide at least a 7d independent exit window.",
          "The DA layer does not meet minimum decentralization requirements (DAC <5 external members, or no attestation verifier for an external DA chain)."
        ],
        "principle": "Compromising ≥75% of the Security Council to push a malicious upgrade, or sequencer+DA-committee collusion to withhold data and finalize invalid state roots, should be the only ways (other than bugs) to steal funds or block withdrawals indefinitely."
      },
      "stage": "Stage 0",
      "summary": [
        {
          "stage": "Stage 0",
          "requirements": [
            {
              "satisfied": true,
              "description": "The project self-identifies as a Validium or Optimium."
            },
            {
              "satisfied": true,
              "description": "State roots are posted to Ethereum L1."
            },
            {
              "satisfied": true,
              "description": "A complete and functional proof system (fraud or validity proofs) is deployed."
            },
            {
              "satisfied": true,
              "description": "DA is attested by a committee or external DA layer, not solely by the sequencer."
            },
            {
              "satisfied": true,
              "description": "A source-available node exists that can reconstruct the L2 state when DA is accessible. Please note that the L2BEAT team has not verified the validity of the node source code. [View code](https://github.com/starkware-libs/starkex-contracts)"
            }
          ]
        },
        {
          "stage": "Stage 1",
          "requirements": [
            {
              "satisfied": "UnderReview",
              "description": "Users are able to exit without the help of the permissioned operators, provided DA is accessible."
            },
            {
              "satisfied": "UnderReview",
              "description": "In case of an unwanted upgrade by actors more centralized than a Security Council, users have at least 7d to exit."
            },
            {
              "satisfied": false,
              "description": "The Security Council is not properly set up."
            },
            {
              "satisfied": true,
              "description": "A secure DA verifier is integrated on L1 that checks DA attestations onchain, enabling challengers to retrieve data and construct proofs."
            },
            {
              "satisfied": "UnderReview",
              "description": "The DA verifier is non-upgradeable, or upgrades to it provide at least a 7d independent exit window."
            },
            {
              "satisfied": false,
              "description": "The DA layer does not meet minimum decentralization requirements (DAC <5 external members, or no attestation verifier for an external DA chain)."
            },
            {
              "satisfied": "UnderReview",
              "description": "The proof system meets the minimum trusted setup requirements defined in the L2BEAT [trusted setup assessment framework](https://forum.l2beat.com/t/the-trusted-setups-framework-for-zk-catalog/381).",
              "upcoming": true
            },
            {
              "satisfied": "UnderReview",
              "description": "Prover source code is published.",
              "upcoming": true
            },
            {
              "satisfied": "UnderReview",
              "description": "Onchain verifiers' smart contracts (including the DA verifier) can be independently regenerated from the verifier source code.",
              "upcoming": true
            },
            {
              "satisfied": "UnderReview",
              "description": "The sources of all programs used are public and program hashes can be independently regenerated.",
              "upcoming": true
            }
          ],
          "principle": {
            "satisfied": false,
            "description": "Compromising ≥75% of the Security Council to push a malicious upgrade, or sequencer+DA-committee collusion to withhold data and finalize invalid state roots, should be the only ways (other than bugs) to steal funds or block withdrawals indefinitely."
          }
        },
        {
          "stage": "Stage 2",
          "requirements": [
            {
              "satisfied": false,
              "description": "Upgrades unrelated to onchain provable bugs, including upgrades to the DA verifier, provide less than 30d to exit."
            },
            {
              "satisfied": false,
              "description": "The Security Council's actions are not confined to onchain provable bugs."
            },
            {
              "satisfied": "UnderReview",
              "description": "The DA verifier (and related contracts) is non-upgradeable, or upgrades to it provide at least a 30d independent exit window."
            },
            {
              "satisfied": false,
              "description": "The DA mechanism relies on reputational security alone; no staked assets are at risk for DA misbehavior or slashable < TVS."
            }
          ]
        }
      ]
    }

• nova +97 -2 Viewed

  • scalingInfo +1 -1 Viewed

    {
      "capability": "universal",
      "daLayer": [
        "DAC"
      ],
      "hostChain": {
        "id": "ethereum",
        "slug": "ethereum",
        "name": "Ethereum"
      },
      "layer": "layer2",
      "proofSystem": {
        "type": "Optimistic",
        "name": "BoLD",
        "challengeProtocol": "Interactive"
      },
      "purposes": [
        "Universal"
      ],
      "stacks": [
        "Arbitrum"
      ],
      "stage": "Not applicable",
      "stage": "Stage 0",
      "type": "Optimium",
      "vm": [
        "EVM",
        "WasmVM"
      ]
    }

  • scalingStage +96 -1 Viewed

    {
      "stage": "NotApplicable"
      "missing": {
        "nextStage": "Stage 1",
        "requirements": [],
        "principle": "Compromising ≥75% of the Security Council to push a malicious upgrade, or sequencer+DA-committee collusion to withhold data and finalize invalid state roots, should be the only ways (other than bugs) to steal funds or block withdrawals indefinitely."
      },
      "stage": "Stage 0",
      "stage1PrincipleDescription": "The Security Council is properly set up (9/12), but BoLD fraud proof submission on Nova is restricted to a whitelist of 10 validators (validatorWhitelistDisabled = false on the RollupProxy). The whitelisted validators colluding to push a malicious assertion without external challenge is a residual attack path beyond Security Council compromise or sequencer+DAC collusion.",
      "summary": [
        {
          "stage": "Stage 0",
          "requirements": [
            {
              "satisfied": true,
              "description": "The project self-identifies as a Validium or Optimium."
            },
            {
              "satisfied": true,
              "description": "State roots are posted to Ethereum L1."
            },
            {
              "satisfied": true,
              "description": "A complete and functional proof system (fraud or validity proofs) is deployed."
            },
            {
              "satisfied": true,
              "description": "DA is attested by a committee or external DA layer, not solely by the sequencer."
            },
            {
              "satisfied": true,
              "description": "A source-available node exists that can reconstruct the L2 state when DA is accessible. Please note that the L2BEAT team has not verified the validity of the node source code. [View code](https://github.com/OffchainLabs/nitro)"
            },
            {
              "satisfied": true,
              "description": "There are at least 5 external actors who can submit fraud proofs."
            }
          ]
        },
        {
          "stage": "Stage 1",
          "requirements": [
            {
              "satisfied": true,
              "description": "Users are able to exit without the help of the permissioned operators, provided DA is accessible."
            },
            {
              "satisfied": true,
              "description": "In case of an unwanted upgrade by actors more centralized than a Security Council, users have at least 7d to exit."
            },
            {
              "satisfied": true,
              "description": "The Security Council is properly set up [(List of members)](https://docs.arbitrum.foundation/security-council-members)."
            },
            {
              "satisfied": true,
              "description": "A secure DA verifier is integrated on L1 that checks DA attestations onchain, enabling challengers to retrieve data and construct proofs."
            },
            {
              "satisfied": true,
              "description": "The DA verifier is non-upgradeable, or upgrades to it provide at least a 7d independent exit window."
            },
            {
              "satisfied": true,
              "description": "The DA layer meets minimum decentralization: a DAC with ≥5 external members under an honest-minority assumption, or an external DA chain with an attestation verifier."
            }
          ],
          "principle": {
            "satisfied": false,
            "description": "Compromising ≥75% of the Security Council to push a malicious upgrade, or sequencer+DA-committee collusion to withhold data and finalize invalid state roots, should be the only ways (other than bugs) to steal funds or block withdrawals indefinitely."
          }
        },
        {
          "stage": "Stage 2",
          "requirements": [
            {
              "satisfied": false,
              "description": "Fraud proof submission is open only to whitelisted actors."
            },
            {
              "satisfied": false,
              "description": "Upgrades unrelated to onchain provable bugs, including upgrades to the DA verifier, provide less than 30d to exit."
            },
            {
              "satisfied": false,
              "description": "The Security Council's actions are not confined to onchain provable bugs."
            },
            {
              "satisfied": false,
              "description": "The DA verifier (and related contracts) is upgradeable with less than 30d independent exit window."
            },
            {
              "satisfied": false,
              "description": "The DA mechanism relies on reputational security alone; no staked assets are at risk for DA misbehavior or slashable < TVS."
            }
          ]
        }
      ]
    }

• silicon +115 -10 Viewed

  • scalingInfo +2 -9 Viewed

    {
      "capability": "universal",
      "daLayer": [
        "DAC"
      ],
      "hostChain": {
        "id": "ethereum",
        "slug": "ethereum",
        "name": "Ethereum"
      },
      "infrastructure": "Agglayer",
      "layer": "layer2",
      "proofSystem": {
        "type": "Validity",
        "zkCatalogId": "zkprover"
      },
      "purposes": [
        "Universal"
      ],
      "raas": "Nodeinfra",
      "reasonsForBeingOther": [
        {
          "label": "Small DAC",
          "shortDescription": "There are less than 5 external actors that can attest data availability",
          "description": "Projects without a sufficiently decentralized data availability committee rely on few entities to safely attest data availability on Ethereum. A small set of entities can collude with the proposer to finalize an unavailable state, which can cause loss of funds."
        }
      ],
      "stacks": [
        "Agglayer CDK"
      ],
      "stage": "Not applicable",
      "type": "Other",
      "stage": "Stage 0",
      "type": "Validium",
      "vm": [
        "EVM"
      ]
    }

  • scalingStage +113 -1 Viewed

    {
      "stage": "NotApplicable"
      "missing": {
        "nextStage": "Stage 1",
        "requirements": [
          "Users are able to exit without the help of the permissioned operators, provided DA is accessible.",
          "In case of an unwanted upgrade by actors more centralized than a Security Council, users have at least 7d to exit.",
          "The Security Council is not properly set up.",
          "The DA verifier is non-upgradeable, or upgrades to it provide at least a 7d independent exit window.",
          "The DA layer does not meet minimum decentralization requirements (DAC <5 external members, or no attestation verifier for an external DA chain)."
        ],
        "principle": "Compromising ≥75% of the Security Council to push a malicious upgrade, or sequencer+DA-committee collusion to withhold data and finalize invalid state roots, should be the only ways (other than bugs) to steal funds or block withdrawals indefinitely."
      },
      "stage": "Stage 0",
      "summary": [
        {
          "stage": "Stage 0",
          "requirements": [
            {
              "satisfied": true,
              "description": "The project self-identifies as a Validium or Optimium."
            },
            {
              "satisfied": true,
              "description": "State roots are posted to Ethereum L1."
            },
            {
              "satisfied": true,
              "description": "A complete and functional proof system (fraud or validity proofs) is deployed."
            },
            {
              "satisfied": true,
              "description": "DA is attested by a committee or external DA layer, not solely by the sequencer."
            },
            {
              "satisfied": true,
              "description": "A source-available node exists that can reconstruct the L2 state when DA is accessible. Please note that the L2BEAT team has not verified the validity of the node source code. [View code](https://github.com/0xPolygonHermez/cdk-erigon)"
            }
          ]
        },
        {
          "stage": "Stage 1",
          "requirements": [
            {
              "satisfied": "UnderReview",
              "description": "Users are able to exit without the help of the permissioned operators, provided DA is accessible."
            },
            {
              "satisfied": "UnderReview",
              "description": "In case of an unwanted upgrade by actors more centralized than a Security Council, users have at least 7d to exit."
            },
            {
              "satisfied": false,
              "description": "The Security Council is not properly set up."
            },
            {
              "satisfied": true,
              "description": "A secure DA verifier is integrated on L1 that checks DA attestations onchain, enabling challengers to retrieve data and construct proofs."
            },
            {
              "satisfied": "UnderReview",
              "description": "The DA verifier is non-upgradeable, or upgrades to it provide at least a 7d independent exit window."
            },
            {
              "satisfied": false,
              "description": "The DA layer does not meet minimum decentralization requirements (DAC <5 external members, or no attestation verifier for an external DA chain)."
            },
            {
              "satisfied": "UnderReview",
              "description": "The proof system meets the minimum trusted setup requirements defined in the L2BEAT [trusted setup assessment framework](https://forum.l2beat.com/t/the-trusted-setups-framework-for-zk-catalog/381).",
              "upcoming": true
            },
            {
              "satisfied": "UnderReview",
              "description": "Prover source code is published.",
              "upcoming": true
            },
            {
              "satisfied": "UnderReview",
              "description": "Onchain verifiers' smart contracts (including the DA verifier) can be independently regenerated from the verifier source code.",
              "upcoming": true
            },
            {
              "satisfied": "UnderReview",
              "description": "The sources of all programs used are public and program hashes can be independently regenerated.",
              "upcoming": true
            }
          ],
          "principle": {
            "satisfied": false,
            "description": "Compromising ≥75% of the Security Council to push a malicious upgrade, or sequencer+DA-committee collusion to withhold data and finalize invalid state roots, should be the only ways (other than bugs) to steal funds or block withdrawals indefinitely."
          }
        },
        {
          "stage": "Stage 2",
          "requirements": [
            {
              "satisfied": false,
              "description": "Upgrades unrelated to onchain provable bugs, including upgrades to the DA verifier, provide less than 30d to exit."
            },
            {
              "satisfied": false,
              "description": "The Security Council's actions are not confined to onchain provable bugs."
            },
            {
              "satisfied": "UnderReview",
              "description": "The DA verifier (and related contracts) is non-upgradeable, or upgrades to it provide at least a 30d independent exit window."
            },
            {
              "satisfied": false,
              "description": "The DA mechanism relies on reputational security alone; no staked assets are at risk for DA misbehavior or slashable < TVS."
            }
          ]
        }
      ]
    }

• soon +123 -10 Viewed

  • scalingInfo +2 -9 Viewed

    {
      "capability": "universal",
      "daLayer": [
        "EigenDA"
      ],
      "hostChain": {
        "id": "ethereum",
        "slug": "ethereum",
        "name": "Ethereum"
      },
      "layer": "layer2",
      "proofSystem": {
        "type": "Optimistic",
        "name": "OP Kailua",
        "zkCatalogId": "risc0",
        "challengeProtocol": "Single-step"
      },
      "purposes": [
        "Universal"
      ],
      "reasonsForBeingOther": [
        {
          "label": "No DA bridge",
          "shortDescription": "There is no data availability bridge",
          "description": "Projects without a data availability bridge fully rely on single entities (the sequencer) to honestly rely available data roots on Ethereum. A malicious sequencer can collude with the proposer to finalize an unavailable state, which can cause loss of funds."
        }
      ],
      "stacks": [
        "OP Stack"
      ],
      "stage": "Not applicable",
      "type": "Other",
      "stage": "Stage 0",
      "type": "Optimium",
      "vm": [
        "SolanaVM"
      ]
    }

  • scalingStage +121 -1 Viewed

    {
      "stage": "NotApplicable"
      "missing": {
        "nextStage": "Stage 1",
        "requirements": [
          "Users are able to exit without the help of the permissioned operators, provided DA is accessible.",
          "In case of an unwanted upgrade by actors more centralized than a Security Council, users have at least 7d to exit.",
          "The Security Council is properly set up.",
          "No secure onchain DA verifier is integrated on L1, so DA attestations cannot be independently verified by challengers.",
          "The DA verifier is non-upgradeable, or upgrades to it provide at least a 7d independent exit window."
        ],
        "principle": "Compromising ≥75% of the Security Council to push a malicious upgrade, or sequencer+DA-committee collusion to withhold data and finalize invalid state roots, should be the only ways (other than bugs) to steal funds or block withdrawals indefinitely."
      },
      "stage": "Stage 0",
      "summary": [
        {
          "stage": "Stage 0",
          "requirements": [
            {
              "satisfied": true,
              "description": "The project self-identifies as a Validium or Optimium."
            },
            {
              "satisfied": true,
              "description": "State roots are posted to Ethereum L1."
            },
            {
              "satisfied": true,
              "description": "A complete and functional proof system (fraud or validity proofs) is deployed."
            },
            {
              "satisfied": true,
              "description": "DA is attested by a committee or external DA layer, not solely by the sequencer."
            },
            {
              "satisfied": true,
              "description": "A source-available node exists that can reconstruct the L2 state when DA is accessible. Please note that the L2BEAT team has not verified the validity of the node source code. [View code](https://github.com/soonlabs)"
            },
            {
              "satisfied": true,
              "description": "There are at least 5 external actors who can submit fraud proofs."
            }
          ]
        },
        {
          "stage": "Stage 1",
          "requirements": [
            {
              "satisfied": "UnderReview",
              "description": "Users are able to exit without the help of the permissioned operators, provided DA is accessible."
            },
            {
              "satisfied": "UnderReview",
              "description": "In case of an unwanted upgrade by actors more centralized than a Security Council, users have at least 7d to exit."
            },
            {
              "satisfied": "UnderReview",
              "description": "The Security Council is properly set up."
            },
            {
              "satisfied": false,
              "description": "No secure onchain DA verifier is integrated on L1, so DA attestations cannot be independently verified by challengers."
            },
            {
              "satisfied": "UnderReview",
              "description": "The DA verifier is non-upgradeable, or upgrades to it provide at least a 7d independent exit window."
            },
            {
              "satisfied": true,
              "description": "The DA layer meets minimum decentralization: a DAC with ≥5 external members under an honest-minority assumption, or an external DA chain with an attestation verifier."
            },
            {
              "satisfied": "UnderReview",
              "description": "The proof system meets the minimum trusted setup requirements defined in the L2BEAT [trusted setup assessment framework](https://forum.l2beat.com/t/the-trusted-setups-framework-for-zk-catalog/381).",
              "upcoming": true
            },
            {
              "satisfied": "UnderReview",
              "description": "Prover source code is published.",
              "upcoming": true
            },
            {
              "satisfied": "UnderReview",
              "description": "Onchain verifiers' smart contracts (including the DA verifier) can be independently regenerated from the verifier source code.",
              "upcoming": true
            },
            {
              "satisfied": "UnderReview",
              "description": "The sources of all programs used are public and program hashes can be independently regenerated.",
              "upcoming": true
            }
          ],
          "principle": {
            "satisfied": false,
            "description": "Compromising ≥75% of the Security Council to push a malicious upgrade, or sequencer+DA-committee collusion to withhold data and finalize invalid state roots, should be the only ways (other than bugs) to steal funds or block withdrawals indefinitely."
          }
        },
        {
          "stage": "Stage 2",
          "requirements": [
            {
              "satisfied": true,
              "description": "Fraud proof submission is open to everyone."
            },
            {
              "satisfied": "UnderReview",
              "description": "Upgrades unrelated to onchain provable bugs, including upgrades to the DA verifier, provide at least 30d to exit."
            },
            {
              "satisfied": "UnderReview",
              "description": "The Security Council is limited to acting solely on onchain provable bugs."
            },
            {
              "satisfied": "UnderReview",
              "description": "The DA verifier (and related contracts) is non-upgradeable, or upgrades to it provide at least a 30d independent exit window."
            },
            {
              "satisfied": false,
              "description": "The DA mechanism relies on reputational security alone; no staked assets are at risk for DA misbehavior or slashable < TVS."
            }
          ]
        }
      ]
    }

• sophon +107 -2 Viewed

  • scalingInfo +1 -1 Viewed

    {
      "capability": "universal",
      "daLayer": [
        "Avail"
      ],
      "hostChain": {
        "id": "ethereum",
        "slug": "ethereum",
        "name": "Ethereum"
      },
      "infrastructure": "Elastic Chain",
      "layer": "layer2",
      "proofSystem": {
        "type": "Validity",
        "zkCatalogId": "boojum"
      },
      "purposes": [
        "Gaming",
        "Social",
        "AI"
      ],
      "stacks": [
        "ZK Stack"
      ],
      "stage": "Not applicable",
      "stage": "Stage 0",
      "type": "Validium",
      "vm": [
        "EVM"
      ]
    }

  • scalingStage +106 -1 Viewed

    {
      "stage": "NotApplicable"
      "missing": {
        "nextStage": "Stage 1",
        "requirements": [
          "Users' withdrawals can be censored by the permissioned operators.",
          "Upgrades executed by actors with more centralized control than a Security Council provide less than 7d for users to exit if the permissioned operator is down or censoring.",
          "The Security Council is not properly set up."
        ],
        "principle": "Compromising ≥75% of the Security Council to push a malicious upgrade, or sequencer+DA-committee collusion to withhold data and finalize invalid state roots, should be the only ways (other than bugs) to steal funds or block withdrawals indefinitely."
      },
      "stage": "Stage 0",
      "summary": [
        {
          "stage": "Stage 0",
          "requirements": [
            {
              "satisfied": true,
              "description": "The project self-identifies as a Validium or Optimium."
            },
            {
              "satisfied": true,
              "description": "State roots are posted to Ethereum L1."
            },
            {
              "satisfied": true,
              "description": "A complete and functional proof system (fraud or validity proofs) is deployed."
            },
            {
              "satisfied": true,
              "description": "DA is attested by a committee or external DA layer, not solely by the sequencer."
            },
            {
              "satisfied": true,
              "description": "A source-available node exists that can reconstruct the L2 state when DA is accessible. Please note that the L2BEAT team has not verified the validity of the node source code. [View code](https://github.com/matter-labs/zksync-era)"
            }
          ]
        },
        {
          "stage": "Stage 1",
          "requirements": [
            {
              "satisfied": false,
              "description": "Users' withdrawals can be censored by the permissioned operators."
            },
            {
              "satisfied": false,
              "description": "Upgrades executed by actors with more centralized control than a Security Council provide less than 7d for users to exit if the permissioned operator is down or censoring."
            },
            {
              "satisfied": false,
              "description": "The Security Council is not properly set up."
            },
            {
              "satisfied": true,
              "description": "A secure DA verifier is integrated on L1 that checks DA attestations onchain, enabling challengers to retrieve data and construct proofs. [View code](https://etherscan.io/address/0x8f50d93B9955B285f787043B30B5F51D09bE0120#code)"
            },
            {
              "satisfied": true,
              "description": "The DA verifier is non-upgradeable, or upgrades to it provide at least a 7d independent exit window."
            },
            {
              "satisfied": true,
              "description": "The DA layer meets minimum decentralization: a DAC with ≥5 external members under an honest-minority assumption, or an external DA chain with an attestation verifier."
            },
            {
              "satisfied": true,
              "description": "The proof system meets the minimum trusted setup requirements defined in the L2BEAT [trusted setup assessment framework](https://forum.l2beat.com/t/the-trusted-setups-framework-for-zk-catalog/381).",
              "upcoming": true
            },
            {
              "satisfied": true,
              "description": "Prover source code is published.",
              "upcoming": true
            },
            {
              "satisfied": true,
              "description": "The sources of all programs used are public and program hashes can be independently regenerated.",
              "upcoming": true
            }
          ],
          "principle": {
            "satisfied": false,
            "description": "Compromising ≥75% of the Security Council to push a malicious upgrade, or sequencer+DA-committee collusion to withhold data and finalize invalid state roots, should be the only ways (other than bugs) to steal funds or block withdrawals indefinitely."
          }
        },
        {
          "stage": "Stage 2",
          "requirements": [
            {
              "satisfied": false,
              "description": "Upgrades unrelated to onchain provable bugs, including upgrades to the DA verifier, provide less than 30d to exit."
            },
            {
              "satisfied": false,
              "description": "The Security Council's actions are not confined to onchain provable bugs."
            },
            {
              "satisfied": true,
              "description": "The DA verifier (and related contracts) is non-upgradeable, or upgrades to it provide at least a 30d independent exit window."
            },
            {
              "satisfied": false,
              "description": "The DA mechanism relies on reputational security alone; no staked assets are at risk for DA misbehavior or slashable < TVS."
            }
          ]
        }
      ]
    }

• sorare +115 -10 Viewed

  • scalingInfo +2 -9 Viewed

    {
      "capability": "appchain",
      "daLayer": [
        "DAC"
      ],
      "hostChain": {
        "id": "ethereum",
        "slug": "ethereum",
        "name": "Ethereum"
      },
      "infrastructure": "SHARP",
      "layer": "layer2",
      "proofSystem": {
        "type": "Validity",
        "zkCatalogId": "stone"
      },
      "purposes": [
        "NFT",
        "Exchange"
      ],
      "reasonsForBeingOther": [
        {
          "label": "Small DAC",
          "shortDescription": "There are less than 5 external actors that can attest data availability",
          "description": "Projects without a sufficiently decentralized data availability committee rely on few entities to safely attest data availability on Ethereum. A small set of entities can collude with the proposer to finalize an unavailable state, which can cause loss of funds."
        }
      ],
      "stacks": [
        "StarkEx"
      ],
      "stage": "Not applicable",
      "type": "Other",
      "stage": "Stage 0",
      "type": "Validium",
      "vm": [
        "AppChain"
      ]
    }

  • scalingStage +113 -1 Viewed

    {
      "stage": "NotApplicable"
      "missing": {
        "nextStage": "Stage 1",
        "requirements": [
          "Users are able to exit without the help of the permissioned operators, provided DA is accessible.",
          "In case of an unwanted upgrade by actors more centralized than a Security Council, users have at least 7d to exit.",
          "The Security Council is not properly set up.",
          "The DA verifier is non-upgradeable, or upgrades to it provide at least a 7d independent exit window.",
          "The DA layer does not meet minimum decentralization requirements (DAC <5 external members, or no attestation verifier for an external DA chain)."
        ],
        "principle": "Compromising ≥75% of the Security Council to push a malicious upgrade, or sequencer+DA-committee collusion to withhold data and finalize invalid state roots, should be the only ways (other than bugs) to steal funds or block withdrawals indefinitely."
      },
      "stage": "Stage 0",
      "summary": [
        {
          "stage": "Stage 0",
          "requirements": [
            {
              "satisfied": true,
              "description": "The project self-identifies as a Validium or Optimium."
            },
            {
              "satisfied": true,
              "description": "State roots are posted to Ethereum L1."
            },
            {
              "satisfied": true,
              "description": "A complete and functional proof system (fraud or validity proofs) is deployed."
            },
            {
              "satisfied": true,
              "description": "DA is attested by a committee or external DA layer, not solely by the sequencer."
            },
            {
              "satisfied": true,
              "description": "A source-available node exists that can reconstruct the L2 state when DA is accessible. Please note that the L2BEAT team has not verified the validity of the node source code. [View code](https://github.com/starkware-libs/starkex-contracts)"
            }
          ]
        },
        {
          "stage": "Stage 1",
          "requirements": [
            {
              "satisfied": "UnderReview",
              "description": "Users are able to exit without the help of the permissioned operators, provided DA is accessible."
            },
            {
              "satisfied": "UnderReview",
              "description": "In case of an unwanted upgrade by actors more centralized than a Security Council, users have at least 7d to exit."
            },
            {
              "satisfied": false,
              "description": "The Security Council is not properly set up."
            },
            {
              "satisfied": true,
              "description": "A secure DA verifier is integrated on L1 that checks DA attestations onchain, enabling challengers to retrieve data and construct proofs."
            },
            {
              "satisfied": "UnderReview",
              "description": "The DA verifier is non-upgradeable, or upgrades to it provide at least a 7d independent exit window."
            },
            {
              "satisfied": false,
              "description": "The DA layer does not meet minimum decentralization requirements (DAC <5 external members, or no attestation verifier for an external DA chain)."
            },
            {
              "satisfied": "UnderReview",
              "description": "The proof system meets the minimum trusted setup requirements defined in the L2BEAT [trusted setup assessment framework](https://forum.l2beat.com/t/the-trusted-setups-framework-for-zk-catalog/381).",
              "upcoming": true
            },
            {
              "satisfied": "UnderReview",
              "description": "Prover source code is published.",
              "upcoming": true
            },
            {
              "satisfied": "UnderReview",
              "description": "Onchain verifiers' smart contracts (including the DA verifier) can be independently regenerated from the verifier source code.",
              "upcoming": true
            },
            {
              "satisfied": "UnderReview",
              "description": "The sources of all programs used are public and program hashes can be independently regenerated.",
              "upcoming": true
            }
          ],
          "principle": {
            "satisfied": false,
            "description": "Compromising ≥75% of the Security Council to push a malicious upgrade, or sequencer+DA-committee collusion to withhold data and finalize invalid state roots, should be the only ways (other than bugs) to steal funds or block withdrawals indefinitely."
          }
        },
        {
          "stage": "Stage 2",
          "requirements": [
            {
              "satisfied": false,
              "description": "Upgrades unrelated to onchain provable bugs, including upgrades to the DA verifier, provide less than 30d to exit."
            },
            {
              "satisfied": false,
              "description": "The Security Council's actions are not confined to onchain provable bugs."
            },
            {
              "satisfied": "UnderReview",
              "description": "The DA verifier (and related contracts) is non-upgradeable, or upgrades to it provide at least a 30d independent exit window."
            },
            {
              "satisfied": false,
              "description": "The DA mechanism relies on reputational security alone; no staked assets are at risk for DA misbehavior or slashable < TVS."
            }
          ]
        }
      ]
    }

• sxt +106 -2 Viewed

  • scalingInfo +1 -1 Viewed

    {
      "capability": "universal",
      "daLayer": [
        "Avail"
      ],
      "hostChain": {
        "id": "ethereum",
        "slug": "ethereum",
        "name": "Ethereum"
      },
      "infrastructure": "Elastic Chain",
      "layer": "layer2",
      "proofSystem": {
        "type": "Validity",
        "zkCatalogId": "boojum"
      },
      "purposes": [
        "Universal"
      ],
      "raas": "Caldera",
      "stacks": [
        "ZK Stack"
      ],
      "stage": "Not applicable",
      "stage": "Stage 0",
      "type": "Validium",
      "vm": [
        "EVM"
      ]
    }

  • scalingStage +105 -1 Viewed

    {
      "stage": "NotApplicable"
      "missing": {
        "nextStage": "Stage 1",
        "requirements": [
          "Upgrades executed by actors with more centralized control than a Security Council provide less than 7d for users to exit if the permissioned operator is down or censoring.",
          "The Security Council is not properly set up."
        ],
        "principle": "Compromising ≥75% of the Security Council to push a malicious upgrade, or sequencer+DA-committee collusion to withhold data and finalize invalid state roots, should be the only ways (other than bugs) to steal funds or block withdrawals indefinitely."
      },
      "stage": "Stage 0",
      "summary": [
        {
          "stage": "Stage 0",
          "requirements": [
            {
              "satisfied": true,
              "description": "The project self-identifies as a Validium or Optimium."
            },
            {
              "satisfied": true,
              "description": "State roots are posted to Ethereum L1."
            },
            {
              "satisfied": true,
              "description": "A complete and functional proof system (fraud or validity proofs) is deployed."
            },
            {
              "satisfied": true,
              "description": "DA is attested by a committee or external DA layer, not solely by the sequencer."
            },
            {
              "satisfied": true,
              "description": "A source-available node exists that can reconstruct the L2 state when DA is accessible. Please note that the L2BEAT team has not verified the validity of the node source code. [View code](https://github.com/matter-labs/zksync-era)"
            }
          ]
        },
        {
          "stage": "Stage 1",
          "requirements": [
            {
              "satisfied": true,
              "description": "Users are able to exit without the help of the permissioned operators, provided DA is accessible."
            },
            {
              "satisfied": false,
              "description": "Upgrades executed by actors with more centralized control than a Security Council provide less than 7d for users to exit if the permissioned operator is down or censoring."
            },
            {
              "satisfied": false,
              "description": "The Security Council is not properly set up."
            },
            {
              "satisfied": true,
              "description": "A secure DA verifier is integrated on L1 that checks DA attestations onchain, enabling challengers to retrieve data and construct proofs. [View code](https://etherscan.io/address/0x8f50d93B9955B285f787043B30B5F51D09bE0120#code)"
            },
            {
              "satisfied": true,
              "description": "The DA verifier is non-upgradeable, or upgrades to it provide at least a 7d independent exit window."
            },
            {
              "satisfied": true,
              "description": "The DA layer meets minimum decentralization: a DAC with ≥5 external members under an honest-minority assumption, or an external DA chain with an attestation verifier."
            },
            {
              "satisfied": true,
              "description": "The proof system meets the minimum trusted setup requirements defined in the L2BEAT [trusted setup assessment framework](https://forum.l2beat.com/t/the-trusted-setups-framework-for-zk-catalog/381).",
              "upcoming": true
            },
            {
              "satisfied": true,
              "description": "Prover source code is published.",
              "upcoming": true
            },
            {
              "satisfied": true,
              "description": "The sources of all programs used are public and program hashes can be independently regenerated.",
              "upcoming": true
            }
          ],
          "principle": {
            "satisfied": false,
            "description": "Compromising ≥75% of the Security Council to push a malicious upgrade, or sequencer+DA-committee collusion to withhold data and finalize invalid state roots, should be the only ways (other than bugs) to steal funds or block withdrawals indefinitely."
          }
        },
        {
          "stage": "Stage 2",
          "requirements": [
            {
              "satisfied": false,
              "description": "Upgrades unrelated to onchain provable bugs, including upgrades to the DA verifier, provide less than 30d to exit."
            },
            {
              "satisfied": false,
              "description": "The Security Council's actions are not confined to onchain provable bugs."
            },
            {
              "satisfied": true,
              "description": "The DA verifier (and related contracts) is non-upgradeable, or upgrades to it provide at least a 30d independent exit window."
            },
            {
              "satisfied": false,
              "description": "The DA mechanism relies on reputational security alone; no staked assets are at risk for DA misbehavior or slashable < TVS."
            }
          ]
        }
      ]
    }