### Start Hyli Node with Indexer and Postgres using Cargo

Source: https://docs.hyli.org/resources/release-notes

This command allows users to quickly launch a Hyli node instance, including an indexer and a PostgreSQL database, directly from the command line using Cargo. It simplifies the setup process for development and testing environments.

```Rust
cargo run -- --pg
```

--------------------------------

### Hyli Supported Proving Schemes Reference

Source: https://docs.hyli.org/reference/supported-proving-schemes

This section details the various proving schemes supported by Hyli, including their verifier identifiers, the format for their program IDs, and links to official templates for getting started.

```APIDOC
Proving Schemes:
  - Scheme: Noir
    Verifier: noir
    Program ID: Verification key.
    Template: N/A
  - Scheme: Risc0
    Verifier: risc0
    Program ID: Image ID without a prefix. ex. 0x123 becomes 123.
    Template: https://github.com/hyli-org/template-risc0
  - Scheme: SP1
    Verifier: sp1
    Program ID: Verification key.
    Template: https://github.com/hyli-org/template-sp1
```

--------------------------------

### MkDocs Material Configuration JSON

Source: https://docs.hyli.org/quickstart/example

This JSON object represents configuration settings for a MkDocs Material theme. It defines base paths, enabled features like navigation sections and code copying, search worker paths, and various translation strings for UI elements such as clipboard actions and search results.

```JSON
{"base": "../..", "features": ["navigation.sections", "navigation.indexes", "navigation.expand", "navigation.prune", "content.code.copy"], "search": "../../assets/javascripts/workers/search.d50fe291.min.js", "tags": null, "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}, "version": null}
```

--------------------------------

### Initialize MkDocs Utility Functions for Local Storage

Source: https://docs.hyli.org/resources/roadmap

Provides utility JavaScript functions for the MkDocs site, including defining a base URL scope, a hashing function for unique identifiers, and methods for getting and setting data in local storage, primarily used for persistent UI states or user preferences.

```JavaScript
__md_scope=new URL("../..",location),__md_hash=e=>[...e].reduce(((e,_)=>(e<<5)-e+_.charCodeAt(0)),0),__md_get=(e,_=localStorage,t=__md_scope)=>JSON.parse(_.getItem(t.pathname+"."+e)),__md_set=(e,_,t=localStorage,a=__md_scope)=>{try{t.setItem(a.pathname+"."+e,JSON.stringify(_))}catch(e){}}
```

--------------------------------

### JavaScript Utility Functions for Local Storage and Hashing

Source: https://docs.hyli.org/quickstart/example

This JavaScript snippet defines utility functions for managing local storage and generating a hash. `__md_scope` sets the base URL, `__md_hash` computes a simple hash from a string, `__md_get` retrieves and parses JSON data from local storage, and `__md_set` stores and stringifies JSON data in local storage, with error handling.

```JavaScript
__md_scope=new URL("..",location),__md_hash=e=>[...e].reduce(((e,_)=>(e<<5)-e+_.charCodeAt(0)),0),__md_get=(e,_=localStorage,t=__md_scope)=>JSON.parse(_.getItem(t.pathname+"."+e)),__md_set=(e,_,t=localStorage,a=__md_scope)=>{try{t.setItem(a.pathname+"."+e,JSON.stringify(_))}catch(e){}}
```

--------------------------------

### JavaScript for Handling Tabbed Content State

Source: https://docs.hyli.org/quickstart/example

This JavaScript snippet checks the URL hash for an element ID. If found and the element has a `name` attribute, it sets the `checked` property of that element to true if its name starts with '__tabbed_'. This is typically used to control the state of tabbed content based on the URL.

```JavaScript
var target=document.getElementById(location.hash.slice(1));target&&target.name&&(target.checked=target.name.startsWith("__tabbed_"))
```

--------------------------------

### Define CSS Custom Properties for Fonts

Source: https://docs.hyli.org/quickstart/example

This CSS snippet defines custom properties for the default text font and code font, setting them to 'Roboto' and 'Roboto Mono' respectively. These properties can be used throughout the stylesheet for consistent typography.

```CSS
:root{--md-text-font:"Roboto";--md-code-font:"Roboto Mono"}
```

--------------------------------

### JavaScript Local Storage and URL Utilities

Source: https://docs.hyli.org/resources/find-us

Utility functions for managing local storage data and URL-based scoping within the Hyli Developer Hub documentation site. Includes functions for hashing, getting, and setting items in local storage.

```JavaScript
__md_scope=new URL("..",location),__md_hash=e=>[...e].reduce(((e,_)=>(e<<5)-e+_.charCodeAt(0)),0),__md_get=(e,_=localStorage,t=__md_scope)=>JSON.parse(_.getItem(t.pathname+"."+e)),__md_set=(e,_,t=localStorage,a=__md_scope)=>{try{t.setItem(a.pathname+"."+e,JSON.stringify(_))}catch(e){}}
```

