v1.3

vision.md

@@ -1,73 +1,202 @@
-# SoLUSH: Running Intelligence On-Chain
+# Sovraigns: Verifiable Optimization for DeFi Protocols
 
-In decentralized finance, systems often involve tasks such as determining optimal liquidity ranges for automated market makers, allocating staking rewards in a way that balances fairness and participation incentives, or dynamically adjusting collateralization ratios to minimize risks in lending protocols. These challenges are critical for ensuring the efficiency and stability of protocols, yet they are particularly difficult to address without centralization. Off-chain solutions often rely on external computation and centralized entities or oracles, introducing trust dependencies and undermining the decentralized ethos of blockchain systems.
+## The Problem
 
-Artificial intelligence is increasingly being explored in decentralized finance to enhance token ecosystems and liquidity management. This shift represents a practical application of AI tools aimed at addressing complex optimization problems directly within blockchain ecosystems. While large language models (LLMs) dominate discussions around AI innovation due to their general-purpose capabilities, they are poorly suited to the demands of decentralized adaptive systems. In contrast, **genetic algorithms** (GAs) offer a more natural and efficient fit for systems requiring iterative improvements, combining computational simplicity with adaptive behavior.
+DeFi protocols lose approximately $1.5B annually through inefficient parameter settings. Uniswap V3 liquidity providers lose ~$400M from suboptimal position ranges. Lending protocols forfeit ~$300M by maintaining overly conservative collateral ratios. MEV extraction costs protocols ~$800M due to predictable parameter updates.
 
-## **Introduction to Genetic Algorithms**
+Protocols need optimization algorithms, but current approaches require trust:
 
-Genetic algorithms (GAs) are optimization techniques inspired by the process of natural selection. They operate by evolving a population of candidate solutions over multiple generations, using mechanisms such as mutation, crossover, and selection.
+- External consultants (Gauntlet, Chaos Labs) operate as black boxes with enterprise-only access
+- AI services require sharing sensitive protocol data with third parties
+- On-chain execution is prohibitively expensive - a simple neural network would cost millions in gas
 
-- **Population:** A set of potential solutions to a problem.
+Protocols must choose between inefficiency or centralization.
-- **Fitness Function:** A way to evaluate how well each solution performs.
-- **Selection:** The process of choosing the best-performing solutions to carry forward.
-- **Crossover and Mutation:** Methods to combine and modify solutions, creating new ones that explore the problem space.
 
