Click here to join our community Discord server!

Habitat logoHabitat

TVL: $3.46M

+27.60% / 7 days

...

...

Tokens:

News

Description[Edit][Issue]

Habitat is an optimistic rollup designed to allow community governance and treasury management.

Risk summary

Note: This project's overview requires more research and might not present accurate information. If you want to contribute you can edit the information on Github. Alternatively you contact the project team on Twitter and encourage them to contribute a PR.

Technology

Fraud proofs ensure state correctness[Edit][Issue]

Note: This section requires more research and might not present accurate information.

The published state root is assumed to be correct. For a certain time period, usually one week anyone can submit a fraud proof that shows that the state was incorrect.[Citation needed]

  • Funds can be stolen if there is no one that checks the published state. Fraud proofs assume at least one honest and able validator.

All data required for proofs is published on chain[Edit][Issue]

Note: This section requires more research and might not present accurate information.

All the data that is used to construct the system state is published on chain in the form of cheap calldata. This ensures that it will always be available when needed.[Citation needed]

    Operator

    There is no central operator[Edit][Issue]

    Note: This section requires more research and might not present accurate information.

    There is no privileged entity that sequences transactions or produces blocks. This activity is permissionless and open to anyone.[Citation needed]

      Users can force any transaction[Edit][Issue]

      Note: This section requires more research and might not present accurate information.

      Because the block production is open to anyone if users experience censorship from the operator they can propose their own blocks which would include their transactions.[Citation needed]

      • Users can be censored if the operator refuses to include their transactions and users lack resources to propose blocks themselves.

      Withdrawals

      Regular exit[Edit][Issue]

      Note: This section requires more research and might not present accurate information.

      The user initiates the withdrawal by submitting a transaction on L2. When the block containing that transaction is finalized the funds become available for withdrawal on L1. The process of block finalization usually takes several days to complete. Finally the user submits an L1 transaction to claim the funds. This transaction requires a merkle proof.[Citation needed]

        Other considerations

        Limited smart contract support exists[Edit][Issue]

        Only static contracts that comply to the Habitat Module interface can be deployed and used.[1]

          Smart Contracts[Edit][Issue]

          The system consists of the following smart contracts:

          The current deployment carries some associated risks:

          • Funds can be stolen if a contract receives a malicious code upgrade. There is no delay on code upgrades (CRITICAL).

          References

          1. HabitatModule.sol - Habitat source code