Vad är det första du tänker på när du hör ZK? För mig är det Fermah. Eftersom @fermah_xyz inte försöker bygga nästa ZK rollup, zkVM eller ett nytt bevissystem. Det bygger plattformen som alla kan ansluta till. ZK-bevis är kraftfulla, men att köra infrastruktur för dem är en helt annan sak. Du behöver kraftfull hårdvara (vanligtvis GPU:er), mycket specialiserade mjukvarumiljöer, och tillförlitlig orkestrering för att se till att allt går smidigt. Det är dyrt, fragmenterat och skräddarsytt för varje stack. • Vill du bevisa Groth16? Du ställer in ett system. • Vill du bevisa Scroll-batcher eller zkSync-block? Det är en annan. • Behöver du köra RISC Zero eller Jolt zkVM? Annorlunda igen. Det är som om varje streamingtjänst krävde sin egen TV, sin egen fjärrkontroll och sin egen soffa. Fermah ändrar på det. Fermah är en universell marknadsplats för bevisgenerering Det innebär att vem som helst kan skicka in bevisbegäranden över bevissystem, kedjor och VM:er, och Fermah kommer att matcha dem med rätt operatörsnod för att beräkna och returnera det beviset. Hur du använder AWS för att köra beräkning, Du kommer att använda Fermah för att generera bevis. Vad löser Fermah? Den abstraherar bevisande infrastruktur. Du behöver inte längre hantera datorer, installera kretsar eller skapa Docker-körningar. I stället skickar sökare jobb via RPC eller SDK. Fermahs matchmaker tilldelar dem till tillgängliga bevisnoder. Beviset returneras och lagras om så önskas. Under huven körs dessa noder av egenskiktsoperatorer. Det betyder att Fermah använder Ethereums växande omstaking-ekonomi för att erbjuda decentraliserad, högpresterande bevisgenerering. Den här orkestreringsmodellen innebär: • Högre utnyttjande av provers • Lägre kostnad per korrektur • Snabbare returtider • Korrektur som en tjänst (i stor skala) Och det är inte teoretiskt. Den är igång. Fermah driver för närvarande produktionsarbetsbelastningar för @zksync, vilket genererar blockbevis med stark ekonomisk prestanda. Den är också integrerad i Scrolls zkEVM-pipeline och täcker segment-, batch- och paketstadier. Och det är testlagret för a16z:s Jolt zkVM, som är live i Fermahs testnät. I stället för att trycka på ännu ett ZK-ramverk, positionerar Fermah sig som det sammanbindande lagret som förvandlar nollkunskapssäker generering till en programmerbar, pålitlig primitiv för alla. Så vad erbjuder Fermah i verkliga termer? Ett enda gränssnitt för att: • Generera Groth16-, zkVM-, zkEVM-, RISC Zero- eller Jolt-bevis • Delegera bevis till noder utanför kedjan, abstraherade bort från din applogik • Integrera provgenerering i olika kedjor och system • Undvik devops-bördan av att upprätthålla intern testinfra Precis som en utvecklare inte skapar ett datacenter för att distribuera en app, Fermah anser att du inte ska behöva bygga en provfarm bara för att använda nollkunskap. TL; DR Fermah är inte bara ännu ett ZK-verktyg. Det är infrastrukturlagret som gör universell ZK-generering möjlig. När provgenerering blir en handelsvara, automatiserad och integrerad i hela stacken, Det beror inte på att varje app har skapat sin egen pipeline. Det kommer att bero på att Fermah gjorde det enkelt att koppla in och få bevis. Gfermah. @vanishree_rao