Deployed d8e4443 with MkDocs version: 1.6.1

index.html

@@ -1358,14 +1358,16 @@
 <h1 id="welcome-to-the-hyle-developer-docs">Welcome to the Hylé developer docs</h1>
 <p><strong>This developer portal and the project itself are still in early development. <a href="https://t.me/hyle_org">Reach out to us on Telegram</a> if you need anything that isn't here.</strong></p>
 <p><a href="https://hyle.eu/">Hylé</a>  is a lean blockchain that helps you build provable applications that are minimally, yet sufficiently, onchain.</p>
+<p>We focus on native verification of zero-knowledge proofs.</p>
 <ul>
-<li>Hylé separates transaction sequencing from settlement, moving proof generation out of the latency-critical path. <a href="https://blog.hyle.eu/an-introduction-to-delayed-proving/">Pipelined proving</a> solves ZK's current slowness problem and allows you to offload proof generation.</li>
-<li>Hylé has no on-chain execution or virtual machine, relying only on efficient native verification of zero-knowledge proofs.</li>
-<li>Hylé <a href="https://blog.hyle.eu/proof-verification-needs-to-change/">verifies all zero-knowledge proofs natively</a>: choose your proving scheme and your language.</li>
-<li>Hylé enables composability for provable applications, reaching abstraction levels comparable to shared execution. No more foreign field arithmetic or recursive proving; just batch your proofs as part of the same transaction and Hylé will match them.</li>
+<li>Native zero-knowledge proof verification on our sovereign L1.</li>
+<li>No onchain execution or virtual machine: only efficient proof verification.</li>
+<li>Run complex logic in your smart contracts thanks to off-chain execution.</li>
+<li>Leverage pipelined proving and bring proof generation outside of your app's critical path.</li>
+<li>Choose your proving scheme and your language: we verify all proofs.</li>
+<li>Composable cross-contract calls, reaching abstraction levels comparable to shared execution. You'll never need to recursively verify a proof again!</li>
 </ul>
 <p><img alt="Diagram of the different steps coming before Hylé settlement. The diagram is in three parts. The first part, titled Application, includes the use cases (zkRollup, zkApp, zkCoprocessor, zkGaming, zkML, zkDID, and so on). Then it shows execution (via Kakarot, MidenVM, CairoVM, Polygon zkEVM) and data availability (Celestia, Avail, Ethereum). The second part of the diagram is the Prover, with the proof system (groth16, SP1, Cairo, Risc0, Gnark, Valida) and the proving service (Gevulot, client-side, Taralli, Succinct Labs). The third part is the Verifier, Hylé, which only stocks the name of the contract, the proof system and the state commitment." src="assets/img/main-diagram-large-detailed.png" /></p>
-<p>For more information, <a href="https://hyle.eu">check out our website</a>.</p>
 <h2 id="getting-started">Getting started</h2>
 <ol>
 <li>Check out how to <a href="developers/using-the-cli/hyled-install-instructions/">install the CLI</a></li>

overview/index.html

@@ -1284,7 +1284,7 @@
 
 <h1 id="about-hyle">About Hylé</h1>
 <p><a href="https://www.hyle.eu/">Hylé</a> is a lean blockchain that helps you build provable applications that are minimally, yet sufficiently, onchain.</p>
-<p><img alt="diagram of a zero knowledge proof, hyle does settlement and consensus but not execution and storage" src="https://assets-global.website-files.com/6602f1114b957961e0b12dc7/660c9ce163593772242cf9a0_diagram_zero-knowledge-proofs.svg" /></p>
+<p><img alt="diagram of a zero knowledge proof, hyle does settlement and consensus but not execution and storage" src="..\assets\img\hyle-main-diagram.jpg" /></p>
 <h2 id="why-hyle">Why Hylé?</h2>
 <ul>
 <li>Leverage the power of zero-knowledge proofs for maximum trustlessness and privacy</li>