Diff between 0c2b3524 (main) and 180a99aa (PR)

• aevo +0 -17 Viewed

  • scalingStage +0 -17 Viewed

    {
      "message": {
        "type": "warning",
        "text": "There is no available node software that can reconstruct L2 state transitions from available DA, so this system cannot be independently verified."
      },
      "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."
        ],
        "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": false,
              "description": "No source-available node exists that can reconstruct the L2 state from the DA layer."
            },
            {
              "satisfied": false,
              "description": "Fraud proof submission is not sufficiently decentralized."
            }
          ]
        },
        {
          "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": true,
              "description": "The sources of all programs used are public and program hashes can be independently regenerated."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• alephzero +0 -17 Viewed

  • scalingStage +0 -17 Viewed

    {
      "message": {
        "type": "underReview",
        "text": "The requirement for available node software is under review."
      },
      "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": "UnderReview",
              "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."
            },
            {
              "satisfied": false,
              "description": "Fraud proof submission is not sufficiently decentralized."
            }
          ]
        },
        {
          "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": "The sources of all programs used are public and program hashes can be independently regenerated."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• alienx +0 -17 Viewed

  • scalingStage +0 -17 Viewed

    {
      "message": {
        "type": "underReview",
        "text": "The requirement for available node software is under review."
      },
      "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": "UnderReview",
              "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."
            },
            {
              "satisfied": false,
              "description": "Fraud proof submission is not sufficiently decentralized."
            }
          ]
        },
        {
          "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": "The sources of all programs used are public and program hashes can be independently regenerated."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• ancient +0 -17 Viewed

  • scalingStage +0 -17 Viewed

    {
      "message": {
        "type": "underReview",
        "text": "The requirement for available node software is under review."
      },
      "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."
        ],
        "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": "UnderReview",
              "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."
            },
            {
              "satisfied": false,
              "description": "Fraud proof submission is not sufficiently decentralized."
            }
          ]
        },
        {
          "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": true,
              "description": "The sources of all programs used are public and program hashes can be independently regenerated."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• appchain +0 -17 Viewed

  • scalingStage +0 -17 Viewed

    {
      "message": {
        "type": "underReview",
        "text": "The requirement for available node software is under review."
      },
      "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": "UnderReview",
              "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."
            },
            {
              "satisfied": false,
              "description": "Fraud proof submission is not sufficiently decentralized."
            }
          ]
        },
        {
          "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": "The sources of all programs used are public and program hashes can be independently regenerated."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• automata +0 -9 Viewed

  • scalingStage +0 -9 Viewed

    {
      "message": {
        "type": "underReview",
        "text": "The requirement for available node software is under review."
      },
      "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."
        ],
        "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": false,
              "description": "The proof system is still under development."
            },
            {
              "satisfied": "UnderReview",
              "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."
            }
          ]
        },
        {
          "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."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• b3 +0 -9 Viewed

  • scalingStage +0 -9 Viewed

    {
      "message": {
        "type": "warning",
        "text": "There is no available node software that can reconstruct L2 state transitions from available DA, so this system cannot be independently verified."
      },
      "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."
        ],
        "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": false,
              "description": "The proof system is still under development."
            },
            {
              "satisfied": false,
              "description": "No source-available node exists that can reconstruct the L2 state from the DA layer."
            }
          ]
        },
        {
          "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."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• blessnet +0 -17 Viewed

  • scalingStage +0 -17 Viewed

    {
      "message": {
        "type": "underReview",
        "text": "The requirement for available node software is under review."
      },
      "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": "UnderReview",
              "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."
            },
            {
              "satisfied": false,
              "description": "Fraud proof submission is not sufficiently decentralized."
            }
          ]
        },
        {
          "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": "The sources of all programs used are public and program hashes can be independently regenerated."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• brine +0 -21 Viewed

  • scalingStage +0 -21 Viewed

    {
      "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).",
          "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).",
          "Prover source code is published.",
          "Onchain verifiers' smart contracts (including the DA verifier) can be independently regenerated from the verifier source code.",
          "The sources of all programs used are public and program hashes can be independently regenerated."
        ],
        "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)."
            },
            {
              "satisfied": "UnderReview",
              "description": "Prover source code is published."
            },
            {
              "satisfied": "UnderReview",
              "description": "Onchain verifiers' smart contracts (including the DA verifier) can be independently regenerated from the verifier source code."
            },
            {
              "satisfied": "UnderReview",
              "description": "The sources of all programs used are public and program hashes can be independently regenerated."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• capx +0 -17 Viewed

  • scalingStage +0 -17 Viewed

    {
      "message": {
        "type": "underReview",
        "text": "The requirement for available node software is under review."
      },
      "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": "UnderReview",
              "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."
            },
            {
              "satisfied": false,
              "description": "Fraud proof submission is not sufficiently decentralized."
            }
          ]
        },
        {
          "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": "The sources of all programs used are public and program hashes can be independently regenerated."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• celo +0 -21 Viewed

  • scalingStage +0 -21 Viewed

    {
      "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 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": 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": 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": true,
              "description": "Prover source code is published. [View code](https://github.com/succinctlabs/sp1)"
            },
            {
              "satisfied": true,
              "description": "Onchain verifiers' smart contracts (including the DA verifier) can be independently regenerated from the verifier source code."
            },
            {
              "satisfied": true,
              "description": "The sources of all programs used are public and program hashes can be independently regenerated."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• corn +0 -17 Viewed

  • scalingStage +0 -17 Viewed

    {
      "message": {
        "type": "underReview",
        "text": "The requirement for available node software is under review."
      },
      "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": "UnderReview",
              "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."
            },
            {
              "satisfied": false,
              "description": "Fraud proof submission is not sufficiently decentralized."
            }
          ]
        },
        {
          "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": "The sources of all programs used are public and program hashes can be independently regenerated."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• cronoszkevm +0 -9 Viewed

  • scalingStage +0 -9 Viewed

    {
      "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": "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": "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)."
            },
            {
              "satisfied": true,
              "description": "Prover source code is published."
            },
            {
              "satisfied": true,
              "description": "The sources of all programs used are public and program hashes can be independently regenerated."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• cyber +0 -17 Viewed

  • scalingStage +0 -17 Viewed

    {
      "message": {
        "type": "underReview",
        "text": "The requirement for available node software is under review."
      },
      "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.",
          "Not all program sources are public or not all program hashes can be independently regenerated."
        ],
        "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": "UnderReview",
              "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."
            },
            {
              "satisfied": false,
              "description": "Fraud proof submission is not sufficiently decentralized."
            }
          ]
        },
        {
          "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": "Not all program sources are public or not all program hashes can be independently regenerated."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• degen +0 -17 Viewed

  • scalingStage +0 -17 Viewed

    {
      "message": {
        "type": "underReview",
        "text": "The requirement for available node software is under review."
      },
      "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": "UnderReview",
              "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."
            },
            {
              "satisfied": false,
              "description": "Fraud proof submission is not sufficiently decentralized."
            }
          ]
        },
        {
          "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": "The sources of all programs used are public and program hashes can be independently regenerated."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• donatuz +0 -9 Viewed

  • scalingStage +0 -9 Viewed

    {
      "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."
        ],
        "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": false,
              "description": "The proof system is still under development."
            },
            {
              "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/ethereum-optimism/optimism/tree/develop/op-node)"
            }
          ]
        },
        {
          "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."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• earnm +0 -17 Viewed

  • scalingStage +0 -17 Viewed

    {
      "message": {
        "type": "underReview",
        "text": "The requirement for available node software is under review."
      },
      "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": "UnderReview",
              "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."
            },
            {
              "satisfied": false,
              "description": "Fraud proof submission is not sufficiently decentralized."
            }
          ]
        },
        {
          "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": "The sources of all programs used are public and program hashes can be independently regenerated."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• ebichain +0 -17 Viewed

  • scalingStage +0 -17 Viewed

    {
      "message": {
        "type": "underReview",
        "text": "The requirement for available node software is under review."
      },
      "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": "UnderReview",
              "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."
            },
            {
              "satisfied": false,
              "description": "Fraud proof submission is not sufficiently decentralized."
            }
          ]
        },
        {
          "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."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• edgechain +0 -17 Viewed

  • scalingStage +0 -17 Viewed

    {
      "message": {
        "type": "underReview",
        "text": "The requirement for available node software is under review."
      },
      "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": "UnderReview",
              "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."
            },
            {
              "satisfied": false,
              "description": "Fraud proof submission is not sufficiently decentralized."
            }
          ]
        },
        {
          "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": "The sources of all programs used are public and program hashes can be independently regenerated."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• edgeless +0 -17 Viewed

  • scalingStage +0 -17 Viewed

    {
      "message": {
        "type": "underReview",
        "text": "The requirement for available node software is under review."
      },
      "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": "UnderReview",
              "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."
            },
            {
              "satisfied": false,
              "description": "Fraud proof submission is not sufficiently decentralized."
            }
          ]
        },
        {
          "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": "The sources of all programs used are public and program hashes can be independently regenerated."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• educhain +0 -17 Viewed

  • scalingStage +0 -17 Viewed

    {
      "message": {
        "type": "underReview",
        "text": "The requirement for available node software is under review."
      },
      "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": "UnderReview",
              "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."
            },
            {
              "satisfied": false,
              "description": "Fraud proof submission is not sufficiently decentralized."
            }
          ]
        },
        {
          "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": "The sources of all programs used are public and program hashes can be independently regenerated."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• ethereal +0 -17 Viewed

  • scalingStage +0 -17 Viewed

    {
      "message": {
        "type": "underReview",
        "text": "The requirement for available node software is under review."
      },
      "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": "UnderReview",
              "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."
            },
            {
              "satisfied": false,
              "description": "Fraud proof submission is not sufficiently decentralized."
            }
          ]
        },
        {
          "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": "The sources of all programs used are public and program hashes can be independently regenerated."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• everclear +0 -17 Viewed

  • scalingStage +0 -17 Viewed

    {
      "message": {
        "type": "underReview",
        "text": "The requirement for available node software is under review."
      },
      "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": "UnderReview",
              "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."
            },
            {
              "satisfied": false,
              "description": "Fraud proof submission is not sufficiently decentralized."
            }
          ]
        },
        {
          "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": "The sources of all programs used are public and program hashes can be independently regenerated."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• fluence +0 -17 Viewed

  • scalingStage +0 -17 Viewed

    {
      "message": {
        "type": "underReview",
        "text": "The requirement for available node software is under review."
      },
      "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": "UnderReview",
              "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."
            },
            {
              "satisfied": false,
              "description": "Fraud proof submission is not sufficiently decentralized."
            }
          ]
        },
        {
          "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": "The sources of all programs used are public and program hashes can be independently regenerated."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• fraxtal +0 -9 Viewed

  • scalingStage +0 -9 Viewed

    {
      "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."
        ],
        "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": false,
              "description": "The proof system is still under development."
            },
            {
              "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/ethereum-optimism/optimism/tree/develop/op-node)"
            }
          ]
        },
        {
          "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."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• funki +0 -17 Viewed

  • scalingStage +0 -17 Viewed

    {
      "message": {
        "type": "underReview",
        "text": "The requirement for available node software is under review."
      },
      "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.",
          "Not all program sources are public or not all program hashes can be independently regenerated."
        ],
        "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": "UnderReview",
              "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."
            },
            {
              "satisfied": false,
              "description": "Fraud proof submission is not sufficiently decentralized."
            }
          ]
        },
        {
          "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": "Not all program sources are public or not all program hashes can be independently regenerated."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• galxegravity +0 -17 Viewed

  • scalingStage +0 -17 Viewed

    {
      "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": "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": false,
              "description": "Fraud proof submission is not sufficiently decentralized."
            }
          ]
        },
        {
          "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": "The sources of all programs used are public and program hashes can be independently regenerated."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• game7 +0 -17 Viewed

  • scalingStage +0 -17 Viewed

    {
      "message": {
        "type": "underReview",
        "text": "The requirement for available node software is under review."
      },
      "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": "UnderReview",
              "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."
            },
            {
              "satisfied": false,
              "description": "Fraud proof submission is not sufficiently decentralized."
            }
          ]
        },
        {
          "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": "The sources of all programs used are public and program hashes can be independently regenerated."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• geist +0 -17 Viewed

  • scalingStage +0 -17 Viewed

    {
      "message": {
        "type": "underReview",
        "text": "The requirement for available node software is under review."
      },
      "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": "UnderReview",
              "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."
            },
            {
              "satisfied": false,
              "description": "Fraud proof submission is not sufficiently decentralized."
            }
          ]
        },
        {
          "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": "The sources of all programs used are public and program hashes can be independently regenerated."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• grvt +0 -9 Viewed

  • scalingStage +0 -9 Viewed

    {
      "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": "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": "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)."
            },
            {
              "satisfied": true,
              "description": "Prover source code is published."
            },
            {
              "satisfied": true,
              "description": "The sources of all programs used are public and program hashes can be independently regenerated."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• ham +0 -9 Viewed

  • scalingStage +0 -9 Viewed

    {
      "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."
        ],
        "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": false,
              "description": "The proof system is still under development."
            },
            {
              "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/ethereum-optimism/optimism/tree/develop/op-node)"
            }
          ]
        },
        {
          "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."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• hychain +0 -17 Viewed

  • scalingStage +0 -17 Viewed

    {
      "message": {
        "type": "underReview",
        "text": "The requirement for available node software is under review."
      },
      "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": "UnderReview",
              "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."
            },
            {
              "satisfied": false,
              "description": "Fraud proof submission is not sufficiently decentralized."
            }
          ]
        },
        {
          "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": "The sources of all programs used are public and program hashes can be independently regenerated."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• hypr +0 -9 Viewed

  • scalingStage +0 -9 Viewed

    {
      "message": {
        "type": "underReview",
        "text": "The requirement for available node software is under review."
      },
      "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."
        ],
        "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": false,
              "description": "The proof system is still under development."
            },
            {
              "satisfied": "UnderReview",
              "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."
            }
          ]
        },
        {
          "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."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• inevm +0 -17 Viewed

  • scalingStage +0 -17 Viewed

    {
      "message": {
        "type": "underReview",
        "text": "The requirement for available node software is under review."
      },
      "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": "UnderReview",
              "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."
            },
            {
              "satisfied": false,
              "description": "Fraud proof submission is not sufficiently decentralized."
            }
          ]
        },
        {
          "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": "The sources of all programs used are public and program hashes can be independently regenerated."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• karak +0 -9 Viewed

  • scalingStage +0 -9 Viewed

    {
      "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."
        ],
        "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": false,
              "description": "The proof system is still under development."
            },
            {
              "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/ethereum-optimism/optimism/tree/develop/op-node)"
            }
          ]
        },
        {
          "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."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• l3x +0 -17 Viewed

  • scalingStage +0 -17 Viewed

    {
      "message": {
        "type": "underReview",
        "text": "The requirement for available node software is under review."
      },
      "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": "UnderReview",
              "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."
            },
            {
              "satisfied": false,
              "description": "Fraud proof submission is not sufficiently decentralized."
            }
          ]
        },
        {
          "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."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• lasernet +0 -17 Viewed

  • scalingStage +0 -17 Viewed

    {
      "message": {
        "type": "underReview",
        "text": "The requirement for available node software is under review."
      },
      "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": "UnderReview",
              "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."
            },
            {
              "satisfied": false,
              "description": "Fraud proof submission is not sufficiently decentralized."
            }
          ]
        },
        {
          "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": "The sources of all programs used are public and program hashes can be independently regenerated."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• lens +0 -17 Viewed

  • scalingStage +0 -17 Viewed

    {
      "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)."
            },
            {
              "satisfied": true,
              "description": "Prover source code is published."
            },
            {
              "satisfied": true,
              "description": "The sources of all programs used are public and program hashes can be independently regenerated."
            }
          ],
          "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 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."
            }
          ]
        }
      ]
    }

