diff --git a/rfps/source-verification/full-application.md b/rfps/source-verification/full-application.md index 31e06d6..b261172 100644 --- a/rfps/source-verification/full-application.md +++ b/rfps/source-verification/full-application.md @@ -63,6 +63,11 @@ This project extends infrastructure we already operate, Stellar Registry, which A leading formal-verification and smart-contract security firm. Founded in 2010 by Grigore Roșu, creator of the K framework, it has since 2018 delivered formal verification and security services to major blockchain foundations and protocols including the Ethereum Foundation, Stellar, EigenLayer, Optimism, Uniswap, Lido, Gnosis, and Morpho. RV maintains widely-used open-source verification tooling such as Kontrol and Simbolik, and its formal-verification engine now powers Immunefi's Magnus security platform. RV also has extensive experience in the Stellar and Soroban ecosystem, having provided high-quality audits to DeFi protocols deploying on Stellar for over 2 years and developed tooling for Soroban like [Komet](https://komet.runtimeverification.com/) for fuzz testing and formal verification. RV will operate an independent verifier node in the network and provide audit-grade trust signals. +## Ethan Frey ([@ethanfrey](https://github.com/ethanfrey)) + +Creator of CosmWasm, the WebAssembly smart-contract platform that directly inspired Soroban's architecture — Wasm runtime, Rust SDK, host-function model, and contract metadata sections all overlap. Through Confio, the company he founded, and building on earlier work as a contributor to the Cosmos SDK, CosmWasm grew into the dominant smart-contract engine in the Cosmos ecosystem, deployed across 30+ independent app-chains (Osmosis, Neutron, Sei, Injective, Archway, and others) and securing billions in on-chain value. He brings direct prior art for this RFP's hardest problem: he designed and shipped [CosmWasm/optimizer](https://github.com/CosmWasm/optimizer), the deterministic, toolchain-pinned Wasm build image that essentially every CosmWasm contract verification has run through for years and the proven blueprint for this project's Soroban build pipeline, along with the hard-won lessons (`--locked` enforcement, single-architecture determinism) now feeding directly into SEP-58; and he built [cosmwasm-verify](https://github.com/CosmWasm/cosmwasm-verify), a source-verification proof-of-concept (git repo + commit → deployed Wasm hash) that is essentially the centralized version of what this proposal decentralizes for Soroban. As an advisor to [Warp Drive](https://www.warp-drive.xyz), the Stellar port of [WAVS](https://wavs.xyz), he also brings the EigenLayer-style restaked operator network that provides the multi-operator, cryptoeconomically secured attestation layer this proposal depends on. He is actively shaping the live SEP-58 / reproducible-builds design (Stellar discussions [#1923](https://github.com/orgs/stellar/discussions/1923)) and working to standardize architecture deicisions via the SEP-process, like [Stellar Protocol PR #1951](https://github.com/stellar/stellar-protocol/pull/1951), so this verifier composes with the emerging standard rather than working around it, with all work MIT-licensed and built in the open. + + # Technical Architecture > Add an accessible link to your technical architecture of the to be added / improved product/services. >