--------------------------------

### JavaScript URL Hash and Tabbed Content Activation

Source: https://docs.hyli.org/resources/glossary

Activates specific elements based on the URL hash, particularly for tabbed content. It checks if an element identified by the hash exists and, if it has a 'name' attribute starting with '__tabbed_', sets its 'checked' property to true to display the corresponding tab.

```JavaScript
var target=document.getElementById(location.hash.slice(1));target&&target.name&&(target.checked=target.name.startsWith("__tabbed_"))
```

--------------------------------

### JavaScript: Handle Tabbed Content on Page Load

Source: https://docs.hyli.org/resources/release-notes

This JavaScript snippet checks if a URL hash corresponds to an element with a 'name' attribute and, if that name starts with '__tabbed_', sets the element's 'checked' property to true. This is typically used to automatically activate a specific tab or section based on the URL fragment identifier.

```JavaScript
var target=document.getElementById(location.hash.slice(1));target&&target.name&&(target.checked=target.name.startsWith("__tabbed_"))
```

--------------------------------

### Handle Tabbed Navigation State in JavaScript

Source: https://docs.hyli.org/tooling/explorer

This JavaScript code checks if an HTML element identified by the URL hash exists and has a 'name' attribute. If the name starts with '__tabbed_', it sets the 'checked' property of the element, typically used to control the state of tabbed navigation components.

```JavaScript
var target=document.getElementById(location.hash.slice(1));target&&target.name&&(target.checked=target.name.startsWith("__tabbed_"))
```

--------------------------------

### Handle Tabbed Content State on Page Load

Source: https://docs.hyli.org/resources/roadmap

A JavaScript snippet that checks if a target HTML element, identified by the URL hash, exists and has a name attribute. If it does, and its name starts with '__tabbed_', it sets the element's 'checked' property, likely for managing the state of tabbed content sections.

```JavaScript
var target=document.getElementById(location.hash.slice(1));target&&target.name&&(target.checked=target.name.startsWith("__tabbed_"))
```

--------------------------------

### JavaScript: Handle Tabbed Content Navigation

Source: https://docs.hyli.org/concepts/pipelined-proving

This JavaScript snippet identifies an HTML element based on the URL hash, checks if it has a 'name' attribute, and if that name starts with '__tabbed__', it sets the element's 'checked' property to true. This is typically used for managing the state of tabbed content sections in a web page.

```javascript
var target=document.getElementById(location.hash.slice(1));target&&target.name&&(target.checked=target.name.startsWith("__tabbed__"))
```

--------------------------------

### JavaScript: Handle Tabbed Navigation State

Source: https://docs.hyli.org/concepts/hyli-vs-vintage-blockchains

This JavaScript snippet identifies a DOM element based on the URL hash. If the element exists, has a name attribute, and that name starts with '__tabbed_', it sets the element's 'checked' property to true. This functionality is typically used to automatically activate specific tabs or sections on page load.

```JavaScript
var target=document.getElementById(location.hash.slice(1));target&&target.name&&(target.checked=target.name.startsWith("__tabbed_"))
```

--------------------------------

### JSON: Material for MkDocs Configuration

Source: https://docs.hyli.org/concepts/hyli-vs-vintage-blockchains

This JSON object defines the configuration settings for a documentation site built with Material for MkDocs. It specifies base paths, enables various navigation and content features (like code copying), sets the path for the search worker, and includes internationalization strings for user interface elements such as clipboard actions and search results.

```JSON
{"base": "../..", "features": ["navigation.sections", "navigation.indexes", "navigation.expand", "navigation.prune", "content.code.copy"], "search": "../../assets/javascripts/workers/search.d50fe291.min.js", "tags": null, "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}, "version": null}
```

--------------------------------

### Hyli API Access and SDK Implementations

Source: https://docs.hyli.org/tooling/api

This section details how to access Hyli's API documentation via OpenAPI (Swagger UI) and lists the official SDKs available for different programming languages, including their respective package/repository links.

```APIDOC
Hyli API Documentation:
  OpenAPI (Swagger UI):
    - Local Node Access: Run a local node, then open http://localhost:4321/swagger-ui/
    - Devnet Indexer API: Visit https://indexer.devnet.hyli.org/swagger-ui/

SDK Implementations:
  - JavaScript (JS):
    Package: hyle on npm
    Link: https://www.npmjs.com/package/hyle
  - Rust:
    Package: hyle client sdk on docs.rs
    Link: https://crates.io/crates/hyle-client-sdk
```

--------------------------------

### Configure JavaScript Module Imports