• lyra +0 -17 Viewed

  • scalingStage +0 -17 Viewed

    {
      "message": {
        "type": "underReview",
        "text": "The requirement for available node software is under review."
      },
      "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."
        ],
        "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": "UnderReview",
              "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."
            },
            {
              "satisfied": false,
              "description": "Fraud proof submission is not sufficiently decentralized."
            }
          ]
        },
        {
          "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": true,
              "description": "The sources of all programs used are public and program hashes can be independently regenerated."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• mantapacific +0 -9 Viewed

  • scalingStage +0 -9 Viewed

    {
      "message": {
        "type": "warning",
        "text": "There is no available node software that can reconstruct L2 state transitions from available DA, so this system cannot be independently verified."
      },
      "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."
        ],
        "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": false,
              "description": "The proof system is still under development."
            },
            {
              "satisfied": false,
              "description": "No source-available node exists that can reconstruct the L2 state from the DA layer."
            }
          ]
        },
        {
          "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."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• megaeth +0 -17 Viewed

  • scalingStage +0 -17 Viewed

    {
      "message": {
        "type": "underReview",
        "text": "The requirement for available node software is under review."
      },
      "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.",
          "Not all program sources are public or not all program hashes can be independently regenerated."
        ],
        "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": "UnderReview",
              "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."
            },
            {
              "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": 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 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)."
            },
            {
              "satisfied": false,
              "description": "Not all program sources are public or not all program hashes can be independently regenerated."
            }
          ],
          "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": 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."
            }
          ]
        }
      ]
    }

