You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: docs/1_introduction/2_use_cases.md
+17-6Lines changed: 17 additions & 6 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -19,7 +19,9 @@ Rollups produce ZK proofs of state transitions and need to verify (settle) those
19
19
-**Verification Layer (low latency, high volume):** live on mainnet; ideal for the fastest confirmations and very high proof volumes. Economic security with nearly 3 million restaked ETH (>$12B USD value).
20
20
-**Aggregation Service (highest security):** recursively compresses many proofs into one proof verified on L1; great when you can trade latency for full Ethereum security.
21
21
22
-
_**Related:**_ Our RaaS makes launching [based ZK-rollups](https://blog.alignedlayer.com/aligned-raas-based-rollups-to-build-the-future-of-ethereum/) (Ethrex stack) possible in one click and is integrated with our ZK verification layer to reduce costs.
22
+
{% hint style="success" %}
23
+
Our RaaS makes launching [based ZK-rollups](https://blog.alignedlayer.com/aligned-raas-based-rollups-to-build-the-future-of-ethereum/) (Ethrex stack) possible in one click and is integrated with our ZK verification layer to reduce costs.
@@ -35,7 +37,9 @@ Bridges and cross-chain systems verify source chain state/account proofs on the
35
37
-**Verification Layer** for quick attestations and user UX.
36
38
-**Aggregation Service** for periodic consolidated checkpoints to L1.
37
39
38
-
_**Example:**_ The Mina ↔ Ethereum bridge uses Aligned to verify Mina’s Kimchi proofs on Ethereum ([blog post](https://blog.alignedlayer.com/mina-to-ethereum-bridge/)).
40
+
{% hint style="success" %}
41
+
The Mina ↔ Ethereum bridge uses Aligned to verify Mina’s Kimchi proofs on Ethereum ([blog post](https://blog.alignedlayer.com/mina-to-ethereum-bridge/)).
42
+
{% endhint %}
39
43
40
44
## zkTLS & web2-to-web3 data credentials
41
45
@@ -65,7 +69,9 @@ To make AI verifiable, prove that model inference (or parts of a pipeline) ran c
65
69
-**Verification Layer** for per-inference confirmations and low cost at scale.
_**Learn more:**_ See our [blog post](https://blog.alignedlayer.com/the-era-of-ai-needs-ethereum-and-zk/) that expands on why we believe ZK and Ethereum will play a major role in the future of AI.
72
+
{% hint style="success" %}
73
+
See our [blog post](https://blog.alignedlayer.com/the-era-of-ai-needs-ethereum-and-zk/) that expands on why we believe ZK and Ethereum will play a major role in the future of AI.
74
+
{% endhint %}
69
75
70
76
## Identity & verifiable credentials
71
77
@@ -104,14 +110,19 @@ Games and interactive dapps that prove game validity, scores/results, or anti-ch
104
110
- Low-latency verification makes regular and frequent proving economical.
105
111
- We’ve highlighted early builders in our [hackathon spotlights](https://blog.alignedlayer.com/tag/hackathons/).
106
112
113
+
{% hint style="success" %}
107
114
_**Coming soon:**_ Our **ZK Arcade** (launching 2025 Q3) will let users verify proofs of game results using Aligned.
115
+
{% endhint %}
108
116
109
117
## Which mode should I pick?
110
118
111
-
-**Need the lowest cost and fastest confirmations?** Start with the [Proof Verification Layer](https://docs.alignedlayer.com/architecture/1_proof_verification_layer). It’s live on mainnet, secured by 52 restaked operators, and can verify thousands of proofs per second with results readable on Ethereum within blocks (cryptoeconomic security derived from Ethereum).
112
-
-**Need full L1 finality in one transaction?** Use the [Proof Aggregation Service](https://docs.alignedlayer.com/architecture/2_aggregation_mode). It recursively compresses many proofs into one that’s verified directly on Ethereum, trading minutes of latency for the strongest security (full cryptographic security of Ethereum).
119
+
**Need the lowest cost and fastest confirmations?**
120
+
-Start with the [Proof Verification Layer](https://docs.alignedlayer.com/architecture/1_proof_verification_layer). It’s live on mainnet, secured by 52 restaked operators, and can verify thousands of proofs per second with results readable on Ethereum within blocks (cryptoeconomic security derived from Ethereum).
113
121
114
-
You can also combine both: use the Verification Layer for UX and fast exits, then periodically post aggregated checkpoints for L1 finality.
122
+
**Need full L1 finality in one transaction?**
123
+
- Use the [Proof Aggregation Service](https://docs.alignedlayer.com/architecture/2_aggregation_mode). It recursively compresses many proofs into one that’s verified directly on Ethereum, trading minutes of latency for the strongest security (full cryptographic security of Ethereum).
124
+
125
+
***You can also combine both:*** use the Verification Layer for UX and fast exits, then periodically post aggregated checkpoints for L1 finality.
115
126
116
127
In the current Holesky testnet deployment of the Proof Aggregation Service, supported Risc Zero and SP1 zkVM proofs that are submitted to the Proof Verification Layer are aggregated and verified through the Aggregation Service several times per day. The mainnet version will allow users to choose either the Verification Layer or Aggregation Service (or both) when submitting proofs.
0 commit comments