Source: https://hyli.org/

This JSON snippet defines an import map for JavaScript modules, mapping 'three' and 'three/addons/' to specific URLs on unpkg.com. This configuration allows for direct import of these modules in the browser, simplifying module management.

```JSON
{ "imports": { "three": "https://unpkg.com/three@0.162.0/build/three.module.js", "three/addons/": "https://unpkg.com/three@0.162.0/examples/jsm/" } }
```

--------------------------------

### MkDocs Material Theme Configuration Object

Source: https://docs.hyli.org/concepts/pipelined-proving

This JSON object defines configuration settings for a MkDocs Material theme, including base paths, enabled features like navigation and code copying, search worker paths, and various translation strings for UI elements such as clipboard actions and search results. It's used to customize the behavior and localization of the documentation site.

```json
{"base": "../..", "features": ["navigation.sections", "navigation.indexes", "navigation.expand", "navigation.prune", "content.code.copy"], "search": "../../assets/javascripts/workers/search.d50fe291.min.js", "tags": null, "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}, "version": null}
```

--------------------------------

### Plausible Analytics Initialization Script

Source: https://blog.hyli.org/

This JavaScript snippet initializes the Plausible analytics tracking object. It ensures that the `window.plausible` function is available globally, allowing subsequent calls to record page views and other events for website analytics.

```JavaScript
window.plausible = window.plausible || function() { (window.plausible.q = window.plausible.q || []).push(arguments) }
```

--------------------------------

### MkDocs Site Configuration Object

Source: https://docs.hyli.org/resources/roadmap

A JSON object defining various configuration settings for an MkDocs-generated site, including base paths, enabled features like navigation sections and code copy, search worker paths, and internationalization strings for clipboard and search results.

```JSON
{"base": "../..", "features": ["navigation.sections", "navigation.indexes", "navigation.expand", "navigation.prune", "content.code.copy"], "search": "../../assets/javascripts/workers/search.d50fe291.min.js", "tags": null, "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}, "version": null}
```

--------------------------------

### Initialize Mobile Menu and Responsive Videos with jQuery

Source: https://blog.hyli.org/

This jQuery snippet initializes two common front-end functionalities: a mobile menu toggle and responsive video embeds. It uses the '.gh-burger' class to toggle the 'gh-head-open' class on the body for menu visibility and applies FitVids to elements with the '.gh-content' class to make video embeds responsive.

```JavaScript
$(document).ready(function () { // Mobile Menu Trigger $('.gh-burger').click(function () { $('body').toggleClass('gh-head-open'); }); // FitVids - Makes video embeds responsive $(".gh-content").fitVids(); });
```

--------------------------------

### Material for MkDocs Local Storage Utilities

Source: https://docs.hyli.org/tooling/explorer

This JavaScript snippet provides utility functions for Material for MkDocs, including `__md_scope` for base URL, `__md_hash` for string hashing, `__md_get` to retrieve data from local storage, and `__md_set` to store data in local storage, all scoped by the current pathname.

```JavaScript
__md_scope=new URL("..",location),__md_hash=e=>[...e].reduce(((e,_)=>(e<<5)-e+_.charCodeAt(0)),0),__md_get=(e,_=localStorage,t=__md_scope)=>JSON.parse(_.getItem(t.pathname+"."+e)),__md_set=(e,_,t=localStorage,a=__md_scope)=>{try{t.setItem(a.pathname+"."+e,JSON.stringify(_))}catch(e){}}
```

--------------------------------

### MkDocs Material Configuration JSON

Source: https://docs.hyli.org/concepts/proof-composition

This JSON object defines configuration settings for a MkDocs Material theme, including navigation features, search worker paths, translation strings for UI elements, and versioning information. It's used to customize the behavior and appearance of the generated documentation site.

```json
{"base": "../..", "features": ["navigation.sections", "navigation.indexes", "navigation.expand", "navigation.prune", "content.code.copy"], "search": "../../assets/javascripts/workers/search.d50fe291.min.js", "tags": null, "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}, "version": null}
```

--------------------------------

### JSON: MkDocs Material Configuration

Source: https://docs.hyli.org/resources/release-notes

This JSON object defines the configuration for a MkDocs Material site, specifying base paths, enabled features like navigation sections and code copying, search worker paths, and various translation strings for UI elements. It configures how the documentation site behaves and displays content.

```JSON
{"base": "../..", "features": ["navigation.sections", "navigation.indexes", "navigation.expand", "navigation.prune", "content.code.copy"], "search": "../../assets/javascripts/workers/search.d50fe291.min.js", "tags": null, "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}, "version": null}
```

--------------------------------

### Material for MkDocs Site Configuration

Source: https://docs.hyli.org/tooling/explorer

