> For the complete documentation index, see [llms.txt](https://optim-finance.gitbook.io/optim-finance/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://optim-finance.gitbook.io/optim-finance/leviathan/english.md).

# English

- [System Architecture](https://optim-finance.gitbook.io/optim-finance/leviathan/english/system-architecture.md)
- [Background](https://optim-finance.gitbook.io/optim-finance/leviathan/english/system-architecture/background.md)
- [Concurrency Limitations](https://optim-finance.gitbook.io/optim-finance/leviathan/english/system-architecture/concurrency-limitations.md)
- [Complexity in Transaction and Contract Management](https://optim-finance.gitbook.io/optim-finance/leviathan/english/system-architecture/complexity-in-transaction-and-contract-management.md)
- [Core Concepts](https://optim-finance.gitbook.io/optim-finance/leviathan/english/core-concepts.md)
- [Deterministic Transaction](https://optim-finance.gitbook.io/optim-finance/leviathan/english/core-concepts/deterministic-transaction.md)
- [Guaranteed Transaction](https://optim-finance.gitbook.io/optim-finance/leviathan/english/core-concepts/deterministic-transaction/guaranteed-transaction.md)
- [Instant Finality](https://optim-finance.gitbook.io/optim-finance/leviathan/english/core-concepts/instant-finality.md)
- [Liveness and Safety](https://optim-finance.gitbook.io/optim-finance/leviathan/english/core-concepts/instant-finality/liveness-and-safety.md)
- [Probabilistic Finality vs Instant Finality](https://optim-finance.gitbook.io/optim-finance/leviathan/english/core-concepts/instant-finality/probabilistic-finality-vs-instant-finality.md)
- [Account Abstraction](https://optim-finance.gitbook.io/optim-finance/leviathan/english/core-concepts/account-abstraction.md)
- [Concept of Account Abstraction](https://optim-finance.gitbook.io/optim-finance/leviathan/english/core-concepts/account-abstraction/concept-of-account-abstraction.md)
- [Technical Implementation](https://optim-finance.gitbook.io/optim-finance/leviathan/english/core-concepts/account-abstraction/technical-implementation.md)
- [Security and Operational Implications](https://optim-finance.gitbook.io/optim-finance/leviathan/english/core-concepts/account-abstraction/security-and-operational-implications.md)
- [Intent Based Transactions](https://optim-finance.gitbook.io/optim-finance/leviathan/english/core-concepts/intent-based-transactions.md)
- [The Infrastructure and Process of IBTs](https://optim-finance.gitbook.io/optim-finance/leviathan/english/core-concepts/intent-based-transactions/the-infrastructure-and-process-of-ibts.md)
- [Declarative Constraints in IBTs](https://optim-finance.gitbook.io/optim-finance/leviathan/english/core-concepts/intent-based-transactions/declarative-constraints-in-ibts.md)
- [Layer 2](https://optim-finance.gitbook.io/optim-finance/leviathan/english/core-concepts/layer-2.md)
- [Types of Layer 2 Solutions](https://optim-finance.gitbook.io/optim-finance/leviathan/english/core-concepts/layer-2/types-of-layer-2-solutions.md)
- [Sequencers](https://optim-finance.gitbook.io/optim-finance/leviathan/english/core-concepts/sequencers.md)
- [Core Functions of Sequencers](https://optim-finance.gitbook.io/optim-finance/leviathan/english/core-concepts/sequencers/core-functions-of-sequencers.md)
- [Role in Layer 2 Rollups](https://optim-finance.gitbook.io/optim-finance/leviathan/english/core-concepts/sequencers/role-in-layer-2-rollups.md)
- [Challenges](https://optim-finance.gitbook.io/optim-finance/leviathan/english/core-concepts/sequencers/challenges.md)
- [System Components](https://optim-finance.gitbook.io/optim-finance/leviathan/english/system-components.md)
- [Understanding the System Components](https://optim-finance.gitbook.io/optim-finance/leviathan/english/system-components/understanding-the-system-components.md)
- [Optim-Account (Intents to enable tx chain)](https://optim-finance.gitbook.io/optim-finance/leviathan/english/system-components/optim-account-intents-to-enable-tx-chain.md)
- [User Interaction and Intent Submission](https://optim-finance.gitbook.io/optim-finance/leviathan/english/system-components/optim-account-intents-to-enable-tx-chain/user-interaction-and-intent-submission.md)
- [Intent Structuring and Authentication](https://optim-finance.gitbook.io/optim-finance/leviathan/english/system-components/optim-account-intents-to-enable-tx-chain/intent-structuring-and-authentication.md)
- [Smart Contract Functionalities and Operational Parameters](https://optim-finance.gitbook.io/optim-finance/leviathan/english/system-components/optim-account-intents-to-enable-tx-chain/smart-contract-functionalities-and-operational-parameters.md)
- [The Necessity of an Account-Based Framework](https://optim-finance.gitbook.io/optim-finance/leviathan/english/system-components/optim-account-intents-to-enable-tx-chain/the-necessity-of-an-account-based-framework.md)
- [Account Abstraction and Its Role in Leviathan](https://optim-finance.gitbook.io/optim-finance/leviathan/english/system-components/optim-account-intents-to-enable-tx-chain/account-abstraction-and-its-role-in-leviathan.md)
- [Leviathan Sequencer System (tx chain building)](https://optim-finance.gitbook.io/optim-finance/leviathan/english/system-components/leviathan-sequencer-system-tx-chain-building.md)
- [The Role of the Leviathan Sequencer System in Conjunction with The Optim Account](https://optim-finance.gitbook.io/optim-finance/leviathan/english/system-components/leviathan-sequencer-system-tx-chain-building/the-role-of-the-leviathan-sequencer-system-in-conjunction-with-the-optim-account.md)
- [Sequencing and Ordering of Transactions](https://optim-finance.gitbook.io/optim-finance/leviathan/english/system-components/leviathan-sequencer-system-tx-chain-building/sequencing-and-ordering-of-transactions.md)
- [The Role of Time in the System](https://optim-finance.gitbook.io/optim-finance/leviathan/english/system-components/leviathan-sequencer-system-tx-chain-building/the-role-of-time-in-the-system.md)
- [The Pragmatic Leviathan: Dealing with Potential Changes](https://optim-finance.gitbook.io/optim-finance/leviathan/english/system-components/leviathan-sequencer-system-tx-chain-building/the-pragmatic-leviathan-dealing-with-potential-changes.md)
- [The Role of OADA in the Leviathan System](https://optim-finance.gitbook.io/optim-finance/leviathan/english/system-components/the-role-of-oada-in-the-leviathan-system.md)
- [Operational Simplification of Staking Mechanisms via OADA Integration](https://optim-finance.gitbook.io/optim-finance/leviathan/english/system-components/the-role-of-oada-in-the-leviathan-system/operational-simplification-of-staking-mechanisms-via-oada-integration.md)
- [Facilitating Time Dilation and Composability](https://optim-finance.gitbook.io/optim-finance/leviathan/english/system-components/the-role-of-oada-in-the-leviathan-system/facilitating-time-dilation-and-composability.md)
- [Processes](https://optim-finance.gitbook.io/optim-finance/leviathan/english/processes.md)
- [Entering Leviathan](https://optim-finance.gitbook.io/optim-finance/leviathan/english/processes/entering-leviathan.md)
- [Transaction Execution](https://optim-finance.gitbook.io/optim-finance/leviathan/english/processes/transaction-execution.md)
- [Leaving Leviathan](https://optim-finance.gitbook.io/optim-finance/leviathan/english/processes/leaving-leviathan.md)
- [High Level Overview](https://optim-finance.gitbook.io/optim-finance/leviathan/english/high-level-overview.md)
- [System Design](https://optim-finance.gitbook.io/optim-finance/leviathan/english/high-level-overview/system-design.md)
- [Account Abstraction Functionality](https://optim-finance.gitbook.io/optim-finance/leviathan/english/high-level-overview/system-design/account-abstraction-functionality.md)
- [Guaranteed Transactions](https://optim-finance.gitbook.io/optim-finance/leviathan/english/high-level-overview/system-design/guaranteed-transactions.md)
- [Instant Finality](https://optim-finance.gitbook.io/optim-finance/leviathan/english/high-level-overview/system-design/instant-finality.md)
- [Unbreakable Transaction Chaining](https://optim-finance.gitbook.io/optim-finance/leviathan/english/high-level-overview/system-design/unbreakable-transaction-chaining.md)
- [Layer 2 Execution Environment](https://optim-finance.gitbook.io/optim-finance/leviathan/english/high-level-overview/system-design/layer-2-execution-environment.md)
- [Future Sequencer Network](https://optim-finance.gitbook.io/optim-finance/leviathan/english/high-level-overview/system-design/future-sequencer-network.md)
- [System Context](https://optim-finance.gitbook.io/optim-finance/leviathan/english/high-level-overview/system-context.md)
- [Limitations of current transactions chaining paradigm](https://optim-finance.gitbook.io/optim-finance/leviathan/english/high-level-overview/system-context/limitations-of-current-transactions-chaining-paradigm.md)
- [Limitations of current inter dApp composability issues](https://optim-finance.gitbook.io/optim-finance/leviathan/english/high-level-overview/system-context/limitations-of-current-inter-dapp-composability-issues.md)
- [Explanation of basic design and non-custodial asset inputs](https://optim-finance.gitbook.io/optim-finance/leviathan/english/high-level-overview/system-context/explanation-of-basic-design-and-non-custodial-asset-inputs.md)
- [Intent Based Transactions](https://optim-finance.gitbook.io/optim-finance/leviathan/english/high-level-overview/system-context/intent-based-transactions.md)
- [Account Base vs eUTxO model app architecture](https://optim-finance.gitbook.io/optim-finance/leviathan/english/high-level-overview/system-context/account-base-vs-eutxo-model-app-architecture.md)
- [Theoretical Applications](https://optim-finance.gitbook.io/optim-finance/leviathan/english/high-level-overview/theoretical-applications.md)
- [Security Review](https://optim-finance.gitbook.io/optim-finance/leviathan/english/security-review.md)