LayerEdge Documentation
website·Indexed 34 days ago
https://docs.layeredge.ioDocumentation for LayerEdge, a Bitcoin-backed internet protocol that provides a scalable and secure method to verify zero-knowledge (ZK) proofs. It features the Edgen Chain framework, the EDGEN utility token for gas and staking, and a security model rooted in Bitcoin's Proof-of-Work (PoW) anchoring.
What's inside LayerEdge
- LayerEdge is a decentralized proof verification layer designed to scale Bitcoin's security for the ZK-powered modular ecosystem. Unlike an L2 or a rollup, it serves as a shared infrastructure layer that aggregates ZK proof verification across multiple protocols to reduce costs, eliminate redundancy, and provide a cost-efficient way to leverage Bitcoin's finality without the limitations of its native scripting language.
Overview of the LayerEdge Verification Layer
The Verification Layer is the first stage of the LayerEdge proof pipeline. It acts as the entry point for zk-proofs from external protocols, ensuring that all proofs are normalized to a common format and cryptographically validated before being passed to the aggregator. It supports a wide range of proving systems, including SNARKs (Groth16, PLONK, TurboPLONK, Halo2, Nova) and STARKs (AirSTARK, Fractal, and ZKVMs like RISC Zero and SP1).Overview of LayerEdge verification engine
LayerEdge is a decentralized zk-verification layer that transforms Bitcoin into a cryptographic trust layer. It verifies off-chain computations—such as rollup state transitions, ZK-based applications, AI inference proofs, and IoT data attestations—and anchors the final proofs to Bitcoin. This allows protocols to inherit Bitcoin's security and finality without executing the computations directly on the Bitcoin ledger.Overview of Edgen Chain JSON-RPC Support
Edgen Chain provides a JSON-RPC server that allows developers to connect to an Edgen Chain-enabled blockchain and interact with the EVM. It supports both HTTP and WebSocket transports, which must be enabled via command-line flags or theapp.tomlconfiguration file. The server uses JSON (RFC 4627) as the data format and is compatible with standard web3 tooling.Overview of the LayerEdge Proof Aggregation Layer
The Proof Aggregation Layer serves as the backbone of LayerEdge, transforming Bitcoin into a global proof-of-verification engine. It achieves this by compressing thousands of zero-knowledge (zk) proofs into a single anchorable proof, which is then secured by Bitcoin. This architecture enables massive zk scalability, verifiable off-chain execution, modular zk infrastructure, and finality secured by the Bitcoin network.Overview of LayerEdge verification layer
LayerEdge is a verification layer built on Bitcoin's Proof-of-Work (PoW) security. It aggregates and verifies zero-knowledge (zk) proofs from various decentralized protocols, allowing them to inherit Bitcoin's security. Unlike a Layer 2 (L2), LayerEdge does not produce blocks or manage transactions; it focuses exclusively on zk-proof aggregation and verification, settling the final aggregated proofs on Bitcoin's L1.Overview of LayerEdge Tokenomics and Economic Model
LayerEdge utilizes a token economy designed to maintain a self-sustaining, decentralized verification network for rollups, zkVMs, AI inference layers, and identity protocols. The model relies on a positive-sum loop where increased network usage drives higher token demand, which in turn increases rewards and enhances network security.
The economic design focuses on several core components:
- Utility: The token serves as the medium of exchange for verification and settlement.
- Incentives: Mechanisms to reward honest behavior from Light Nodes and Full Nodes.
- Demand: Token demand is mathematically correlated to network usage.
- Distribution: Reward frameworks based on client payments and protocol performance.
- Equilibrium: Models that balance token issuance, demand, and validator compensation.
- Sustainability: Use of dynamic fees, slashing, and inflation control to ensure long-term viability.
Overview of the LayerEdge Verification Tester
The Verification Tester is a tool built with Go and ZeroMQ designed for developers to send zk-proofs or other data streams to the LayerEdge verification layer. It is primarily used for testing custom proofs and integrations.Overview of LayerEdge Proof Aggregation Layer
LayerEdge provides a modular Proof Aggregation Layer that transforms Bitcoin into a verifiable infrastructure layer for off-chain computation. It allows developers to scale verifiable computation by recursively compressing thousands or millions of zk-proofs into a single succinct proof ($\pi_{agg}$), which is then anchored on Bitcoin. This ensures that finality is rooted in Bitcoin's Proof-of-Work (PoW) without overwhelming the L1 with computation.Overview of the LayerEdge BSN Data Availability Layer
The LayerEdge BSN is a sovereign Cosmos-based chain that serves as a data availability (DA) layer for zk-proof anchoring. It ensures that zk-proofs processed within the system are publicly accessible, cryptographically committed, tamper-evident, and efficiently verifiable. It acts as a durable metadata backbone that publishes Merkle roots for proofs submitted in each verification epoch and maintains timestamped attestations of committed batches.Overview of LayerEdge Security Mechanisms
LayerEdge combines mathematical, economic, and cryptographic mechanisms to ensure scalable and secure decentralized verification:
Mechanism Purpose Random Sampling Ensures decentralized, unpredictable proof assignment Exponential Detection Improves fraud detection probability as more nodes are added Merkle Inclusion Proofs Verifies that proofs are part of the committed batch Economic Penalties Deters malicious behavior via slashing or exclusion Bounty Rewards Motivates honest behavior and fraud reporting Collusion Resistance Uses independent randomness to ensure overlapping verification Auditability Makes all validation reports and disputes publicly verifiable Overview of the LayerEdge General Prover / Verifier System
The General Prover / Verifier System is the core cryptographic component of LayerEdge's architecture. Its primary purpose is to recursively aggregate multiple normalized zk-proofs into a single succinct proof. This process shifts the computational burden from the verifier to the prover, allowing Bitcoin to serve as a universal final settlement layer by verifying only one final aggregated proof rather than every individual proof.