Co vás jako první napadne, když se řekne ZK? Pro mě je to Fermah. Protože @fermah_xyz se nepokouší vytvořit další ZK rollup, zkVM nebo nový důkazní systém. Je to budování platformy, ke které se mohou všichni připojit. Důkazy ZK jsou výkonné, ale provozování infrastruktury pro ně je úplně jiná bestie. Potřebujete výkonný hardware (obvykle GPU), vysoce specializovaná softwarová prostředí, a spolehlivou orchestraci, která zajistí, že vše běží hladce. Je to drahé, roztříštěné a vytvořené na míru pro každý stack. • Chcete dokázat Groth16? Nastavíte jeden systém. • Chcete dokázat Scroll batche nebo zkSync bloky? To je věc druhá. • Potřebujete spustit RISC Zero nebo Jolt zkVM? Zase jiné. Je to, jako by každá streamovací služba vyžadovala vlastní televizi, vlastní dálkový ovladač a vlastní gauč. Fermah to mění. Fermah je univerzální tržiště pro výrobu důkazů To znamená, že kdokoli může odesílat žádosti o důkazy napříč systémy důkazů, řetězci a virtuálními počítači, a Fermah je spojí se správným uzlem operátoru pro výpočet a vrácení tohoto důkazu. Způsob, jakým používáte AWS k provozování výpočtů, Fermah použijete ke generování důkazů. Co Fermah řeší? Abstrahuje dokazování infrastruktury. Už žádná správa počítačů, instalace obvodů nebo vytváření běhových prostředí Dockeru. Místo toho uchazeči odesílají úlohy prostřednictvím RPC nebo SDK. Dohazovač Fermah je přiřadí k dostupným dokazovacím uzlům. Důkaz se vrátí a volitelně uloží. Pod kapotou jsou tyto uzly provozovány operátory Eigenlayer. To znamená, že Fermah využívá rostoucí ekonomiku Ethereum k nabídce decentralizovaného, výkonného generování důkazů. Tento model orchestrace znamená: • Vyšší využití prováděcích prostředků • Nižší náklady na nátisk • Rychlejší návraty • Důkazy jako služba (ve velkém měřítku) A není to ani teoretické. Je to v běhu. Fermah v současné době pohání produkční pracovní zátěže pro @zksync a generuje blokové důkazy se silnou ekonomickou výkonností. Je také integrován do kanálu zkEVM společnosti Scroll, který pokrývá fáze bloků, dávek a svazků. A je to zkušební vrstva pro Jolt zkVM od a16z, který je aktivní v testovací síti Fermah. Spíše než aby prosazoval další ZK framework, Fermah se staví do pozice spojovací vrstvy, která mění generování důkazů s nulovou znalostí na programovatelné a spolehlivé primitivum pro všechny. Co tedy Fermah ve skutečnosti nabízí? Jediné rozhraní pro: • Generování důkazů Groth16, zkVM, zkEVM, RISC Zero nebo Jolt • Delegujte korektury na off-chain uzly, abstrahované od logiky vaší aplikace • Integrujte generování důkazů napříč řetězci a systémy • Vyhněte se zátěži vývojářů spojené s údržbou interní prokazovací infrastruktury Stejně jako vývojář nevytváří datové centrum pro nasazení aplikace, Fermah věří, že byste neměli potřebovat budovat dokazovací farmu jen proto, abyste použili nulové znalosti. TL; DR Fermah není jen další nástroj ZK. Je to vrstva infrastruktury, která umožňuje univerzální generování ZK. Když se generování nátisků stane komoditizovaným, automatizovaným a integrovaným v rámci zásobníku, Nebude to proto, že každá aplikace si vytvořila svůj vlastní kanál. Bude to proto, že Fermah usnadnil zapojení a prokazování. Gfermah. @vanishree_rao