+
- {/* */}
- {/* */}
-
-
-
## Community and Careers
-**Need Help?**
-
-Join our vibrant community on [Discord](https://discord.gg/8Jm4v89VAu) or [Telegram](https://t.me/genlayer) to ask questions, share feedback, and showcase your GenLayer creations.
-**Looking to Build the Future with Us?**
+Join the community on [Discord](https://discord.gg/8Jm4v89VAu) or [Telegram](https://t.me/genlayer) to ask questions, share feedback, and showcase your builds.
-We're hiring! If blockchain and AI excite you, [explore our career opportunities](https://apply.workable.com/yeager-dot-a-i/) and help shape the future of decentralized applications.
+We're hiring — [see open roles](https://x.com/GenLayer/jobs).
diff --git a/pages/understand-genlayer-protocol/_meta.json b/pages/understand-genlayer-protocol/_meta.json
index 72fe8d97..8f56ac79 100644
--- a/pages/understand-genlayer-protocol/_meta.json
+++ b/pages/understand-genlayer-protocol/_meta.json
@@ -1,9 +1,6 @@
{
- "what-makes-genlayer-different": "What Makes GenLayer Different?",
- "optimistic-democracy-how-genlayer-works": "Optimistic Democracy: How GenLayer Works",
- "typical-use-cases": "Typical Use Cases",
- "why-we-are-building-genlayer": "Why We Are Building GenLayer?",
- "who-is-genlayer-for": "Who is GenLayer for?",
- "what-are-intelligent-contracts": "What Are Intelligent Contracts?",
+ "what-is-genlayer": "What is GenLayer",
+ "optimistic-democracy-how-genlayer-works": "How GenLayer Works",
+ "typical-use-cases": "Use Cases",
"core-concepts": "Core Concepts"
}
diff --git a/pages/understand-genlayer-protocol/optimistic-democracy-how-genlayer-works.mdx b/pages/understand-genlayer-protocol/optimistic-democracy-how-genlayer-works.mdx
index c6a8b67a..2d2dc9da 100644
--- a/pages/understand-genlayer-protocol/optimistic-democracy-how-genlayer-works.mdx
+++ b/pages/understand-genlayer-protocol/optimistic-democracy-how-genlayer-works.mdx
@@ -1,19 +1,47 @@
-# Optimistic Democracy: How GenLayer Works
+import { Callout } from "nextra-theme-docs";
-
+# How GenLayer Works
-Optimistic Democracy is GenLayer's consensus mechanism, rooted in [Condorcet's Jury Theorem](https://jury-theorem.genlayer.com/) (click the link to check out our interactive model), which affirms that collective decision-making becomes more accurate as independent validators vote. The process unfolds in distinct phases:
+## Optimistic Democracy
-1. **Transaction Submission**: A user sends a transaction to the GenLayer network.
+GenLayer uses **Optimistic Democracy** for consensus — a mechanism where validators running diverse AI models independently evaluate transactions and vote on outcomes. It applies [Condorcet's Jury Theorem](https://en.wikipedia.org/wiki/Condorcet%27s_jury_theorem): a group of independent reasoners is more likely to reach the correct answer than any individual.
-2. **Leader Proposes Result**: A validator is randomly chosen as the Leader validator. It processes the transaction and proposes a result.
+Transactions are accepted if a majority of validators agree. Anyone can appeal an accepted result, triggering re-evaluation by a new, larger validator set. This process can escalate through multiple rounds until a final decision is reached.
-3. **Validators Recompute**: A committee of validators re-compute the transaction. They either approve or deny based on whether the output aligns with the Leader's result (i.e. is
equivalent).
+## Transaction Lifecycle
-4. **Result Accepted**: Once a majority approves, the result is provisionally accepted.
+Every transaction moves through these stages:
-5. **Appeal**: If any participant disputes the outcome, they can appeal within the Finality Window by posting a bond.
+1. **Pending** — queued, waiting to be picked up
+2. **Proposing** — a leader validator executes the contract and proposes a result
+3. **Committing** — other validators execute independently and submit encrypted votes
+4. **Leader Revealing** — the leader reveals execution data and decryption keys
+5. **Revealing** — validators reveal their votes
+6. **Accepted** — majority consensus reached; transaction enters the appeal window
+7. **Finalized** — appeal window closed, result is permanent and irreversible
-6. **Additional Validation (If Appealed)**: A new set of validators may be chosen to re-evaluate the transaction. If the appeal is valid, they reward the appellant. Otherwise, the bond is forfeited.
+If consensus is not reached, the transaction may be marked **Undetermined** or rotate to a new leader.
-7. **Final Decision**: After all appeals are resolved, the outcome becomes final.
\ No newline at end of file
+See [Transaction Execution](/understand-genlayer-protocol/core-concepts/transactions/transaction-execution) for the full state machine.
+
+## Non-Determinism and Consensus
+
+Because Intelligent Contracts use LLMs and web data, validators may produce different outputs for the same input. GenLayer provides several strategies for reaching consensus on non-deterministic results:
+
+- **Strict equality** — all validators must produce the exact same output (for deterministic operations)
+- **LLM-based comparison** — an LLM compares validator outputs against developer-defined criteria
+- **Custom validation** — developers write explicit leader/validator function pairs with full control over consensus logic
+
+See [Non-determinism](/developers/intelligent-contracts/features/non-determinism) for implementation details.
+
+## Appeals and Finality
+
+After a transaction is accepted, it enters a **finality window** during which anyone can appeal the result.
+
+- An appeal triggers a new round with a fresh, larger validator set
+- Appeals can escalate through multiple rounds
+- The final round's decision is binding
+
+Once the finality window closes without appeal (or after the final appeal round), the transaction is **finalized** — permanent and irreversible.
+
+See [Appeal Process](/understand-genlayer-protocol/core-concepts/optimistic-democracy/appeal-process) and [Finality](/understand-genlayer-protocol/core-concepts/optimistic-democracy/finality) for details.
diff --git a/pages/understand-genlayer-protocol/typical-use-cases.mdx b/pages/understand-genlayer-protocol/typical-use-cases.mdx
index 7149eefa..07c48733 100644
--- a/pages/understand-genlayer-protocol/typical-use-cases.mdx
+++ b/pages/understand-genlayer-protocol/typical-use-cases.mdx
@@ -1,16 +1,66 @@
-# Typical Use Cases
+# Use Cases
-- **Prediction Markets**: Power decentralized trading on future events. Applications include financial market forecasting, sports betting, and entertainment predictions.
+GenLayer enables applications that require subjective judgment — decisions that traditional smart contracts can't make because they need to interpret language, evaluate evidence, or assess quality.
-- **Performance-Based Contracting**: Automate escrows and payments contingent on verified performance metrics. Intelligent Contracts can track deliverables in real-time and instantly release funds.
+## Dispute Resolution
-- **Network States**: Launch decentralized governance frameworks for Network States, opening new horizons in collaborative decision-making and self-regulation.
+AI validators evaluate evidence and deliver verdicts in minutes. Applies to:
-- **Dispute Resolution**: It will serve as a decentralized, AI-driven arbitration system. Compared to conventional legal routes, it will reduce costs and expedite case handling.
+- **Agentic commerce** — AI agents transacting autonomously ([ERC-8183](https://eips.ethereum.org/EIPS/eip-8183)) need trustless arbitration for SLA compliance, delivery verification, service quality
+- **Chargebacks** — buyer/seller disputes resolved by analyzing shipping records, communication logs, and transaction history
+- **Freelance & gig work** — was the deliverable satisfactory? AI consensus replaces subjective back-and-forth
-- **AI-Driven DAOs**: Form next-gen decentralized autonomous organizations managed by AI algorithms. Empower real-time governance and data-informed investments.
+## Rule & Constitution Verification
-For more potential applications, see **Build with GenLayer**.
+Check whether something meets a set of criteria defined in natural language:
-## Ready to Build on GenLayer?
-Whether you're looking to dive into Python-based smart contracts or explore AI-driven solutions, GenLayer provides the ideal foundation. Explore our [Developer Docs](https://docs.genlayer.com/developers) to start building.
\ No newline at end of file
+- Does a new prediction market meet listing guidelines?
+- Does a DAO proposal comply with the organization's charter?
+- Does a content submission follow community standards?
+- Does a transaction comply with regulatory requirements?
+
+This is a foundational primitive — many applications are instances of "evaluate X against rules Y."
+
+## Prediction Markets
+
+Markets that resolve automatically by fetching outcomes from primary sources. No centralized oracle or authority needed.
+
+→ [Example contract](/developers/intelligent-contracts/examples/prediction)
+
+## Social Content Verification
+
+AI validators assess content quality, detect plagiarism, and distribute rewards based on originality and engagement. Replaces centralized content moderation with consensus-driven evaluation.
+
+## Code & Work Quality Assurance
+
+Staked submissions where reviewers are economically incentivized to find issues. AI validators assess code quality, deliverable completeness, or compliance with specifications.
+
+## AI-Governed Organizations
+
+DAOs where proposals are written in natural language, evaluated against real-time data, and executed automatically when conditions align.
+
+## Compliance Automation
+
+Real-time screening against sanctions lists, KYC/AML requirements, and changing regulations. Contracts read authoritative sources directly — no manual updates needed.
+
+## Insurance
+
+Parametric and evidence-based insurance where claims are evaluated by AI validators. Contracts fetch weather data, flight statuses, or photographic evidence to assess claims and trigger payouts automatically — no adjusters, no weeks of waiting.
+
+## Argumentation & Debate Markets
+
+Structured debates where participants stake positions and AI consensus determines outcomes — a new primitive for information markets.
+
+## What Makes These Possible
+
+All of these share a common pattern: they require **subjective judgment** that traditional smart contracts can't perform.
+
+GenLayer's Intelligent Contracts can:
+- Fetch and interpret live web data
+- Process natural language and unstructured inputs
+- Make subjective decisions through multi-validator AI consensus
+- Execute outcomes on-chain with full finality
+
+See [projects building on GenLayer](https://portal.genlayer.foundation/#/) for live examples.
+
+[Start building →](/developers/intelligent-contracts/first-contract)
diff --git a/pages/understand-genlayer-protocol/what-are-intelligent-contracts.mdx b/pages/understand-genlayer-protocol/what-are-intelligent-contracts.mdx
index 2fcebb7f..ae91ed6b 100644
--- a/pages/understand-genlayer-protocol/what-are-intelligent-contracts.mdx
+++ b/pages/understand-genlayer-protocol/what-are-intelligent-contracts.mdx
@@ -1,20 +1,5 @@
-## What Are Intelligent Contracts?
+import { Callout } from "nextra-theme-docs";
-Intelligent Contracts are AI-powered smart contracts designed to leverage Large Language Models (LLMs) for real-time web data retrieval and natural language processing. Unlike traditional smart contracts—limited by deterministic code and external oracles—Intelligent Contracts adapt their logic based on live data and evolving conditions. By natively integrating AI at the protocol level, Intelligent Contracts on GenLayer can understand and respond to complex, real-world scenarios, unlocking a new class of decentralized applications.
+# What Are Intelligent Contracts?
-
-
-| **Feature** | **Traditional Smart Contracts** | **Intelligent Contracts** |
-|---------------------------|--------------------------------------------------------------------------------------|----------------------------------------------------------------------------------------------|
-| **Definition** | Self-executing blockchain programs with terms defined in code | AI-driven contracts that access web data and process natural language in real time |
-| **Capabilities** | Executes predefined on-chain actions based on code logic | Executes on-chain actions, can interpret external data, perform AI-driven reasoning, etc. |
-| **Language Understanding**| Limited to code-based commands | Understands and acts on human-readable text prompts (natural language) |
-| **Web Data Access** | Depends on external oracles for off-chain data | Integrates directly with real-time web data, removing the need for external oracles |
-| **Data Handling** | Can only process data already on-chain | Fetches and utilizes off-chain data (APIs, market info, web resources, etc.) |
-| **Programming Language** | Often uses specialized blockchain languages (e.g. Solidity) | Generally Python-based in GenLayer, making development more accessible to a broader audience |
-| **Ease of Development** | Requires specialized blockchain knowledge and tooling | Accessible via familiar languages (Python) and the GenLayer Studio developer experience |
-| **Flexibility** | Executes static operations based on predefined logic | Can adapt in real time to changing conditions, offering AI-driven functionality |
-| **Consensus Mechanism** | Relies on standard blockchain consensus (e.g., Proof of Stake, Proof of Work) | Utilizes Optimistic Democracy for deterministic and non-deterministic contract outputs |
-| **Use Cases** | Typically restricted to basic on-chain logic like token transfers or deterministic dApps | Enables advanced apps like AI-driven DAOs, predictive analytics, autonomous oracles, etc. |
-
-By embedding AI-driven capabilities into the core of the blockchain, Intelligent Contracts deliver real-time adaptability, broader functionality, and deeper integration with the external world—significantly expanding the scope of what decentralized applications can achieve on GenLayer.
+This page has moved to [What is GenLayer](/understand-genlayer-protocol/what-is-genlayer).
diff --git a/pages/understand-genlayer-protocol/what-is-genlayer.mdx b/pages/understand-genlayer-protocol/what-is-genlayer.mdx
new file mode 100644
index 00000000..3d224d0a
--- /dev/null
+++ b/pages/understand-genlayer-protocol/what-is-genlayer.mdx
@@ -0,0 +1,101 @@
+import { Callout } from "nextra-theme-docs";
+
+# What is GenLayer
+
+## Trust Infrastructure for the AI Age
+
+GenLayer is a blockchain where validator nodes powered by diverse AI models reach consensus on subjective decisions — a synthetic jurisdiction on-chain.
+
+Intelligent Contracts interpret language, process unstructured data, and pull live web inputs. No oracles, no intermediaries.
+
+- **Bitcoin** — Trustless Money
+- **Ethereum** — Trustless Computation
+- **GenLayer** — Trustless Decision-Making
+
+## What Intelligent Contracts Can Do
+
+### Subjective Decisions
+Evaluate context and nuance. Turn judgment calls into enforceable on-chain outcomes — content moderation, claim assessment, quality evaluation.
+
+### Internet Access
+Fetch live web data directly on-chain. Contracts can read websites, call APIs, and verify real-world information without oracles or intermediaries.
+
+### Natural Language Processing
+Interpret human-readable inputs via LLMs. Contracts can analyze text, extract meaning, and make decisions based on qualitative criteria.
+
+### Image & Visual Processing
+Pass images to LLMs for analysis — screenshot a webpage and verify its content, check visual evidence for claims, analyze receipts or documents. Contracts can capture screenshots via `gl.nondet.web.render()` and send them to LLMs via `gl.nondet.exec_prompt(images=[...])`.
+
+### Unstructured Data
+Process text, images, audio transcripts, and qualitative evidence. Handle real-world complexity that traditional smart contracts cannot.
+
+## How It Compares
+
+| Feature | Traditional Smart Contracts | Intelligent Contracts |
+|---|---|---|
+| **Language** | Solidity, Rust | Python |
+| **Data sources** | On-chain only (or oracles) | On-chain + live web data |
+| **Decision logic** | Deterministic only | Deterministic + subjective |
+| **AI integration** | Not possible | Native LLM access (text + images) |
+| **Consensus** | All nodes must agree on exact output | Validators assess equivalence of results |
+
+## Architecture: Two Layers
+
+GenLayer operates as two integrated layers:
+
+**GenLayer Chain** — an EVM-compatible L2 (zkSync Elastic Chain). Holds account balances via ghost contracts, handles standard Ethereum operations (`eth_*` methods), and anchors to Ethereum's security model.
+
+**GenVM** — the execution environment for Intelligent Contracts. A WebAssembly-based VM (built on [Wasmtime](https://wasmtime.dev)) that runs a Python interpreter with native access to LLMs, web data, and non-deterministic operations. Can also execute compiled native code.
+
+Every Intelligent Contract has a corresponding **ghost contract** on the chain layer at the same address. Ghost contracts hold the contract's GEN balance, relay transactions to consensus, and execute external messages. See [Messages](/developers/intelligent-contracts/features/messages#ghost-contracts) for details.
+
+Transactions enter via `addTransaction` on the chain layer. GenVM executes the contract logic. Results settle back on-chain.
+
+## Develop in Python
+
+Intelligent Contracts are Python classes extending `gl.Contract`:
+
+```python
+# { "Depends": "py-genlayer:1jb45aa8ynh2a9c9xn3b7qqh8sm5q93hwfp7jqmwsfhh8jpz09h6" }
+from genlayer import *
+import json
+
+class WizardOfCoin(gl.Contract):
+ has_coin: bool
+
+ def __init__(self):
+ self.has_coin = True
+
+ @gl.public.write
+ def ask_for_coin(self, request: str) -> None:
+ if not self.has_coin:
+ raise gl.vm.UserError("I don't have a coin!")
+
+ prompt = f"""
+ You are a wizard guarding a gold coin.
+ An adventurer says: {request}
+ Should you give them the coin?
+ Respond as JSON: {{"give_coin": true/false}}
+ """
+
+ def leader_fn():
+ return gl.nondet.exec_prompt(prompt, response_format="json")
+
+ def validator_fn(leaders_res) -> bool:
+ if not isinstance(leaders_res, gl.vm.Return):
+ return False
+ my_result = leader_fn()
+ return my_result["give_coin"] == leaders_res.calldata["give_coin"]
+
+ result = gl.vm.run_nondet_unsafe(leader_fn, validator_fn)
+ if result["give_coin"]:
+ self.has_coin = False
+
+ @gl.public.view
+ def get_has_coin(self) -> bool:
+ return self.has_coin
+```
+
+Full SDK available: [genlayer-js](/api-references/genlayer-js) (TypeScript), [genlayer-py](/api-references/genlayer-py) (Python), [CLI](/api-references/genlayer-cli).
+
+[Get started →](/developers/intelligent-contracts/first-contract)
diff --git a/pages/understand-genlayer-protocol/what-makes-genlayer-different.mdx b/pages/understand-genlayer-protocol/what-makes-genlayer-different.mdx
index 3b3337b3..7bab8320 100644
--- a/pages/understand-genlayer-protocol/what-makes-genlayer-different.mdx
+++ b/pages/understand-genlayer-protocol/what-makes-genlayer-different.mdx
@@ -1,10 +1,5 @@
-## What Makes GenLayer Different?
-1. **AI-Powered**: Intelligent Contracts interpret and execute human-readable commands, unlocking data-driven decision-making in real time.
+import { Callout } from "nextra-theme-docs";
-2. **Web Data Access**: GenLayer’s contracts natively fetch live data, surpassing traditional blockchains that rely on external oracles.
+# What Makes GenLayer Different?
-3. **Secure and Reliable**: The Optimistic Democracy consensus algorithm expertly validates non-deterministic outputs, ensuring both efficiency and robust security.
-
-4. **Interoperability**: Designed for seamless interaction with other blockchains and conventional web services, GenLayer bridges multiple ecosystems.
-
-5. **Python-Based SDK**: A Python-centric toolset lowers the barrier to entry, empowering a wide range of developers, data scientists, and AI specialists.
\ No newline at end of file
+This page has moved to [What is GenLayer](/understand-genlayer-protocol/what-is-genlayer).
diff --git a/pages/understand-genlayer-protocol/who-is-genlayer-for.mdx b/pages/understand-genlayer-protocol/who-is-genlayer-for.mdx
index 798c8ede..3e2dfe88 100644
--- a/pages/understand-genlayer-protocol/who-is-genlayer-for.mdx
+++ b/pages/understand-genlayer-protocol/who-is-genlayer-for.mdx
@@ -1,11 +1,5 @@
-# Who Is GenLayer For?
-
-- **Existing dApps**: Transition away from costly human-based oracles to AI-powered Intelligent Contracts, slashing operational overhead and decision latency.
-
-- **Builders**: Construct the impossible—dApps that benefit from AI-based reasoning, real-time web access, and automated decision-making.
+import { Callout } from "nextra-theme-docs";
-- **Enterprises**: Streamline complex business logic and workflows with AI-driven automation that executes and enforces contractual agreements on-chain.
-
-- **Researchers**: Experiment with next-generation decentralized governance and explore how AI can improve consensus, dispute resolution, and more.
+# Who Is GenLayer For?
-- **Everyone**: Participate in the groundbreaking fusion of AI and blockchain, shaping the future of Web3 technology.
\ No newline at end of file
+This page has moved to [What is GenLayer](/understand-genlayer-protocol/what-is-genlayer).
diff --git a/pages/understand-genlayer-protocol/why-we-are-building-genlayer.mdx b/pages/understand-genlayer-protocol/why-we-are-building-genlayer.mdx
index cd396915..53cbc4a9 100644
--- a/pages/understand-genlayer-protocol/why-we-are-building-genlayer.mdx
+++ b/pages/understand-genlayer-protocol/why-we-are-building-genlayer.mdx
@@ -1,10 +1,5 @@
-# Why We Are Building GenLayer
-Traditional smart contracts face critical limitations: they can’t natively interact with the outside world without oracles, and their instructions are constrained to code-based logic. By integrating AI at the protocol level, GenLayer’s Intelligent Contracts can:
-
-1. **Process Natural Language**: Interpret and act upon human-readable text prompts.
+import { Callout } from "nextra-theme-docs";
-2. **Access Real-Time Web Data**: Seamlessly fetch and utilize external data.
-
-This synergy opens a world of new applications that merge on-chain trust with off-chain intelligence. Our vision is a dynamic protocol where intelligent entities—ranging from AI models to automated tools—can autonomously transact and reach real-world alignment.
+# Why We Are Building GenLayer
-GenLayer's Optimistic Democracy consensus underpins secure, efficient validation even when outputs are inherently non-deterministic. This makes the platform exceptionally adaptable and robust—primed for modern, AI-driven use cases.
\ No newline at end of file
+This page has moved to [What is GenLayer](/understand-genlayer-protocol/what-is-genlayer).