Populární témata
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.

Vanishree Rao
Zakladatel @fermah_xyz | 15 let a stále více v projektování a výstavbě ZK | PhD v kryptografii na UCLA | Režim medvědí mámy
Vanishree Rao repostoval/a
Věřím, že abstrahované pracovní postupy dokazování jsou již zde; vidět na off-chain výpočtu zkProofs a agregaci těchto důkazů. Vzhledem k tomu, že proces je asynchronní, umožňuje řetězci pokračovat ve zpracování dalších operací, podobně jako fungují některé cloudové služby.
Už je to tady.
Až se dokazování stane škálovatelným a elastickým, výpočetní zdroje budou lépe využívány a uvidíme vyšší efektivitu a výkon hardwaru. @fermah_xyz

320
Vanishree Rao repostoval/a
Vítejte zpět v Learning Fermah s Justified, kde rozebíráme velké otázky ZK jednoduchým, každodenním jazykem. Jen skutečné řeči o nulových znalostech a o tom, jak @fermah_xyz utváří budoucnost. Pojďme se ponořit do dnešní otázky.
A teď tady je jeden velký z kurzu:
Mohly by se abstrahované pracovní postupy dokazování stát AWS Lambdou ZK? Příliš daleko nebo už tady?
Pojďme si to rozebrat. AWS Lambda změnila pravidla hry tím, že umožnila vývojářům spouštět kód bez správy serverů. Všechno se stalo rychlejším, lehčím a škálovatelnějším. Ve světě ZK se ten samý posun už děje a Fermah je přímo v jeho středu.
Až dosud znamenalo generování ZK důkazů vypořádat se se složitými nastaveními, drahým hardwarem a spoustou optimalizačních bolestí hlavy. Ale @fermah_xyz to obrací. Poskytuje vývojářům jednoduché rozhraní API, do kterého se mohou připojit, a v zákulisí se stará o veškerý hardware, párování, optimalizaci a dokonce i důvěrné prokazování.
Díky tomu působí jako AWS Lambda ZK na vyžádání, škálovatelná a přátelská k vývojářům. Jakmile se to stane normou, uvidíme více projektů, které se budou zaměřovat na logiku svého produktu namísto důkazního inženýrství. Dokazování se stává něčím, čemu "říkáte", ne něčím, co "vytváříte". A jakmile dosáhne skutečné škálovatelnosti a elasticity na úrovni cloudu, celý ekosystém ZK poroste rychleji.
Startupy mohou vytvářet aplikace ZK, aniž by potřebovaly hluboké kryptografické týmy. Velcí hráči mohou škálovat důkazy s nižšími náklady. Fermah činí tuto budoucnost skutečností tím, že abstrahuje složitost a otevírá dveře masovému přijetí. To není jen pohodlí, je to katalytický posun.
To je to, co navrhovatel @vanishree_rao a tým buduje
gfermah 💚

319
Miluji zápis, @Da_justified

Justified17. 7. 19:02
Pokud jste někdy zkoušeli pracovat s korekturami ZK, víte, jak chaotické, drahé a hardwarově náročné to může být. A právě zde přichází na řadu @fermah_xyz.
Fermah je platforma, která pomáhá projektům rychle, levně a spolehlivě generovat důkazy s nulovými znalostmi. Nemusíte si dělat starosti se složitostí backendu. Stačí zavolat rozhraní API a je hotovo.
Představte si Fermah jako prostředníka mezi lidmi, kteří potřebují důkazy (jako jsou aplikace a blockchainy) a lidmi, kteří důkazy generují (pomocí GPU, FPGA atd.). Je to jako Uber, ale na důkaz.
Ve svém jádru je Fermah univerzální zkušební vrstvou. Podporuje všechny typy systémů ZK: zkEVM, zkVMs, Groth16 a STARKs atd. Takže ať už stavíte pomocí zkSync, Polygon nebo Jolt, @fermah_xyz vám kryje záda.
Tím to ale neskončilo. Zavedli také něco, co se nazývá delegování prokazování důvěrnosti (CPD). Nový způsob privátního generování korektur. Nikdo nevidí vaše údaje o obvodu, dokonce ani osoba, která je prokazuje. To je výkonné pro aplikace zaměřené na soukromí.
A ano, fermah nedávno prokázal blok zkSync na testnetu. To je obrovský krok směrem k adopci v reálném světě.
Za Fermah stojí tým světové třídy. Vede ji Vanishree Rao, odborník na ZK s doktorátem z kryptografie, a stojí za ním velká jména jako a16z, Celestia a Aztec. (Stojím za opravou @vanishree_rao na aztécké 😅 )
Poslání? Aby bylo dokazování ZK stejně snadné a dostupné jako odesílání tweetů.
To je jen začátek. Fermah utváří budoucnost decentralizovaného dokazování. Pokud vám záleží na škálování, soukromí nebo budování v prostoru ZK, budete na ně chtít dávat pozor.
gfermah 💚