• muster +0 -17 Viewed

  • scalingStage +0 -17 Viewed

    {
      "message": {
        "type": "underReview",
        "text": "The requirement for available node software is under review."
      },
      "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": "UnderReview",
              "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."
            },
            {
              "satisfied": false,
              "description": "Fraud proof submission is not sufficiently decentralized."
            }
          ]
        },
        {
          "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": "The sources of all programs used are public and program hashes can be independently regenerated."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• myria +0 -21 Viewed

  • scalingStage +0 -21 Viewed

    {
      "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).",
          "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).",
          "Prover source code is published.",
          "Onchain verifiers' smart contracts (including the DA verifier) can be independently regenerated from the verifier source code.",
          "The sources of all programs used are public and program hashes can be independently regenerated."
        ],
        "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)."
            },
            {
              "satisfied": "UnderReview",
              "description": "Prover source code is published."
            },
            {
              "satisfied": "UnderReview",
              "description": "Onchain verifiers' smart contracts (including the DA verifier) can be independently regenerated from the verifier source code."
            },
            {
              "satisfied": "UnderReview",
              "description": "The sources of all programs used are public and program hashes can be independently regenerated."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• nillion +0 -17 Viewed

  • scalingStage +0 -17 Viewed

    {
      "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."
        ],
        "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": "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/ethereum-optimism/optimism/tree/develop/op-node)"
            },
            {
              "satisfied": false,
              "description": "Fraud proof submission is not sufficiently decentralized."
            }
          ]
        },
        {
          "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": true,
              "description": "The sources of all programs used are public and program hashes can be independently regenerated."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• oevnetwork +0 -17 Viewed

  • scalingStage +0 -17 Viewed

    {
      "message": {
        "type": "underReview",
        "text": "The requirement for available node software is under review."
      },
      "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": "UnderReview",
              "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."
            },
            {
              "satisfied": false,
              "description": "Fraud proof submission is not sufficiently decentralized."
            }
          ]
        },
        {
          "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": "The sources of all programs used are public and program hashes can be independently regenerated."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• onyx +0 -17 Viewed

  • scalingStage +0 -17 Viewed

    {
      "message": {
        "type": "underReview",
        "text": "The requirement for available node software is under review."
      },
      "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": "UnderReview",
              "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."
            },
            {
              "satisfied": false,
              "description": "Fraud proof submission is not sufficiently decentralized."
            }
          ]
        },
        {
          "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": "The sources of all programs used are public and program hashes can be independently regenerated."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• orderly +0 -17 Viewed

  • scalingStage +0 -17 Viewed

    {
      "message": {
        "type": "warning",
        "text": "There is no available node software that can reconstruct L2 state transitions from available DA, so this system cannot be independently verified."
      },
      "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."
        ],
        "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": false,
              "description": "No source-available node exists that can reconstruct the L2 state from the DA layer."
            },
            {
              "satisfied": false,
              "description": "Fraud proof submission is not sufficiently decentralized."
            }
          ]
        },
        {
          "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": true,
              "description": "The sources of all programs used are public and program hashes can be independently regenerated."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• pepeunchained +0 -9 Viewed

  • scalingStage +0 -9 Viewed

    {
      "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."
        ],
        "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": false,
              "description": "The proof system is still under development."
            },
            {
              "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/ethereum-optimism/optimism/tree/develop/op-node)"
            }
          ]
        },
        {
          "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."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• pepeunchained2 +0 -17 Viewed

  • scalingStage +0 -17 Viewed

    {
      "message": {
        "type": "underReview",
        "text": "The requirement for available node software is under review."
      },
      "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": "UnderReview",
              "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."
            },
            {
              "satisfied": false,
              "description": "Fraud proof submission is not sufficiently decentralized."
            }
          ]
        },
        {
          "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": "The sources of all programs used are public and program hashes can be independently regenerated."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• playblock +0 -17 Viewed

  • scalingStage +0 -17 Viewed

    {
      "message": {
        "type": "underReview",
        "text": "The requirement for available node software is under review."
      },
      "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": "UnderReview",
              "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."
            },
            {
              "satisfied": false,
              "description": "Fraud proof submission is not sufficiently decentralized."
            }
          ]
        },
        {
          "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": "The sources of all programs used are public and program hashes can be independently regenerated."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• plumenetwork +0 -17 Viewed

  • scalingStage +0 -17 Viewed

    {
      "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": "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": false,
              "description": "Fraud proof submission is not sufficiently decentralized."
            }
          ]
        },
        {
          "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": "The sources of all programs used are public and program hashes can be independently regenerated."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• popapex +0 -17 Viewed

  • scalingStage +0 -17 Viewed

    {
      "message": {
        "type": "underReview",
        "text": "The requirement for available node software is under review."
      },
      "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": "UnderReview",
              "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."
            },
            {
              "satisfied": false,
              "description": "Fraud proof submission is not sufficiently decentralized."
            }
          ]
        },
        {
          "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": "The sources of all programs used are public and program hashes can be independently regenerated."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• popboss +0 -17 Viewed

  • scalingStage +0 -17 Viewed

    {
      "message": {
        "type": "underReview",
        "text": "The requirement for available node software is under review."
      },
      "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": "UnderReview",
              "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."
            },
            {
              "satisfied": false,
              "description": "Fraud proof submission is not sufficiently decentralized."
            }
          ]
        },
        {
          "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": "The sources of all programs used are public and program hashes can be independently regenerated."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• powerloom +0 -17 Viewed

  • scalingStage +0 -17 Viewed

    {
      "message": {
        "type": "underReview",
        "text": "The requirement for available node software is under review."
      },
      "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": "UnderReview",
              "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."
            },
            {
              "satisfied": false,
              "description": "Fraud proof submission is not sufficiently decentralized."
            }
          ]
        },
        {
          "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": "The sources of all programs used are public and program hashes can be independently regenerated."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• publicgoodsnetwork +0 -9 Viewed

  • scalingStage +0 -9 Viewed

    {
      "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."
        ],
        "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": false,
              "description": "The proof system is still under development."
            },
            {
              "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/ethereum-optimism/optimism/tree/develop/op-node)"
            }
          ]
        },
        {
          "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."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• rari +0 -17 Viewed

  • scalingStage +0 -17 Viewed

    {
      "message": {
        "type": "underReview",
        "text": "The requirement for available node software is under review."
      },
      "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": "UnderReview",
              "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."
            },
            {
              "satisfied": false,
              "description": "Fraud proof submission is not sufficiently decentralized."
            }
          ]
        },
        {
          "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": "The sources of all programs used are public and program hashes can be independently regenerated."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• real +0 -17 Viewed

  • scalingStage +0 -17 Viewed

    {
      "message": {
        "type": "underReview",
        "text": "The requirement for available node software is under review."
      },
      "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": "UnderReview",
              "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."
            },
            {
              "satisfied": false,
              "description": "Fraud proof submission is not sufficiently decentralized."
            }
          ]
        },
        {
          "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": "The sources of all programs used are public and program hashes can be independently regenerated."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• redstone +0 -9 Viewed

  • scalingStage +0 -9 Viewed

    {
      "message": {
        "type": "underReview",
        "text": "The requirement for available node software is under review."
      },
      "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."
        ],
        "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": false,
              "description": "The proof system is still under development."
            },
            {
              "satisfied": "UnderReview",
              "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."
            }
          ]
        },
        {
          "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."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• reya +0 -17 Viewed

  • scalingStage +0 -17 Viewed

    {
      "message": {
        "type": "underReview",
        "text": "The requirement for available node software is under review."
      },
      "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": "UnderReview",
              "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."
            },
            {
              "satisfied": false,
              "description": "Fraud proof submission is not sufficiently decentralized."
            }
          ]
        },
        {
          "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": "The sources of all programs used are public and program hashes can be independently regenerated."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• rise +0 -13 Viewed

  • scalingStage +0 -13 Viewed

    {
      "message": {
        "type": "warning",
        "text": "There is no available node software that can reconstruct L2 state transitions from available DA, so this system cannot be independently verified."
      },
      "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."
        ],
        "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": false,
              "description": "No source-available node exists that can reconstruct the L2 state from the DA layer."
            }
          ]
        },
        {
          "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": true,
              "description": "Prover source code is published. [View code](https://github.com/succinctlabs/sp1)"
            },
            {
              "satisfied": true,
              "description": "The sources of all programs used are public and program hashes can be independently regenerated."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• river +0 -9 Viewed

  • scalingStage +0 -9 Viewed

    {
      "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."
        ],
        "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": false,
              "description": "The proof system is still under development."
            },
            {
              "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/ethereum-optimism/optimism/tree/develop/op-node)"
            }
          ]
        },
        {
          "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."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• roninnetwork +0 -25 Viewed

  • scalingStage +0 -25 Viewed

    {
      "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.",
          "No secure onchain DA verifier is integrated on L1, so DA attestations cannot be independently verified by challengers.",
          "The DA verifier is upgradeable with less than 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": false,
              "description": "The proof system is still under development."
            },
            {
              "satisfied": false,
              "description": "DA is attested solely by the sequencer, which can withhold data unilaterally."
            },
            {
              "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/conduitxyz/ronin-migration-reth-docker)"
            },
            {
              "satisfied": false,
              "description": "Fraud proof submission is not sufficiently decentralized."
            }
          ]
        },
        {
          "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": false,
              "description": "No secure onchain DA verifier is integrated on L1, so DA attestations cannot be independently verified by challengers."
            },
            {
              "satisfied": false,
              "description": "The DA verifier is upgradeable with less than 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)."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• rss3 +0 -9 Viewed

  • scalingStage +0 -9 Viewed

    {
      "message": {
        "type": "warning",
        "text": "There is no available node software that can reconstruct L2 state transitions from available DA, so this system cannot be independently verified."
      },
      "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."
        ],
        "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": false,
              "description": "The proof system is still under development."
            },
            {
              "satisfied": false,
              "description": "No source-available node exists that can reconstruct the L2 state from the DA layer."
            }
          ]
        },
        {
          "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."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• sanko +0 -17 Viewed

  • scalingStage +0 -17 Viewed

    {
      "message": {
        "type": "underReview",
        "text": "The requirement for available node software is under review."
      },
      "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": "UnderReview",
              "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."
            },
            {
              "satisfied": false,
              "description": "Fraud proof submission is not sufficiently decentralized."
            }
          ]
        },
        {
          "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": "The sources of all programs used are public and program hashes can be independently regenerated."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• silentdata +0 -17 Viewed

  • scalingStage +0 -17 Viewed

    {
      "message": {
        "type": "underReview",
        "text": "The requirement for available node software is under review."
      },
      "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."
        ],
        "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": "UnderReview",
              "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."
            },
            {
              "satisfied": false,
              "description": "Fraud proof submission is not sufficiently decentralized."
            }
          ]
        },
        {
          "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": true,
              "description": "The sources of all programs used are public and program hashes can be independently regenerated."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• soon +0 -9 Viewed

  • scalingStage +0 -9 Viewed

    {
      "message": {
        "type": "warning",
        "text": "There is no available node software that can reconstruct L2 state transitions from available DA, so this system cannot be independently verified."
      },
      "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."
        ],
        "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": false,
              "description": "The proof system is still under development."
            },
            {
              "satisfied": false,
              "description": "No source-available node exists that can reconstruct the L2 state from the DA layer."
            }
          ]
        },
        {
          "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."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• sophon +0 -17 Viewed

  • scalingStage +0 -17 Viewed

    {
      "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": "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)."
            },
            {
              "satisfied": true,
              "description": "Prover source code is published."
            },
            {
              "satisfied": true,
              "description": "The sources of all programs used are public and program hashes can be independently regenerated."
            }
          ],
          "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 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."
            }
          ]
        }
      ]
    }