-Through repeated iterations, GAs converge toward optimal or near-optimal solutions, making them highly effective for solving complex, dynamic problems. GAs have recently gained momentum with the development of the [Push 3 language](http://faculty.hampshire.edu/lspector/push3-description.html) by Lee Spector. Push 3’s compact and efficient architecture shares similarities with stack-based virtual machine systems like the Ethereum Virtual Machine (EVM). Although not designed specifically for EVMs, Push 3’s simplicity and flexibility make it conceptually compatible with blockchain execution environments. Push 3 has achieved milestones such as evolving [programs for quantum computers](https://faculty.hampshire.edu/lspector/aqcp/) and supporting autoconstructive evolution. A Push 3 VM could facilitate the deployment of genetic algorithms in decentralized systems, leveraging Push 3’s support for expressive program evolution and adaptive behavior in tasks like resource optimization.
+## Our Approach
 
-## On Agents
+Sovraigns enables verifiable optimization through genetic algorithms, zero-knowledge proofs, and based rollups:
 
-An agent is defined as an entity capable of perceiving its environment, processing information, and taking autonomous actions to achieve specific objectives. LLMs can be structured into agents using frameworks that provide memory and feedback loops, but they do not fit on-chain and, at the same time, cannot securely manage secrets like private keys. Without either of these capabilities, LLM-based agents require external key management, increasing risks and undermining decentralized security principles. In contrast, genetic algorithms exhibit agentic characteristics by evolving their behavior over time to meet specific goals. When deployed on-chain within smart contracts, GAs can autonomously adapt to real-time inputs and optimize decisions, all while operating entirely within the secure and deterministic framework of blockchain systems.
+1. Algorithms evolve off-chain through competition between optimizers
+2. Zero-knowledge proofs verify correct execution without revealing the algorithm
+3. A based rollup coordinates requests and stores proven results
 
----
+Protocols receive optimized parameters with cryptographic proof of correctness, without trusting any party.
 
-## **Genetic Algorithms vs. LLMs for Decentralized Systems**
+## Market Size
 
-1. **Efficiency and Feasibility for Blockchain Execution**
+Current DeFi inefficiencies:
 
-   - **LLMs are resource-intensive:** The computational complexity and size of LLMs make them impractical for direct execution in decentralized environments, where every operation incurs costs. Running even the simplest inference for an LLM would require off-chain computation and trust in external oracles, undermining decentralization.
+| **DeFi Inefficiency** | **Annual Value Lost** | **Root Cause** |
-   - **GAs are lightweight:** Genetic algorithms, by design, are computationally efficient. Their iterative, population-based approach to optimization fits naturally into resource-constrained environments. This efficiency ensures GAs can evolve and execute entirely on-chain, preserving transparency and trustless execution.
+|---|---|---|
+| Uniswap V3 LP Losses | ~$400M | Suboptimal position management |
+| Lending Protocol Inefficiency | ~$300M | Conservative parameters |
+| MEV/Arbitrage Extraction | ~$800M | Predictable protocol behavior |
+| **Total Market** | **$1.5B+** | **Lack of intelligent optimization** |
 
-2. **Evolution vs. Training**
+With DeFi TVL at $50B, we estimate the optimization market at $2-3B annually today, potentially reaching $10B as protocols become more complex.
 
-   - **GAs evolve in parallel:** Genetic algorithms enable evolutionary processes to run across distributed populations simultaneously. This parallelism contrasts with the centralized training required for deep neural networks, which demand synchronized computation and significant infrastructure. GAs’ decentralized nature aligns well with blockchain environments.
+### Current Solutions vs. Sovraigns
 
-   - **Deep neural networks require centralized training:** Neural networks demand substantial computational resources and centralized coordination to train effectively. 
+| **Aspect** | **Current Solutions** | **Sovraigns** |
+|---|---|---|
+| **Trust Model** | Centralized (Gauntlet, Chaos Labs) | Trustless ZK proofs |
+| **Accessibility** | Enterprise contracts only | Permissionless for all protocols |
+| **Transparency** | Black box optimization | Fully auditable algorithms |
+| **Cost** | High consulting fees | Pay-per-optimization |
+| **Adaptability** | Manual updates | Continuous evolution |
+| **Security** | Single point of failure | Decentralized validation |
 
-3. **Auditability of Evolution vs Training**
 
-   - **Training LLMs is opaque:** The progress of training deep neural networks is often difficult to evaluate and verify because testing its capabilities relies on secret data, which cannot be audited by external parties.
+## Why Genetic Algorithms Over LLMs
-   - **GAs offer transparent evolution:** Genetic algorithms allow the progress of evolution to be easily audited against a target fitness function. This process is fully observable and can be verified at each step with minimal effort.
 
----
+Technical comparison for decentralized systems:
 
-## **Theoretical Framework for Decentralized Genetic Programming**
+| **Aspect** | **LLMs** | **Genetic Algorithms** |
+|---|---|---|
+| **Computational Requirements** | GPUs, massive memory, centralized inference | Lightweight, runs anywhere |
+| **Blockchain Compatibility** | Impossible on-chain, requires external APIs | Efficient ZK-proof verification |
+| **Trust Model** | Black box, external dependencies | Fully verifiable with cryptographic proofs |
+| **Cost** | $1000s per complex optimization | Pennies per optimization |
+| **Adaptability** | Fixed after training | Continuously evolves to market conditions |
+| **Determinism** | Non-deterministic, unreliable | Deterministic, predictable outputs |
+| **Decentralization** | Requires centralized providers | Fully decentralized execution |
 
-A protocol providing agents as a service could leverage genetic programming to address complex problems within blockchain environments. Central to such a system would be the development of a Push 3 Virtual Machine (VM), enabling efficient execution of genetic algorithms. Furthermore, this protocol would combines on-chain smart contracts with off-chain optimization to evolve and deploy efficient algorithms for DeFi tasks.
+Genetic algorithms provide the optimization capabilities of LLMs while remaining verifiable, deterministic, and cost-effective for blockchain environments.
 
-### On-Chain: Tasks and Deployment
+## Technical Architecture
-1. **Task Creation**: Optimization problems are registered as "Tasks" in the "Registry." Each Task includes:
-   - A fitness function (goal criteria).
-   - Evaluation parameters (data and conditions).
-   - A population of algorithms (initially empty).
-2. **Agent Deployment**: The best-performing algorithm from the population is selected and deployed to the relevant smart contract. Read through this [real-life usecase explaining the applicability of agents to DeFi](example.md). When better algorithms are discovered, the on-chain agent is updated.
 
-### Off-Chain: Evolution and Validation
+Three core components enable verifiable optimization on Ethereum:
-1. **Task Selection**: Optimizers (network participants) fetch a Task from the Registry.
+
-2. **Algorithm Evolution**:
+1. **Based Rollup Coordination**
-   - Optimizers run simulations locally using synthetic or historical blockchain data.
+   - Manages algorithm registry and optimization requests
-   - Genetic algorithms are applied to evolve better solutions, improving fitness scores.
+   - Batches proofs for cost-effective verification
-3. **Submission and Validation**: Improved algorithms are submitted to a "Validator Pool," which verifies the results. Validators vote on whether to accept the new algorithm into the population, replacing weaker ones.
+   - Inherits Ethereum's security model
-4. **Incentives**: Successful submissions earn rewards for the Optimizer.
+
+2. **OpenVM Execution Environment**
+   - Runs genetic algorithms in a provable VM
+   - Generates STARK proofs for each optimization
+   - Ensures deterministic execution
+
+3. **Optimizer Network**
+   - Independent nodes compete to evolve better algorithms
+   - Council validates quality before on-chain registration
+   - Economic incentives tied to algorithm performance
+
+### Architecture Overview
+
+The protocol operates across three layers:
+
+```
+┌─────────────────────────────────────────────────────────────────┐
+│                        ETHEREUM L1                              │
+│  • Final Settlement  • Proof Verification  • Protocol Updates   │
+└────────────────────────────┬───────────────────────────────────┘
+                             │ State Bridge
+┌────────────────────────────┴───────────────────────────────────┐
+│                      BASED ROLLUP (Sidechain)                  │
+│  • Task Registry    • Algorithm Storage    • Coordination      │
+│  • Reward Pools     • Version History      • Batch Requests    │
+└────────────────────────────┬───────────────────────────────────┘
+                             │ ZK Proofs
+┌────────────────────────────┴───────────────────────────────────┐
+│                     OFF-CHAIN COMPUTE                          │
+│  • Algorithm Evolution  • OpenVM Execution  • Proof Generation │
+│  • Council Validation   • Optimizer Competition                │
+└─────────────────────────────────────────────────────────────────┘
+```
+
+| **Layer** | **Purpose** | **Key Components** |
+|---|---|---|
+| **Ethereum L1** | Final settlement and security | Smart contracts, State verification |
+| **Based Rollup** | Decentralized coordination | Task registry, Algorithm storage |
+| **Off-Chain** | Computation and evolution | OpenVM, Genetic algorithms, ZK proofs |
+
+### Based Rollup: Decentralized Coordination
+1. **Task Registration**: DeFi protocols register optimization tasks on the based rollup, including:
+   - Fitness functions (optimization goals)
+   - Evaluation parameters and constraints
+   - Reward pools for successful optimizations
+
+2. **Algorithm Registry**: The best algorithms for each task are registered on-chain after council validation
+   - Algorithm hashes stored on-chain for verification
+   - ZK proofs verify the exact algorithm (matching hash) was executed
+   - Version history maintained for auditability
+   - Permissionless access for all protocols
+
+3. **Execution Requests**: When protocols need optimization:
+   - Send request to based rollup with current data
+   - Request triggers off-chain execution
+   - Multiple requests batched for efficiency
+
+### Off-Chain: Evolution and Zero-Knowledge Execution
+1. **Algorithm Evolution**:
+   - Optimizers run genetic algorithms using standard Push 3 implementations
+   - Evolution happens on local high-performance infrastructure
+   - Best solutions submitted to council for validation
+   - No ZK proofs needed during evolution phase
+
+2. **Zero-Knowledge Proof Generation** (triggered by on-chain requests):
+   - Registered algorithms execute in OpenVM with request data
+   - OpenVM verifies the algorithm matches the on-chain hash
+   - STARK proofs generated via Plonky3
+   - Proofs include complete execution trace and results
+   - Multiple proofs batched into rollup blocks
+
+3. **Council Validation**: 
+   - Distributed validators verify algorithm improvements
+   - Consensus required before on-chain registration
+   - Ensures quality without centralized control
+
+### L1 Integration: Trustless Protocol Updates
+1. **State Bridge**: Based rollup posts state roots to Ethereum
+2. **Proof Verification**: Smart contracts verify STARK proofs
+3. **Action Execution**: DeFi protocols execute optimizations based on verified results
 
 ### Key Components
-- **Registry (on-chain)**: Manages Tasks and stores algorithm populations.
+- **Registry (based rollup)**: Task and algorithm management with ZK verification
-- **Optimizers (off-chain)**: Compete to evolve better solutions.
+- **OpenVM Runtime**: Custom Push 3 implementation for genetic programming
-- **Validator Pool (off-chain)**: Ensures the quality and legitimacy of submissions.
+- **Optimizers (off-chain)**: Compete to evolve better solutions
+- **Council (distributed)**: Validates algorithm quality before registration
+- **Proof Aggregator**: Batches multiple ZK proofs for efficient verification
+- **State Bridge**: Synchronizes rollup state with Ethereum L1
 
-![Components](/components.png)
+## Timing
 
-This framework integrates off-chain computation with on-chain validation and deployment, ensuring scalable, transparent optimization. By decentralizing the process, it aligns incentives and fosters continuous improvement tailored to real-world DeFi needs. Ultimately, this system creates a foundation for scalable agent development, aligning with the broader concept of agents as a service, where users and protocols in DeFi can deploy and leverage optimized, evolving AI-agents tailored to specific tasks.
+Three technical developments make this feasible now:
+
+1. **ZK Infrastructure**
+   - STARK proving systems now production-ready
+   - Proof generation costs decreased 100x since 2022
+   - OpenVM provides suitable execution environment
+
+2. **Based Rollups**
+   - Ethereum's rollup infrastructure mature enough for production
+   - Provides coordination without sacrificing decentralization
+   - Cost structure makes continuous optimization viable
+
+3. **Market Demand**
+   - Protocols reaching limits of manual parameter tuning
+   - Increased scrutiny requires auditable optimization
+   - Competition driving need for efficiency gains
+
+## Competitive Position
+
+**Technical Differentiation:**
+- First implementation of ZK-verified genetic algorithms for DeFi
+- Custom VM optimized for this use case
+- Integration with Ethereum's rollup infrastructure
+
+**Network Effects:**
+- More protocols using the system improves algorithm quality
+- Optimizer competition creates continuous improvement
+- Registry accumulates valuable optimization history
+
+**Barriers to Entry:**
+- Requires expertise in genetic programming, zero-knowledge systems, and DeFi mechanics
+- Complex coordination between multiple system layers
+- Significant development time to reach production quality
+
+We aim to become the standard optimization layer for DeFi protocols, addressing a multi-billion dollar inefficiency.