# Modulus Documentation

## Modulus Documentation

- [Introduction](https://docs.moduluszk.io/introduction.md)
- [Why now?](https://docs.moduluszk.io/introduction/why-now.md)
- [The ambition](https://docs.moduluszk.io/introduction/the-ambition.md)
- [What this documentation covers](https://docs.moduluszk.io/introduction/what-this-documentation-covers.md)
- [The Problem](https://docs.moduluszk.io/the-problem.md)
- [An industry built on pricing the gap](https://docs.moduluszk.io/the-problem/an-industry-built-on-pricing-the-gap.md)
- [The gap is not closing](https://docs.moduluszk.io/the-problem/the-gap-is-not-closing.md)
- [Why the architecture forces it](https://docs.moduluszk.io/the-problem/why-the-architecture-forces-it.md)
- [What removal looks like](https://docs.moduluszk.io/the-problem/what-removal-looks-like.md)
- [Core Concepts](https://docs.moduluszk.io/core-concepts.md)
- [What a predicate says](https://docs.moduluszk.io/core-concepts/what-a-predicate-says.md)
- [Why it occupies the contract slot](https://docs.moduluszk.io/core-concepts/why-it-occupies-the-contract-slot.md)
- [Two properties that fall out immediately](https://docs.moduluszk.io/core-concepts/two-properties-that-fall-out-immediately.md)
- [The surface today](https://docs.moduluszk.io/core-concepts/the-surface-today.md)
- [Core Concepts cont.](https://docs.moduluszk.io/core-concepts-cont..md)
- [The shape of a transition](https://docs.moduluszk.io/core-concepts-cont./the-shape-of-a-transition.md)
- [Refusal instead of loss](https://docs.moduluszk.io/core-concepts-cont./refusal-instead-of-loss.md)
- [Privacy as a property of the substrate](https://docs.moduluszk.io/core-concepts-cont./privacy-as-a-property-of-the-substrate.md)
- [Determinism of admission](https://docs.moduluszk.io/core-concepts-cont./determinism-of-admission.md)
- [Predicates in practice](https://docs.moduluszk.io/predicates-in-practice.md)
- [A constant product market](https://docs.moduluszk.io/predicates-in-practice/a-constant-product-market.md)
- [An over-collaterallised loan](https://docs.moduluszk.io/predicates-in-practice/an-over-collaterallised-loan.md)
- [What the examples establish, and their limits](https://docs.moduluszk.io/predicates-in-practice/what-the-examples-establish-and-their-limits.md)
- [What follows from the design](https://docs.moduluszk.io/what-follows-from-the-design.md)
- [A contract cannot diverge from its specification](https://docs.moduluszk.io/what-follows-from-the-design/a-contract-cannot-diverge-from-its-specification.md)
- [A defect produces a refusal rather than a loss](https://docs.moduluszk.io/what-follows-from-the-design/a-defect-produces-a-refusal-rather-than-a-loss.md)
- [Cost stops depending on how much the logic does](https://docs.moduluszk.io/what-follows-from-the-design/cost-stops-depending-on-how-much-the-logic-does.md)
- [What the money looks like](https://docs.moduluszk.io/what-follows-from-the-design/what-the-money-looks-like.md)
- [Performance: the prover envelope](https://docs.moduluszk.io/performance-the-prover-envelope.md)
- [The claim, and its axis](https://docs.moduluszk.io/performance-the-prover-envelope/the-claim-and-its-axis.md)
- [Like for like: fib(10,000), same algorithm everywhere](https://docs.moduluszk.io/performance-the-prover-envelope/like-for-like-fib-10-000-same-algorithm-everywhere.md)
- [The floor: a bounds check](https://docs.moduluszk.io/performance-the-prover-envelope/the-floor-a-bounds-check.md)
- [Structure instead of recurrence: sudoku validity](https://docs.moduluszk.io/performance-the-prover-envelope/structure-instead-of-recurrence-sudoku-validity.md)
- [Solving, not only checking](https://docs.moduluszk.io/performance-the-prover-envelope/solving-not-only-checking.md)
- [The loss column: the linear route](https://docs.moduluszk.io/performance-the-prover-envelope/the-loss-column-the-linear-route.md)
- [The memory](https://docs.moduluszk.io/performance-the-prover-envelope/the-memory.md)
- [Hardware, participation, and one open question](https://docs.moduluszk.io/performance-the-prover-envelope/hardware-participation-and-one-open-question.md)
- [Not yet measured](https://docs.moduluszk.io/performance-the-prover-envelope/not-yet-measured.md)
- [Soundness](https://docs.moduluszk.io/soundness.md)
- [Economics: fees and state](https://docs.moduluszk.io/economics-fees-and-state.md)
- [Two claims, kept separate](https://docs.moduluszk.io/economics-fees-and-state/two-claims-kept-separate.md)
- [What is priced instead](https://docs.moduluszk.io/economics-fees-and-state/what-is-priced-instead.md)
- [Fees are static in units](https://docs.moduluszk.io/economics-fees-and-state/fees-are-static-in-units.md)
- [The native asset](https://docs.moduluszk.io/economics-fees-and-state/the-native-asset.md)
- [Pricing occupancy: the open core](https://docs.moduluszk.io/economics-fees-and-state/pricing-occupancy-the-open-core.md)
- [Ordering, and what users would see](https://docs.moduluszk.io/economics-fees-and-state/ordering-and-what-users-would-see.md)
- [Comparison Models](https://docs.moduluszk.io/comparison-models.md)
- [Orientation](https://docs.moduluszk.io/comparison-models/orientation.md)
- [Against zkVMs](https://docs.moduluszk.io/comparison-models/against-zkvms.md)
- [Against circuit languages](https://docs.moduluszk.io/comparison-models/against-circuit-languages.md)
- [Against Mina](https://docs.moduluszk.io/comparison-models/against-mina.md)
- [References](https://docs.moduluszk.io/references.md)
- [Glossary](https://docs.moduluszk.io/glossary.md)