This JSON object configures various features for a Material for MkDocs site, including the base path, enabled navigation features (sections, indexes, expand, prune), the path to the search worker script, and translation strings for UI elements like clipboard and search results.

```JSON
{"base": "../..", "features": ["navigation.sections", "navigation.indexes", "navigation.expand", "navigation.prune", "content.code.copy"], "search": "../../assets/javascripts/workers/search.d50fe291.min.js", "tags": null, "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}, "version": null}
```

--------------------------------

### JavaScript Utilities for MkDocs Local Storage

Source: https://docs.hyli.org/resources/glossary

Provides helper functions for managing documentation-specific state in local storage. This includes utilities for generating hash codes, retrieving items, and setting items, primarily used for internal navigation and UI persistence within the Hyli Developer Hub.

```JavaScript
__md_scope=new URL("..",location),__md_hash=e=>[...e].reduce(((e,_)=>(e<<5)-e+_.charCodeAt(0)),0),__md_get=(e,_=localStorage,t=__md_scope)=>JSON.parse(_.getItem(t.pathname+"."+e)),__md_set=(e,_,t=localStorage,a=__md_scope)=>{try{t.setItem(a.pathname+"."+e,JSON.stringify(_))}catch(e){}}
```

--------------------------------

### CSS Styles for Post Upgrade Call-to-Action (CTA)

Source: https://blog.hyli.org/

This CSS snippet defines the visual presentation and layout for a 'post-upgrade' call-to-action section. It includes flexbox properties for alignment, font styling, color definitions, and specific rules for links and buttons within the CTA, ensuring a consistent and responsive design.

```CSS
.gh-post-upgrade-cta-content, .gh-post-upgrade-cta { display: flex; flex-direction: column; align-items: center; font-family: -apple-system, BlinkMacSystemFont, 'Segoe UI', Roboto, Oxygen, Ubuntu, Cantarell, 'Open Sans', 'Helvetica Neue', sans-serif; text-align: center; width: 100%; color: #ffffff; font-size: 16px; } .gh-post-upgrade-cta-content { border-radius: 8px; padding: 40px 4vw; } .gh-post-upgrade-cta h2 { color: #ffffff; font-size: 28px; letter-spacing: -0.2px; margin: 0; padding: 0; } .gh-post-upgrade-cta p { margin: 20px 0 0; padding: 0; } .gh-post-upgrade-cta small { font-size: 16px; letter-spacing: -0.2px; } .gh-post-upgrade-cta a { color: #ffffff; cursor: pointer; font-weight: 500; box-shadow: none; text-decoration: underline; } .gh-post-upgrade-cta a:hover { color: #ffffff; opacity: 0.8; box-shadow: none; text-decoration: underline; } .gh-post-upgrade-cta a.gh-btn { display: block; background: #ffffff; text-decoration: none; margin: 28px 0 0; padding: 8px 18px; border-radius: 4px; font-size: 16px; font-weight: 600; } .gh-post-upgrade-cta a.gh-btn:hover { opacity: 0.92; }
```

--------------------------------

### Apply Responsive Styles for Large Desktops (CSS)

Source: https://hyli.org/

This CSS block defines styles for screen widths 992px and above. It sets background and text colors, and applies initial transform and opacity states for elements identified by specific 'data-w-id' attributes, likely for animations or interactive effects.