500
.@lagon20ms potápění do hloubky! Jen tak dál.
CPD je krásné, protože je nepopiratelně přidatné k hodnotě.

h16. 7. 19:50
CPD společnosti Fermah
Jak všichni víme, v posledních dnech jsem se o @fermah_xyz dozvídal a tato část mě opravdu zaujala:
Delegování důvěrného prokazování (CPD)
Takto vám Fermah umožňuje přenést úlohy ZK proof, aniž byste se museli vzdát svých dat
Víte, dokazování je těžká práce.
A u aplikací, které upřednostňují soukromí, je to ještě těžší
Chcete delegovat práci, ale nechcete prozradit citlivé informace.
CPD to řeší;
s CPD odešlete zkušební úlohu
Rozdělí se a rozmíchá, než se dostane k jakémukoli zkoušejícímu
Síť může prokázat váš výpočet, aniž by kdy viděla vaše surové vstupy.
Dokazovatel nezná celého svědka
Nevědí, jaké hodnoty dokazují
Oni prostě vědí:
"toto je platné a zde je důkaz, který to dokazuje"
je to soukromí ve velkém měřítku
Výpočetní výkon získáte, když ho potřebujete
A nikdo nevidí dovnitř vaší proofproofové práce, ať už je jakákoli.
CPD @fermah_xyz je v současné době aktivní pro Groth16,
zkVM jako Risc Zero, SP1 a další přicházejí na řadu
Tím se odemkne obrovský kus zásobníku ZK
je to soukromé testování a záměrně nedůvěryhodné
Takhle by se měl cítit ZK infra
škálovatelné, neviditelné a postavené kolem uživatele.
prostě napíšete logiku
síť se postará o zbytek.

102,19K
Vanishree Rao repostoval/a
Největší pokroky se dějí v tichu
Nejpřevratnější pokroky v jakékoli technologické oblasti se často rodí v tichosti, prostřednictvím partnerství vytvořených za zavřenými dveřmi a inovací vyvíjených mimo světla reflektorů.
Skutečný pokrok nemusí vždy zpočátku vyvolávat hluk. Ale když se konečně vynoří, otřese světem.
V případě prostoru ZK, toho, čeho jsme dnes svědky, se explozivní zájem, dynamika, trakce, neobjevily jen tak přes noc. Je to výsledek let tichého a důsledného úsilí.
Od základů projektů jako Zcash po ZKSync a další, toto hnutí buduje cihlu po cihle. Současná vlna je možná jen díky základům, které již byly položeny.
Dnes Ethereum a jeho zakladatel Vitalik Buterin usilují o transformaci celého blockchainu Ethereum na systém poháněný ZKEvm. Ale i tato vize je hluboce zakořeněna v cestě ZKP, která začala před lety.
To znamená, že příliš dlouhé mlčení se může stát problémem. Ve světě, kde je pozornost platidlem, může přílišné ticho vypadat jako stagnace.
Říká se, že štěstí je to, co se stane, když se příprava setká s příležitostí. Příležitost však často přichází, když lidé vědí, že stavíte.
Takže při stavění v tichu se nebojte dělat hluk. Ukažte, co vytváříte.
A s nedávným oznámením mezi @fermah_xyz x @mintairxyz, kteří aktivně podporují trh s důkazy @fermah_xyz od raných fází, a zdvojnásobují tuto spolupráci, protože fermah přistupuje k mainnetu.
Dejte lidem, komunitám a blockchainům, které se jednoho dne budou spoléhat na vaše inovace, vědět, že existujete, že pracujete, experimentujete a posouváte limity.
Závěrem lze říci, že páteří ZKP byl vždy jejich zákulisní shon: tichá práce na základech, neúspěšné experimenty, neúnavné testování a chytrá partnerství. To, co dnes vidíme, není štěstí, je to odkaz v pohybu.
@PranitGarg

