Implementation · Verde and RepOps (Gensyn)
Sources
On this page
- BA. Arun et al. (2025). Verde: Verification via Refereed Delegation for Machine Learning Programs. arXiv. Source recordSupports: refereed delegation design, guarantee and its limit, bisection, single-operator re-execution, RepOps design, overheads, FP32 and single-GPU scope, author affiliations · abstract; §1; §3.2; §4 Table 2; limitations
- CO. Ersoy (2025). Verde Verification System In Production. Gensyn research blog. Source recordSupports: deployment in Judge; bitwise reproducibility across hardware; tasks covered; what the guarantee does not cover (provider-reported)
- CGensyn (2025). Introducing Judge. Gensyn news. Source recordSupports: Judge launch with a reasoning task framed as a prediction market (provider-reported)
- BGensyn (2026). gensyn-ai/ree: Gensyn Reproducible Execution Environment (GitHub repository). GitHub. Source recordSupports: public REE binaries and SDK, licences, receipts, release limited to reproducible LLM inference, pipeline parallelism up to 72B and threefold overhead cut in v0.2.0, v0.8.0 released on 5 October 2026, receipt compatibility across releases (provider-reported) · README; patch notes
- CD. Jedamski (2026). Building Delphi: Pricing, Settlement, and Agentic Trading. Gensyn blog. Source recordSupports: Delphi live on Gensyn's mainnet; REE settlement receipts that anyone can re-run; hosted REE settlement for partner markets (provider-reported) · settlement section
- BGensyn (2026). Reproducible Execution Environment (REE) (Gensyn documentation). Gensyn documentation. Source recordSupports: REE modes, releases without an alpha or beta label, reproducible int8 attention and MoE kernels (provider-reported) · whole page
- BGensyn (2026). What is Delphi? (Delphi documentation). Delphi documentation. Source recordSupports: Delphi mainnet service and REE judge receipts that anyone can re-run (provider-reported) · Settled by AI, Verifiable by Anyone; Where Delphi Runs