```CSS
@media (min-width:992px) {html.w-mod-js:not(.w-mod-ix) \[data-w-id="ca3e91cb-30c2-5297-5f52-75775bcc9d5d"\] {background-color:rgb(255,255,255);color:rgb(6,6,6);}html.w-mod-js:not(.w-mod-ix) \[data-w-id="d46e495f-aed8-e120-5d61-c578038e59f5"\] {height:0%;opacity:0;}html.w-mod-js:not(.w-mod-ix) \[data-w-id="18e7c0b9-f871-c294-1dea-0eea3410aaab"\] {-webkit-transform:translate3d(0, 1em, 0) scale3d(1, 1, 1) rotateX(0) rotateY(0) rotateZ(0) skew(0, 0);-moz-transform:translate3d(0, 1em, 0) scale3d(1, 1, 1) rotateX(0) rotateY(0) rotateZ(0) skew(0, 0);-ms-transform:translate3d(0, 1em, 0) scale3d(1, 1, 1) rotateX(0) rotateY(0) rotateZ(0) skew(0, 0);transform:translate3d(0, 1em, 0) scale3d(1, 1, 1) rotateX(0) rotateY(0) rotateZ(0) skew(0, 0);opacity:0;}html.w-mod-js:not(.w-mod-ix) \[data-w-id="7217cf2a-bca0-0f25-b6a0-478cf76babd9"\] {background-color:rgb(255,255,255);color:rgb(6,6,6);}html.w-mod-js:not(.w-mod-ix) \[data-w-id="7217cf2a-bca0-0f25-b6a0-478cf76babdc"\] {height:0%;opacity:0;}html.w-mod-js:not(.w-mod-ix) \[data-w-id="b31db140-4b6c-cc89-eb98-fe22fa59b75b"\] {-webkit-transform:translate3d(0, 1em, 0) scale3d(1, 1, 1) rotateX(0) rotateY(0) rotateZ(0) skew(0, 0);-moz-transform:translate3d(0, 1em, 0) scale3d(1, 1, 1) rotateX(0) rotateY(0) rotateZ(0) skew(0, 0);-ms-transform:translate3d(0, 1em, 0) scale3d(1, 1, 1) rotateX(0) rotateY(0) rotateZ(0) skew(0, 0);transform:translate3d(0, 1em, 0) scale3d(1, 1, 1) rotateX(0) rotateY(0) rotateZ(0) skew(0, 0);opacity:0;}html.w-mod-js:not(.w-mod-ix) \[data-w-id="92f83a23-9183-f548-079d-245d72797a4a"\] {background-color:rgb(6,6,6);color:rgb(243,245,246);}html.w-mod-js:not(.w-mod-ix) \[data-w-id="3d9e6275-ed9b-3fcc-8952-ee6c036a7284"\] {opacity:0;-webkit-transform:translate3d(-1.5em, 0, 0) scale3d(1, 1, 1) rotateX(0) rotateY(0) rotateZ(0) skew(0, 0);-moz-transform:translate3d(-1.5em, 0, 0) scale3d(1, 1, 1) rotateX(0) rotateY(0) rotateZ(0) skew(0, 0);-ms-transform:translate3d(-1.5em, 0, 0) scale3d(1, 1, 1) rotateX(0) rotateY(0) rotateZ(0) skew(0, 0);transform:translate3d(-1.5em, 0, 0) scale3d(1, 1, 1) rotateX(0) rotateY(0) rotateZ(0) skew(0, 0);}html.w-mod-js:not(.w-mod-ix) \[data-w-id="65774005-a0db-69d9-0ed9-13b05bcda999"\] {background-color:rgb(255,255,255);color:rgb(6,6,6);}html.w-mod-js:not(.w-mod-ix) \[data-w-id="65774005-a0db-69d9-0ed9-13b05bcda99c"\] {height:0%;opacity:0;}html.w-mod-js:not(.w-mod-ix) \[data-w-id="e12cf232-bb82-b39a-6ead-00390a930c3f"\] {-webkit-transform:translate3d(0, 1em, 0) scale3d(1, 1, 1) rotateX(0) rotateY(0) rotateZ(0) skew(0, 0);-moz-transform:translate3d(0, 1em, 0) scale3d(1, 1, 1) rotateX(0) rotateY(0) rotateZ(0) skew(0, 0);-ms-transform:translate3d(0, 1em, 0) scale3d(1, 1, 1) rotateX(0) rotateY(0) rotateZ(0) skew(0, 0);transform:translate3d(0, 1em, 0) scale3d(1, 1, 1) rotateX(0) rotateY(0) rotateZ(0) skew(0, 0);opacity:0;}
```

--------------------------------

### Hyli Website Schema.org JSON-LD Definition

Source: https://blog.hyli.org/

Defines the website's metadata using Schema.org JSON-LD format for search engine optimization. This snippet provides structured data about the website, its publisher, URL, name, image, and a brief description, aiding search engines in understanding the content.

```JSON
{\"@context\": \"https://schema.org\", \"@type\": \"WebSite\", \"publisher\": { \"@type\": \"Organization\", \"name\": \"Hyli\", \"url\": \"https://blog.hyli.org/\", \"logo\": { \"@type\": \"ImageObject\", \"url\": \"https://blog.hyli.org/content/images/2025/05/HYLI_WORDMARK_WHITE.png\" } }, \"url\": \"https://blog.hyli.org/\", \"name\": \"Hyli\", \"image\": { \"@type\": \"ImageObject\", \"url\": \"https://blog.hyli.org/content/images/size/w1200/2025/05/Clip-path-group-3-.png\", \"width\": 1200, \"height\": 401 }, \"mainEntityOfPage\": \"https://blog.hyli.org/\", \"description\": \"The new proof-powered L1 to build the next generation of apps.\"}
```

--------------------------------

### Homepage Image and Content Layout

Source: https://hyli.org/

Defines the layout and styling for a specific section on the homepage, likely featuring an image and associated text. It includes responsive image sizing, positioning, and visibility controls.

