From 260c2eb4f969639cfbd0f0998ddd84cefd540a99 Mon Sep 17 00:00:00 2001 From: Ethan Frey Date: Fri, 12 Jun 2026 09:45:54 +0200 Subject: [PATCH 1/2] Add blurb for Ethan --- rfps/source-verification/full-application.md | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/rfps/source-verification/full-application.md b/rfps/source-verification/full-application.md index 31e06d6..ee411a9 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 + +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 ([github.com/ethanfrey](https://github.com/ethanfrey)). + + # Technical Architecture > Add an accessible link to your technical architecture of the to be added / improved product/services. > From b98e61a8400abecfb5d33736e3bf483e3737d298 Mon Sep 17 00:00:00 2001 From: Chad Ostrowski <221614+chadoh@users.noreply.github.com> Date: Fri, 12 Jun 2026 10:57:02 -0400 Subject: [PATCH 2/2] link to @ethanfrey in title rather than at end --- rfps/source-verification/full-application.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/rfps/source-verification/full-application.md b/rfps/source-verification/full-application.md index ee411a9..b261172 100644 --- a/rfps/source-verification/full-application.md +++ b/rfps/source-verification/full-application.md @@ -63,9 +63,9 @@ 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 +## 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 ([github.com/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