') + ')', 'gi'); if (regex.test(text)) { found = true; var frag = document.createDocumentFragment(); var parts = text.split(regex); parts.forEach(function(part, i) { if (i % 2 === 0) { frag.appendChild(document.createTextNode(part)); } else { var span = document.createElement('span'); span.className = 'userscript-highlight'; span.textContent = part; frag.appendChild(span); } }); node.parentNode.replaceChild(frag, node); } }); } else if (node.nodeType === 1 && node.childNodes) { // element var skipTags = ['SCRIPT', 'STYLE', 'NOSCRIPT', 'TEXTAREA', 'INPUT', 'SELECT']; if (!skipTags.includes(node.tagName)) { Array.from(node.childNodes).forEach(highlight); } } } highlight(document.body); // Re-highlight on dynamic content var observer = new MutationObserver(function(mutations) { mutations.forEach(function(m) { m.addedNodes.forEach(function(node) { if (node.nodeType === 1 || node.nodeType === 3) highlight(node); }); }); }); observer.observe(document.body, { childList: true, subtree: true }); })(); } } catch(__e) { console.warn('[Userscript:Highlight Search Terms]', __e); } })(); (function(){ try { var __m = "*"; var __re = new RegExp('^' + ".*" + ', 'i'); if (__m === '*' || __re.test(location.href)) { // Strip utm_, fbclid, gclid, etc. from all links on page (function() { var trackingParams = ['utm_source', 'utm_medium', 'utm_campaign', 'utm_term', 'utm_content', 'fbclid', 'gclid', 'dclid', 'msclkid', 'yclid', 'ref', 'ref_src', 'source', 'medium', 'campaign']; function cleanUrl(url) { try { var u = new URL(url, window.location.origin); var changed = false; trackingParams.forEach(function(p) { if (u.searchParams.has(p)) { u.searchParams.delete(p); changed = true; } }); return changed ? u.toString() : url; } catch (e) { return url; } } function cleanLinks() { document.querySelectorAll('a[href]').forEach(function(a) { var clean = cleanUrl(a.href); if (clean !== a.href) a.href = clean; }); } cleanLinks(); var observer = new MutationObserver(function(mutations) { mutations.forEach(function(m) { m.addedNodes.forEach(function(node) { if (node.nodeType === 1) { if (node.tagName === 'A') cleanLinks(); node.querySelectorAll('a[href]').forEach(function(a) { var clean = cleanUrl(a.href); if (clean !== a.href) a.href = clean; }); } }); }); }); observer.observe(document.body, { childList: true, subtree: true }); })(); } } catch(__e) { console.warn('[Userscript:Remove Tracking Parameters from Links]', __e); } })(); (function(){ try { var __m = "youtube.com"; var __re = new RegExp('^' + "youtube\\.com" + ', 'i'); if (__m === '*' || __re.test(location.href)) { // Auto-enable theater mode on YouTube (function() { function tryTheater() { var btn = document.querySelector('button[aria-label="Theater mode"], ytd-player #player button[title="Theater mode"]'); if (btn && !btn.classList.contains('activated')) { btn.click(); } } // Try immediately tryTheater(); // Try after navigation (SPA) var lastUrl = location.href; setInterval(function() { if (location.href !== lastUrl) { lastUrl = location.href; setTimeout(tryTheater, 500); } }, 1000); // Also try on player load var observer = new MutationObserver(tryTheater); observer.observe(document.body, { childList: true, subtree: true }); })(); } } catch(__e) { console.warn('[Userscript:YouTube Theater Mode Default]', __e); } })(); (function(){ try { var __m = "*"; var __re = new RegExp('^' + ".*" + ', 'i'); if (__m === '*' || __re.test(location.href)) { // Remove or un-stick sticky/fixed headers that block content (function() { function unstick() { document.querySelectorAll('header, nav, [role="banner"], .header, .navbar, .sticky, .fixed-top, [style*="position: fixed"], [style*="position:sticky"]').forEach(function(el) { if (el.style.position === 'fixed' || el.style.position === 'sticky' || getComputedStyle(el).position === 'fixed' || getComputedStyle(el).position === 'sticky') { el.style.position = 'static'; el.style.top = 'auto'; el.style.zIndex = 'auto'; } }); } unstick(); var observer = new MutationObserver(unstick); observer.observe(document.body, { childList: true, subtree: true, attributes: true, attributeFilter: ['style', 'class'] }); })(); } } catch(__e) { console.warn('[Userscript:Kill Sticky Headers]', __e); } })(); })(); docs: fix missing broken links from dir rename by glpecile · Pull Request #927 · yetanotherco/aligned_layer · GitHub
Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
10 changes: 5 additions & 5 deletions docs/1_introduction/1_getting_started.md
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
# Getting started!

In this tutorial you will learn how to send your first SP1 proofs to get verified in Aligned in under 3 minutes.
In this tutorial, you will learn how to send your first SP1 proofs to get verified in Aligned in under 3 minutes.

## Quickstart
We will download a previously generated SP1 proof, send it to Aligned for verification, and retrieve the results from Ethereum Holesky testnet.
Expand DownExpand Up@@ -54,24 +54,24 @@ aligned verify-proof-onchain \
--chain holesky
```

This is reading the result of the verification of the proof in Ethereum.
This is reading the result of the proof verification in Ethereum.

7. You should get this result:

```bash
[2024-06-17T21:58:43Z INFO aligned] Your proof was verified in Aligned and included in the batch!
```

If the proof wasn't verified you should get this result:
If the proof wasn't verified, you should get this result:

```bash
[2024-06-17T21:59:09Z INFO aligned] Your proof was not included in the batch.
```

Aligned works in:
- MacOS Arm64 (M1 or higher)
- macOS Arm64 (M1 or higher)
- Linux x86 with GLIBC_2.32 or superior (For example, Ubuntu 22.04 or higher)

If you don't meet these requirements, you can compile the binaries yourself following the [README](https://github.com/yetanotherco/aligned_layer)

To try Aligned with other proving systems, check [this](https://docs.alignedlayer.com/guides/0_submitting_proofs) guide
To try Aligned with other proving systems, check [this](../3_guides/0_submitting_proofs) guide
6 changes: 3 additions & 3 deletions docs/3_guides/0_submitting_proofs.md
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
# Submitting Proofs

Make sure you have Aligned installed as specified [here](../introduction/1_getting_started.md#Quickstart).
Make sure you have Aligned installed as specified [here](../1_introduction/1_getting_started.md#Quickstart).

If you run the examples below, make sure you are in Aligned's repository root.

Expand All@@ -15,7 +15,7 @@ The following is the list of the verifiers currently supported by Aligned:
- :white_check_mark: Halo2 - Plonk/KZG
- :white_check_mark: Halo2 - Plonk/IPA

Learn more about future verifiers [here](../architecture/0_supported_verifiers.md).
Learn more about future verifiers [here](../2_architecture/0_supported_verifiers.md).

## 1. Import/Create Keystore file

Expand DownExpand Up@@ -99,7 +99,7 @@ These commands allow the usage of the following flags:

## 3. Submit your proof to the batcher

This guide will focus on how to submit proofs using the Aligned CLI. To integrate the proof submission process into your application, check the [Aligned SDK guide](../guides/1_SDK.md).
This guide will focus on how to submit proofs using the Aligned CLI. To integrate the proof submission process into your application, check the [Aligned SDK guide](../3_guides/2_integrating_aligned_into_your_application.md).

Proof submission is done via the `submit` command of the Aligned CLI. The arguments for the submit command are:

Expand Down
14 changes: 7 additions & 7 deletions docs/3_guides/4_generating_proofs.md
Original file line numberDiff line numberDiff line change
Expand Up@@ -9,7 +9,7 @@ This guide assumes that:
- sp1 prover installed (instructions [here](https://succinctlabs.github.io/sp1/getting-started/install.html))
- sp1 project to generate the proofs
(instructions [here](https://succinctlabs.github.io/sp1/generating-proofs/setup.html))
- aligned installed (instructions [here](../introduction/1_getting_started.md#quickstart))
- aligned installed (instructions [here](../1_introduction/1_getting_started.md#quickstart))

### How to generate a proof

Expand DownExpand Up@@ -47,7 +47,7 @@ aligned submit \

Where `proof_path` is the path to the proof file, `vm_program_path` is the path to the ELF file. `proof_generator_addr` is an optional parameter that works as a helper for some applications where you can be frontrunned.

For more instructions on how to submit proofs, check the [Submitting proofs guide](../guides/0_submitting_proofs.md).
For more instructions on how to submit proofs, check the [Submitting proofs guide](../3_guides/0_submitting_proofs.md).

## Gnark

Expand DownExpand Up@@ -98,7 +98,7 @@ aligned submit \
Where proof path is the path to the proof file, `public_input_path` is the path to the public input file,
and `verification_key_path` is the path to the verification key file.

For more instructions on how to submit proofs, check the [Submitting proofs guide](../guides/0_submitting_proofs.md).
For more instructions on how to submit proofs, check the [Submitting proofs guide](../3_guides/0_submitting_proofs.md).

## Risc0

Expand All@@ -108,7 +108,7 @@ This guide assumes that:

- Risc0 toolchain installed (instructions [here](https://dev.risczero.com/api/zkvm/quickstart#1-install-the-risc-zero-toolchain))
- Risc0 project to generate the proofs (instructions [here](https://dev.risczero.com/api/zkvm/quickstart#2-create-a-new-project))
- Aligned installed (instructions [here](../introduction/1_getting_started.md#quickstart))
- Aligned installed (instructions [here](../1_introduction/1_getting_started.md#quickstart))

### How to generate a proof

Expand DownExpand Up@@ -174,7 +174,7 @@ aligned submit \
--payment_service_addr 0x815aeCA64a974297942D2Bbf034ABEe22a38A003
```

For more instructions on how to submit proofs, check the [Submitting proofs guide](../guides/0_submitting_proofs.md).
For more instructions on how to submit proofs, check the [Submitting proofs guide](../3_guides/0_submitting_proofs.md).

## Halo2

Expand All@@ -184,7 +184,7 @@ This guide assumes that:

- You are using PSE fork of the Halo2 [proof system](https://github.com/privacy-scaling-explorations/halo2).
- You have a strong understanding of Halo2 circuit development and are familiar with the Halo2 proof system.
- Aligned installed (instructions [here](../introduction/1_getting_started.md#quickstart)).
- Aligned installed (instructions [here](../1_introduction/1_getting_started.md#quickstart)).

### Import the Halo2 fork library

Expand DownExpand Up@@ -280,4 +280,4 @@ aligned submit \
--batcher_addr 0x815aeCA64a974297942D2Bbf034ABEe22a38A003
```

For more instructions on how to submit proofs, check the [Submitting proofs guide](../guides/0_submitting_proofs.md).
For more instructions on how to submit proofs, check the [Submitting proofs guide](../3_guides/0_submitting_proofs.md).
6 changes: 3 additions & 3 deletions docs/3_guides/6_setup_aligned.md
Original file line numberDiff line numberDiff line change
Expand Up@@ -124,7 +124,7 @@ Note that when upgrading the contracts, you must also:

## Aggregator

To start the [Aggregator](../architecture/components/5_aggregator.md):
To start the [Aggregator](../2_architecture/components/5_aggregator.md):

```bash
make aggregator_start
Expand All@@ -143,7 +143,7 @@ make aggregator_start CONFIG_FILE=<path_to_config_file>

## Operator

To start an [Operator](../architecture/components/4_operator.md)
To start an [Operator](../2_architecture/components/4_operator.md)
(note it also registers it):

```bash
Expand DownExpand Up@@ -309,7 +309,7 @@ eigenlayer operator keys import --key-type bls <keystore-name> <private-key>

## Batcher

To start the [Batcher](../architecture/components/1_batcher.md):
To start the [Batcher](../2_architecture/components/1_batcher.md):

```bash
make batcher_start
Expand Down
1 change: 1 addition & 0 deletions docs/SUMMARY.md
Original file line numberDiff line numberDiff line change
Expand Up@@ -51,3 +51,4 @@
* [Blog](https://mirror.xyz/0x7794D1c55568270A81D8Bf39e1bcE96BEaC10901)
* [Website](https://alignedlayer.com)
* [Github](https://github.com/yetanotherco/aligned_layer)
* [YouTube](https://www.youtube.com/@alignedlayer)