```CSS
.content { flex: none; display: grid; place-items: center; line-height: 1.2; grid-template-areas: 'title' 'layout' '...'; grid-template-rows: 3.5vw auto 3.5vw; gap: 1rem; }
.content__img-wrap { grid-area: layout; border-radius: .25rem; }
.content__img { --img-width: 60vw; --img-height: 40vh; --img-ar: auto; --img-inner-margin-x: 0px; --img-inner-margin-y: 0px; position: relative; overflow: hidden; display: grid; place-items: center; width: var(--img-width); height: var(--img-height); aspect-ratio: var(--img-ar); }
.content__img--2 { --img-width: 100vw; --img-height: 100vh; }
.content__img-inner { position: absolute; top: 0; left: 0; right: 0; bottom: 0; width: 100%; height: 100%; background-size: cover; background-position: 50% 50%; transition: opacity 0.3s; }
.content__img-inner--hidden { opacity: 0; pointer-events: none; }
.content__text { position: relative; z-index: 10; grid-area: title; margin: 0; display: flex; flex-direction: column; }
.content__text--left { justify-self: center; padding: 3rem; grid-area: layout; align-self: center; }
```

--------------------------------

### Apply Responsive Styles for Small Phones (CSS)

Source: https://hyli.org/

This CSS block applies specific styles for screen widths up to 479px. It ensures an element with 'data-w-id="e8c84dff-57cc-4bc0-9e3d-ec3aba84f3da"' has full opacity, likely overriding previous states for smaller phone viewports.

```CSS
@media (max-width:479px) {html.w-mod-js:not(.w-mod-ix) \[data-w-id="e8c84dff-57cc-4bc0-9e3d-ec3aba84f3da"\] {opacity:1;}}
```

--------------------------------

### Declaring Cross-Contract Claims in Hyli

Source: https://docs.hyli.org/concepts/proof-composition

This snippet illustrates the syntax for declaring claims about external applications within a Hyli program. Each claim specifies the target application, the function to be called, its parameters, and an assertion about the expected return value, facilitating cross-contract interactions without direct execution verification.

```Hyli Claims
MoneyApp::transfer(10, A, B) == true
TicketApp::get(A) == ticket
```

--------------------------------

### Apply Responsive Styles for Tablets (CSS)

Source: https://hyli.org/

This CSS block applies specific styles for screen widths between 768px and 991px. It ensures an element with 'data-w-id="e8c84dff-57cc-4bc0-9e3d-ec3aba84f3da"' has full opacity, likely overriding previous states for tablet viewports.

```CSS
@media (max-width:991px) and (min-width:768px) {html.w-mod-js:not(.w-mod-ix) \[data-w-id="e8c84dff-57cc-4bc0-9e3d-ec3aba84f3da"\] {opacity:1;}}
```

--------------------------------

### Hero Background Scene Styling

Source: https://hyli.org/

Styles for the hero section background, ensuring it covers the full viewport. This creates an immersive visual experience for the main introductory section of the page.

```CSS
.scene { position: absolute; }
.scene--full { display: block; width: 100%; height: 100%; max-width: 100VW; max-height: 100VH; margin-top: 0; margin-bottom: 0; margin-left: auto; margin-right: auto; padding: 0; }
```

--------------------------------

### MkDocs Material Configuration JSON

Source: https://docs.hyli.org/resources/find-us

A JSON configuration object for the MkDocs Material theme, defining base paths, enabled features (like navigation sections, search, code copy), search worker path, and various translation strings for UI elements.

```JSON
{"base": "../..", "features": ["navigation.sections", "navigation.indexes", "navigation.expand", "navigation.prune", "content.code.copy"], "search": "../../assets/javascripts/workers/search.d50fe291.min.js", "tags": null, "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}, "version": null}
```

--------------------------------

### Responsive Design Adjustments

Source: https://hyli.org/

Media queries defining responsive behaviors for various screen sizes. It adjusts video player width, hero section height, and hides certain content elements on tablet and mobile viewports to optimize layout for smaller screens.

```CSS
@media screen and (min-width: 1440px) { }
@media screen and (max-width: 990px) {
 .youtube { width: 85VW; }
 .scene--full { max-height: 60VH }
 .content { display: none; }
 .content__img-wrap { display: none; }
 .content__img { display: none; }
 .content__img--2 { display: none; }
 .content__img-inner { display: none; }
 .content__img-inner--hidden { display: none; }
}
@media screen and (max-width: 720px) {
 .youtube { width: 85VW; }
 .scene--full { max-height: 60VH }
```

--------------------------------

### CSS Font Styling for MkDocs Documentation

Source: https://docs.hyli.org/resources/glossary

Defines custom font families for text and code elements within the Material for MkDocs documentation theme, ensuring consistent typography across the Hyli Developer Hub.

```CSS
:root{--md-text-font:"Roboto";--md-code-font:"Roboto Mono"}
```