1K
Vanishree Rao repostoval/a
Je pondělí a jak lépe začít týden, než o @fermah_xyz psát!
Co je tedy přesně Fermah
Fermah je v podstatě zkproof tržiště, které spojuje ty, kteří potřebují důkazy s nulovou znalostí (seekers) a ty, kteří důkazy generují (Provers). Představte si to jako Uber, spojuje řidiče s lidmi, kteří potřebují odvoz, tím, že je efektivně přiřazuje k řidičům v okolí.
Ps: je to první svého druhu 🫠
Jak je to vůbec možné
Vím, co si myslíte, já jsem měl také stejnou otázku, proto jsem si přečetl dokumenty a byl jsem tak nadšený, že jsem se o ně přišel podělit.
V srdci technologie společnosti Fermah tedy leží tři základní komponenty:
- Vyhledávací uzly
- Dohazovač (jádro)
- Uzly dokazování
Dohazovač je místo, kde začíná zábava
Víte, čeho se zde @vanishree_rao snaží dosáhnout, je dát komukoli a každému přístup k použití jakéhokoli důkazového systému podle jeho výběru k efektivnímu ověření úkolů, a proto je Fermah důkazově agnostický. Podporuje všechny hlavní důkazové systémy od RISC Zero @boundless_xyz, @SuccinctLabs SP1, Jolt od @a16zcrypto, Valida od @0xLita, Stwo od @StarkWareLtd s rychlým rozšířením pro přizpůsobení @aztecnetwork důkaznímu systému, @NexusLabs zkVM, Stone by @StarkWareLtd a všech dalších důkazových systémů, které mohou být v budoucnu vynalezeny. Vývojáři již nemusí přizpůsobovat své aplikace tak, aby odpovídaly řetězcovému systému důkazů, můžete stavět na JAKÉMKOLI řetězci a o vaše dokazování se postará Fermah
To, co dohazovač dělá (jak název napovídá), je organizování práce v celé síti. Jak to funguje, je to:
- nejprve ověří parametr požadavku
- poté inteligentně přiřadí úlohu k optimálnímu ověřovacímu uzlu na základě požadovaného hardwaru, nákladů a kritérií výkonu
Už se nemusíte bát, že by generování nečinných GPU nebo korekturů trvalo příliš dlouho
S @fermah_xyz máte soukromí na dosah ruky!
1,2K
Vanishree Rao repostoval/a
Myslím, že jedním z největších hnacích motorů ekosystému Web3 je jeho schopnost přivádět očekávání Web2 k životu.
Uživatelé vždy potřebují tři důležité věci: náklady, čas a bezpečnost.
Náklady:
Obvykle, když provádíte transakce řekněme ve finanční organizaci, jako je banka, nebo dokonce používáte platební portál, transakční náklady jsou tak vysoké, že je buď přijmete tak, jak jsou, nebo... přijímáte to tak, jak to je.
Jiné možnosti nejsou. Protože dotyčná společnost má vše pod kontrolou:
Jak posíláte peníze
Jak dlouho trvá cesta do cíle
Částka, kterou můžete odeslat
A kolik vám budou účtovat
Většinou aniž by vám řekli proč, nemáte vše pod kontrolou. Jste prostě v systému.
Podívejte se na můj článek
@fermah_xyz @vanishree_rao @PranitGarg

388
Top
Hodnocení
Oblíbené
Co je v trendu on-chain
Populární na X
Nejvyšší finanční vklady v poslední době
Nejpozoruhodnější