Trendande ämnen
#
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
Grundare @fermah_xyz | 15 år och räknar med att designa och bygga ZK | PhD i kryptografi vid UCLA | Mama Bear-läge
Jag älskar hur @Da_justified lär mig olika aspekter av Fermah infra samtidigt som jag får lära mig utrymmet. Tillväxt!
21 juli 23:34
Välkommen tillbaka till Learning Fermah med Justified, där vi förvandlar stora ZK-frågor till enkla, vardagliga idéer.
Dagens lektion frågar: Vilken är din bästa analogi för att förklara ZK-bevis för en vän?
Föreställ dig att det finns ett rum med två dörrar. Bakom den ena finns en skatt och bakom den andra finns ingenting. Du vet var skatten finns, men du vill inte berätta för någon vilken dörr det är direkt. Så istället går du in i rummet, väljer rätt dörr och kommer ut igen. Du gör detta om och om igen. De som tittar kan inte se vad som finns bakom dörrarna, men de ser att du alltid lyckas. Med tiden tror de att du verkligen vet svaret utan att du någonsin avslöjar det. Det är vad ett nollkunskapsbevis är. Det är att bevisa att du vet något utan att visa vad det är.
Det är här @fermah_xyz kommer in. I verkligheten är det inte så lätt att skapa den typen av bevis. Du behöver stark hårdvara, avancerad kunskap och mycket installation. Men Fermah hanterar allt det åt dig. Det ger utvecklare ett enkelt verktyg att ansluta till och börja bevisa snabbt, privat och skalbart.
Så om vi ser tillbaka på analogin är Fermah inte bara personen som går in genom rätt dörr. Fermah är skatten av det verkliga värdet som driver allt bakom kulisserna. Det är den del som låser upp magin i ZK utan stress.
Med @fermah_xyz behöver du inte bygga hela provsystemet själv. Du fokuserar bara på det du vill bevisa och låter Fermah göra resten.
Stor respekt till @vanishree_rao för att ha lett detta skifte och byggt vad som känns som framtiden för att bevisa.
gfermah gfermah 💚
457
Vanishree Rao delade inlägget
Jag tror att abstrakta bevisarbetsflöden redan är här; ses i off-chain-beräkningen av zkProofs och aggregeringen av dessa bevis. Eftersom processen är asynkron gör det att kedjan kan fortsätta att bearbeta andra åtgärder, ungefär som vissa molntjänster fungerar.
Den är redan här.
När bevisningen blir skalbar och elastisk kommer beräkningsresurserna att utnyttjas bättre, och vi kommer att se högre maskinvarueffektivitet och prestanda. @fermah_xyz
554
Vanishree Rao delade inlägget
Välkommen tillbaka till Learning Fermah med Justified, där vi bryter ner stora ZK-frågor på ett enkelt, vardagligt språk. Bara riktigt prat om nollkunskap och hur @fermah_xyz formar framtiden. Låt oss dyka in i dagens fråga.
Här är en stor från klassen:
Kan abstrakta bevisningsarbetsflöden bli ZK:s AWS Lambda? För långt bort eller är du redan här?
Låt oss bryta ner det. AWS Lambda förändrade spelet genom att låta utvecklare köra kod utan att hantera servrar. Allt blev snabbare, lättare och mer skalbart. I ZK-världen sker redan samma skifte, och Fermah är mitt i centrum av det.
Hittills har generering av ZK-bevis inneburit att man måste hantera komplexa inställningar, dyr hårdvara och massor av optimeringshuvudvärk. Men @fermah_xyz vänder på det. Det ger utvecklare ett enkelt API att ansluta till, och bakom kulisserna hanterar det allt hårdvara, matchning, optimering och till och med konfidentiell bevisning.
Det är det som gör att det känns som AWS Lambda av ZK on-demand, skalbar och utvecklingsvänlig. I takt med att detta blir normen kommer vi att se fler projekt fokusera på sin produktlogik i stället för bevisteknik. Att bevisa blir något du "kallar", inte något du "bygger". Och när det väl når verklig skalbarhet och elasticitet på molnnivå kommer hela ZK-ekosystemet att växa snabbare.
Startups kan bygga ZK-appar utan att behöva djupa kryptografiteam. Stora aktörer kan skala bevis till lägre kostnad. Fermah gör den framtiden verklig genom att abstrahera komplexitet och öppna dörren för massanvändning. Detta är inte bara en bekvämlighet, det är ett katalytiskt skifte.
Detta är vad förespråkaren @vanishree_rao och som teamet bygger
gfermah gfermah 💚
414
Älskar skrivningen, @Da_justified
17 juli 19:02
Om du någonsin har provat att arbeta med ZK-bevis vet du hur rörigt, dyrt och hårdvaruintensivt det kan bli. Det är där @fermah_xyz kommer in i bilden.
Fermah är en plattform som hjälper projekt att generera nollkunskapsbevis snabbt, billigt och tillförlitligt. Du behöver inte oroa dig för serverdelens komplexitet. Anropa bara ett API så är du klar.
Tänk på Fermah som mellanhand mellan människor som behöver bevis (som appar och blockkedjor) och personer som genererar bevis (med hjälp av GPU:er, FPGA:er, etc.). Det är som en Uber, fast för att bevisa.
I sin kärna är Fermah ett universellt jässkikt. Den stöder alla typer av ZK-system: zkEVMs, zkVMs, Groth16 och STARKs, etc. Så oavsett om du bygger med zkSync, Polygon eller Jolt har @fermah_xyz din rygg.
Men de stannade inte där. De introducerade också något som kallas Confidential Proving Delegation (CPD). Ett nytt sätt att generera bevis privat. Ingen ser dina kretsdata, inte ens den person som bevisar det. Det är kraftfullt för integritetsfokuserade appar.
Och ja, fermah visade nyligen en zkSync block på testnet. Det är ett stort steg mot implementering i den verkliga världen.
Bakom Fermah står ett team i världsklass. Leds av Vanishree Rao , en ZK-expert med en doktorsexamen i kryptografi, och stöds av stora namn som a16z, Celestia och Aztec. (Jag står för att bli rättad @vanishree_rao om aztekerna 😅)
Uppdraget? Att göra ZK-bevisning lika enkelt och tillgängligt som att skicka en tweet.
Det här är bara början. Fermah formar framtiden för decentraliserad provning. Om du bryr dig om skalning, integritet eller att bygga in ZK-utrymmet vill du hålla ett öga på dem.
gfermah gfermah 💚
606
.@lagon20ms att dyka djupt! Fortsätt så.
CPD är vackert eftersom det onekligen är värdeaddlat.
16 juli 19:50
Fermahs CPD
Som vi alla vet har jag lärt mig om @fermah_xyz under de senaste dagarna, och den här delen stod verkligen ut för mig:
Delegering av konfidentiell bevisning (CPD)
Det är så Fermah låter dig avlasta ZK Proof-jobb utan att ge upp dina data
Du förstår, det är ett tungt arbete att bevisa.
Och för appar som sätter integriteten i första rummet är det ännu svårare
Du vill delegera arbetet, men inte läcka känslig information.
CPD löser det;
med CPD skickar du in ett provjobb
Den delas och förvrängs innan den når någon jäsare
Nätverket kan bevisa din beräkning utan att någonsin se dina råa indata.
Provaren känner inte hela vittnet
De vet inte vilka värden de bevisar
De vet bara:
"Detta är giltigt, och här är ett bevis för att visa det"
Det är integritet i stor skala
Du får beräkningskraft när du behöver den
Och ingen ser in i ditt bevisjobb, vad det än kan vara.
@fermah_xyz:s CPD är för närvarande live för Groth16,
zkVMs som Risc Zero's, SP1 och andra kommer härnäst
Detta låser upp en stor del av ZK-stacken
Det är privat bevisning och pålitligt genom design
Så här ska ZK Infra känna sig
Skalbart, osynligt och byggt kring användaren.
du skriver bara logiken
Nätverket gör resten.
102,86K
Vanishree Rao delade inlägget
De största framstegen sker i tystnad
De mest banbrytande framstegen inom alla tekniska områden föds ofta i tystnad, genom partnerskap som bildas bakom stängda dörrar och innovationer som utvecklas utanför rampljuset.
Verkliga framsteg gör inte alltid väsen av sig till en början. Men när den äntligen kommer upp till ytan skakar den om världen.
När det gäller ZK-rymden, vad vi bevittnar idag, uppstod inte det explosiva intresset, drivkraften och dragkraften över en natt. Det är resultatet av åratal av tysta, konsekventa ansträngningar.
Från det grundläggande arbetet med projekt som Zcash till ZKSync och vidare, har denna rörelse byggt sten för sten. Den nuvarande vågen är endast möjlig på grund av den grund som redan har lagts.
Idag driver Ethereum och dess grundare, Vitalik Buterin, på för att omvandla hela Ethereum-blockkedjan till ett ZKEvm-drivet system. Men även den visionen är djupt rotad i ZKP-resan som började för flera år sedan.
Med det sagt kan det bli ett problem att vara tyst för länge. I en värld där uppmärksamhet är valuta kan för mycket tystnad se ut som stagnation.
Det finns ett talesätt som säger att tur är vad som händer när förberedelser möter möjligheter. Men möjligheter kommer ofta när folk vet att du bygger.
Så när du bygger i tystnad, var inte rädd för att göra oväsen. Visa vad du skapar.
Och med det senaste tillkännagivandet mellan @fermah_xyz x @mintairxyz som aktivt stött @fermah_xyz:s bevismarknad sedan de tidiga stadierna, och de fördubblar detta samarbete när fermah närmar sig mainnet.
Låt de människor, samhällen och blockkedjor som en dag kommer att förlita sig på din innovation veta att du existerar, att du arbetar, experimenterar och tänjer på gränserna.
Sammanfattningsvis har ryggraden i ZKP:er alltid varit dess liv bakom kulisserna: tyst grundarbete, misslyckade experiment, obevekliga tester och smarta partnerskap. Det vi ser idag är inte tur, det är ett arv i rörelse.
@PranitGarg
1,06K
Topp
Rankning
Favoriter