--------------------------------

### Dynamically Load Hyli.js Script

Source: https://hyli.org/

This JavaScript snippet dynamically loads an external script, 'hyli.js', into the document. It determines the script's source based on the current host (webflow.io vs. others) and appends it as a module script to the body, including event listeners for load success or error logging.

```JavaScript
document.addEventListener("DOMContentLoaded", function() {function loadhyli(e){let t=document.createElement("script");t.setAttribute("src",e),t.setAttribute("type","module"),document.body.appendChild(t),t.addEventListener("load",()=>{console.log("Slater loaded Hyli.js: https://slater.app/14963.js 🤙")}),t.addEventListener("error",e=>{console.log("Error loading file",e)})}let src=window.location.host.includes("webflow.io")?"https://slater.app/14963.js":"https://assets.slater.app/slater/14963.js?v=1.0";loadhyli(src);})
```

--------------------------------

### Apply Responsive Styles for Large Phones (CSS)

Source: https://hyli.org/

This CSS block applies specific styles for screen widths between 480px and 767px. It ensures an element with 'data-w-id="e8c84dff-57cc-4bc0-9e3d-ec3aba84f3da"' has full opacity, likely overriding previous states for larger phone viewports.

```CSS
@media (max-width:767px) and (min-width:480px) {html.w-mod-js:not(.w-mod-ix) \[data-w-id="e8c84dff-57cc-4bc0-9e3d-ec3aba84f3da"\] {opacity:1;}}
```

--------------------------------

### Global CSS Root Variables for Theming

Source: https://blog.hyli.org/

This CSS snippet defines custom properties (CSS variables) at the document root. It sets a global accent color and specifies font families for headings and body text, enabling easy site-wide theme customization and consistent typography.

```CSS
:root {--ghost-accent-color: #E0482E;} :root {--gh-font-heading: Chakra Petch;--gh-font-body: Roboto;}
```

--------------------------------

### Define Root CSS Variables for Fonts

Source: https://docs.hyli.org/tooling/explorer

This CSS snippet defines custom properties for font families used throughout the Material for MkDocs theme, setting 'Roboto' for general text and 'Roboto Mono' for code blocks.

```CSS
:root{--md-text-font:"Roboto";--md-code-font:"Roboto Mono"}
```

--------------------------------

### JavaScript DOM Manipulation for Tabbed Content

Source: https://docs.hyli.org/concepts/proof-composition

This JavaScript snippet handles DOM manipulation to check and update the state of an element based on the URL hash. It's typically used for managing tabbed content where elements are identified by their 'name' attribute and prefixed with '__tabbed_'.

```javascript
var target=document.getElementById(location.hash.slice(1));target&&target.name&&(target.checked=target.name.startsWith("__tabbed_"))
```

--------------------------------

### Custom Cursor Styling

Source: https://hyli.org/

Implements a custom cursor for devices with fine pointer capabilities. It defines two cursor styles: a solid dot and an outlined circle, providing a unique visual feedback for user interaction.

```CSS
@media (any-pointer:fine) {
 .cursor { position: fixed; top: 0; left: 0; display: block; pointer-events: none; z-index: 10000; }
 .cursor--1 .cursor__inner { fill: var(--cursor-dot); }
 .cursor--2 .cursor__inner { fill: none; stroke: var(--cursor-circle); stroke-width: 0.06em; }
 .no-js .cursor { display: none; }
}
```

--------------------------------

### Splide Video Player Styling

Source: https://hyli.org/

CSS for embedding and styling YouTube videos within a Splide carousel. It includes responsive sizing, a custom play button that appears on hover, and visual effects for the video thumbnail.

```CSS
.youtube { position: relative; cursor: pointer; width: 60VW; aspect-ratio: 16/9; background-color: #000; overflow: hidden; border-radius: .25em; }
.youtube .video-thumb { width: 100%; height: 100%; background-size: contain; background-position: center; transition: transform 0.4s ease, opacity 0.4s ease, filter 0.4s ease; }
.youtube:hover .video-thumb { transform: scale(1.05); filter: brightness(0.8) contrast(1.2) blur(1.5px); }
.youtube .play-button { position: absolute; top: 50%; left: 50%; transform: translate(-50%, -50%); font-size: 60px; color: white; opacity: 0; pointer-events: none; font-family: sans-serif; transition: opacity 0.3s ease; }
.youtube:hover .play-button { opacity: 1; }
iframe { width: 100%; height: 100%; }
```

--------------------------------

### Mobile Navigation Styling

Source: https://hyli.org/

Styles for the mobile navigation container, specifically managing pointer events to control interactivity of its children. This ensures proper touch and click behavior on mobile devices.

