{"title": "Verifiable RDS", "logoImg": "bafkreianyu5kgxtjyun2yattbyr3pbiyrnbtbm2y4poucakgftudhq2lqu", "website": "https://github.com/Gajesh2007/verifiable-rds-avs", "createdAt": 1743435207343, "userGithub": "Gajesh2007", "credentials": {}, "description": "# Verifiable RDS AVS — Completely Open Source\n\nA Verifiable Database AVS built on EigenLayer that provides PostgreSQL-compatible functionality with cryptographic verification capabilities.\n\n## Overview\n\nVerifiable RDS AVS is a system that enables permissionless verification of database operations through Merkle tree-based state commitments, creating a migration path from traditional RDS to verifiable database services.\n\nThe system leverages existing PostgreSQL databases but adds a verification layer that:\n\n- Captures database state changes\n- Creates cryptographic proofs of state transitions\n- Enables challenges for incorrect state transitions\n\n## Core Components\n\n### PostgreSQL Proxy\n\n- Wire protocol compatible with standard PostgreSQL clients\n- Intercepts and analyzes database queries\n- Manages connections between clients and the database\n\n### Verification Engine\n\n- Captures pre and post states for database operations\n- Deterministically replays transactions for verification\n- Builds Merkle trees of the database state\n\n### State Capture System\n\n- Efficiently tracks database schema and data changes\n- Builds incremental updates to state Merkle trees\n- Provides proof generation for specific rows", "logoImgData": {}, "projectTwitter": ""}