• sorare +0 -21 Viewed

  • scalingStage +0 -21 Viewed

    {
      "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).",
          "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).",
          "Prover source code is published.",
          "Onchain verifiers' smart contracts (including the DA verifier) can be independently regenerated from the verifier source code.",
          "The sources of all programs used are public and program hashes can be independently regenerated."
        ],
        "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)."
            },
            {
              "satisfied": "UnderReview",
              "description": "Prover source code is published."
            },
            {
              "satisfied": "UnderReview",
              "description": "Onchain verifiers' smart contracts (including the DA verifier) can be independently regenerated from the verifier source code."
            },
            {
              "satisfied": "UnderReview",
              "description": "The sources of all programs used are public and program hashes can be independently regenerated."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• stack +0 -9 Viewed

  • scalingStage +0 -9 Viewed

    {
      "message": {
        "type": "underReview",
        "text": "The requirement for available node software is under review."
      },
      "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."
        ],
        "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": false,
              "description": "The proof system is still under development."
            },
            {
              "satisfied": "UnderReview",
              "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."
            }
          ]
        },
        {
          "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."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• superposition +0 -17 Viewed

  • scalingStage +0 -17 Viewed

    {
      "message": {
        "type": "underReview",
        "text": "The requirement for available node software is under review."
      },
      "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": "UnderReview",
              "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."
            },
            {
              "satisfied": false,
              "description": "Fraud proof submission is not sufficiently decentralized."
            }
          ]
        },
        {
          "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": "The sources of all programs used are public and program hashes can be independently regenerated."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• sxnetwork +0 -17 Viewed

  • scalingStage +0 -17 Viewed

    {
      "message": {
        "type": "underReview",
        "text": "The requirement for available node software is under review."
      },
      "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": "UnderReview",
              "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."
            },
            {
              "satisfied": false,
              "description": "Fraud proof submission is not sufficiently decentralized."
            }
          ]
        },
        {
          "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": "The sources of all programs used are public and program hashes can be independently regenerated."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• treasure +0 -9 Viewed

  • scalingStage +0 -9 Viewed

    {
      "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": "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": "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)."
            },
            {
              "satisfied": true,
              "description": "Prover source code is published."
            },
            {
              "satisfied": true,
              "description": "The sources of all programs used are public and program hashes can be independently regenerated."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• winr +0 -17 Viewed

  • scalingStage +0 -17 Viewed

    {
      "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": "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": false,
              "description": "Fraud proof submission is not sufficiently decentralized."
            }
          ]
        },
        {
          "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": "The sources of all programs used are public and program hashes can be independently regenerated."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• wonder +0 -9 Viewed

  • scalingStage +0 -9 Viewed

    {
      "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": "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": "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)."
            },
            {
              "satisfied": true,
              "description": "Prover source code is published."
            },
            {
              "satisfied": true,
              "description": "The sources of all programs used are public and program hashes can be independently regenerated."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• xai +0 -17 Viewed

  • scalingStage +0 -17 Viewed

    {
      "message": {
        "type": "underReview",
        "text": "The requirement for available node software is under review."
      },
      "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": "UnderReview",
              "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."
            },
            {
              "satisfied": false,
              "description": "Fraud proof submission is not sufficiently decentralized."
            }
          ]
        },
        {
          "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": "The sources of all programs used are public and program hashes can be independently regenerated."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• xchain +0 -17 Viewed

  • scalingStage +0 -17 Viewed

    {
      "message": {
        "type": "underReview",
        "text": "The requirement for available node software is under review."
      },
      "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": "UnderReview",
              "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."
            },
            {
              "satisfied": false,
              "description": "Fraud proof submission is not sufficiently decentralized."
            }
          ]
        },
        {
          "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": "The sources of all programs used are public and program hashes can be independently regenerated."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• xterio +0 -9 Viewed

  • scalingStage +0 -9 Viewed

    {
      "message": {
        "type": "underReview",
        "text": "The requirement for available node software is under review."
      },
      "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."
        ],
        "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": false,
              "description": "The proof system is still under development."
            },
            {
              "satisfied": "UnderReview",
              "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."
            }
          ]
        },
        {
          "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."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }

• zkcandy +0 -9 Viewed

  • scalingStage +0 -9 Viewed

    {
      "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": "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": "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)."
            },
            {
              "satisfied": true,
              "description": "Prover source code is published."
            },
            {
              "satisfied": true,
              "description": "The sources of all programs used are public and program hashes can be independently regenerated."
            }
          ],
          "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."
            }
          ]
        }
      ]
    }