```CSS
.nav_contain { pointer-events: none; }
.nav_contain > * { pointer-events: auto; }
```

--------------------------------

### Define Root CSS Variables for Fonts

Source: https://docs.hyli.org/resources/roadmap

Sets custom CSS variables for the default text and code fonts used across the Hyli Developer Hub site, typically for styling purposes within a Material for MkDocs theme.

```CSS
:root{--md-text-font:"Roboto";--md-code-font:"Roboto Mono"}
```

--------------------------------

### Footer Styling

Source: https://hyli.org/

Applies CSS properties to the footer element, including `transform-style`, `will-change`, and `backface-visibility` for potential 3D transformations or performance optimizations.

```CSS
.footer { transform-style: preserve-3d; will-change: transform; backface-visibility: hidden; }
```

--------------------------------

### JavaScript Hash-based Tabbed Content Handler

Source: https://docs.hyli.org/resources/find-us

A JavaScript snippet that checks for a hash in the URL, finds the corresponding element by ID, and if it's a named element, sets its 'checked' property based on whether its name indicates a tabbed content item.

```JavaScript
var target=document.getElementById(location.hash.slice(1));target&&target.name&&(target.checked=target.name.startsWith("__tabbed__"))
```

--------------------------------

### CSS Font Variable Definition

Source: https://docs.hyli.org/resources/find-us

CSS root variables defining the default font families for text and code within the documentation site, using Roboto and Roboto Mono respectively.

```CSS
:root{--md-text-font:"Roboto";--md-code-font:"Roboto Mono"}
```

--------------------------------

### Register GSAP ScrollTrigger Plugin

Source: https://hyli.org/

This JavaScript line registers the ScrollTrigger plugin with the GSAP animation library. Registering plugins is a necessary step to enable their functionality, allowing for advanced scroll-based animations and interactions on the webpage.

```JavaScript
gsap.registerPlugin(ScrollTrigger);
```

--------------------------------

### Detect JavaScript and Touch Capabilities (JavaScript)

Source: https://hyli.org/

This self-executing JavaScript function detects if JavaScript is enabled and if the device supports touch events. It adds 'w-mod-js' and 'w-mod-touch' classes to the HTML element, which can be used for CSS styling or further JavaScript logic based on browser capabilities.

```JavaScript
!function(o,c){var n=c.documentElement,t=" w-mod-";n.className+=t+"js",("ontouchstart"in o||o.DocumentTouch&&c instanceof DocumentTouch)&&(n.className+=t+"touch")}(window,document);
```

--------------------------------

### Global Body and Accessibility Styles

Source: https://hyli.org/

Defines general body typography and font smoothing properties for improved readability. It also includes a rule to hide visually hidden elements specific to the Splide carousel for accessibility purposes.

```CSS
body { -webkit-font-smoothing: antialiased; -moz-osx-font-smoothing: grayscale; font-smoothing: antialiased; text-rendering: optimizeLegibility; --cursor-dot: #000; --cursor-circle: #000; }
.splide__sr {display: none !important;}
```

--------------------------------

### Logo Looper Image Hover Effects

Source: https://hyli.org/

CSS rules for styling grid items that function as 'logo looper' elements. It includes styles for the image container, applying a radial gradient overlay on hover, and a decorative text overlay that appears on interaction.

```CSS
.grid__item { display: grid; background: white; align-content: start; grid-template-rows: auto 1fr auto; }
.grid__item-img { width: 100%; aspect-ratio: 1; border-radius: .5em; position: relative; overflow: hidden; display: grid; place-items: center; --x: 0px; --y: 0px; }
.grid__item-img::after { content: ''; position: absolute; top: 0; left: 0; width: 100%; height: 100%; background: radial-gradient(circle,rgba(255, 255, 255, 1) 40%, rgba(232, 88, 53, 1) 100%); mix-blend-mode: lighten; }
.grid__item-img-deco { position: absolute; top: 0; left: 0; height: 100%; width: 100%; font-family: Chakrapetch, Arial, sans-serif; font-size: 0.75em; word-wrap: break-word; line-height: 1.15; color: #ee5938; opacity: 0; }
```

--------------------------------

### Configure Lenis Smooth Scrolling (CSS)

Source: https://hyli.org/

This CSS block configures the Lenis smooth scrolling library. It sets the HTML element's height to auto, disables default scroll behavior for smooth scrolling, and prevents overscroll behavior for elements marked with 'data-lenis-prevent'. It also hides overflow when Lenis is stopped.

```CSS
html.lenis { height: auto; } .lenis.lenis-smooth { scroll-behavior: auto; } .lenis.lenis-smooth \[data-lenis-prevent\] { overscroll-behavior: contain; } .lenis.lenis-stopped { overflow: hidden; }
```