> 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/core-concepts.md).

# Core Concepts

- [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)