Vad är Nightfall? Ethereums integritetsteknik från Ernst & Young

EY

Ethereum står inför unika integritetsutmaningar, främst från implementeringen av den kontobaserade transaktionsmodellen jämfört med UTXO-designen av bitcoin, vilket kräver några uttryckliga avvägningar i sekretess. Vitalik Buterin skisserade fördelar och nackdelar med kontot kontra UTXO baserat på en smart kontraktsplattform och valdes för den förra som den mest livskraftiga modellen för Ethereums långsiktiga mål.

Trots Ethereums integritetsutmaningar har de inte stoppat en massa projekt och utveckling som strävar efter att stärka integriteten för smarta nätverk.

EY

I synnerhet har diskussioner kring införlivande av zk-SNARK, den teknik som används i ZCash för högnivå anonymitet, förstärkts under de senaste månaderna, med en säkerhet som följd av att integrera dem med Ethereum är fördelar med skalbarhet.

Ethereums Byzantium-uppgradering möjliggjorde verifiering och implementering av zk-SNARK i smarta kontrakt på Ethereum blockchain, och nu utnyttjar företag kraften i zk-SNARKS för en mängd olika applikationer. Ett av de mest anmärkningsvärda exemplen är det nyligen avslöjade Protokoll för nattfall från Ernst & Young (EY), som använder ZoKrates zk-SNARK verktygslåda – en formaliserad modell för skalbar, sekretessbevarande, off-chain beräkning på Ethereum.

Att hantera integritet i Ethereum

När det gäller kryptovalutor materialiseras integritet vanligtvis som ett ämne för att bevara användarnas anonymitet när de deltar i finansiella transaktioner. Denna uppfattning har axlat början av utvecklingsarbetet inom kryptovaluta anonymitetsteknik, med skyddsåtgärderna från tredjepartsövervakning av individer det främsta problemet..

Men när du utvärderar de bredare applikationerna i en offentlig blockchain som Ethereum, där Turing-kompletta smarta kontrakt är aktiverade, sträcker sig användningen av sekretessteknologi utöver individen och till affärsprocesser. Men först en högnivåöversikt över hur zk-SNARKs kan bevara integriteten på Ethereum.

Enligt ZCashs teknologisida på zk-SNARK:

“Akronymen zk-SNARK står för” Zero-Knowledge Succinct Non-Interactive Argument of Knowledge, “och hänvisar till en beviskonstruktion där man kan bevisa besittning av viss information, t.ex. en hemlig nyckel, utan att avslöja den informationen, och utan någon interaktion mellan bevisaren och verifieraren. ”

En form av zero-knowledge proofs (ZKPs), begreppet förstås bättre med mer abstrakta exempel, som t.ex. grottan i Alibaba eller idén att verifiera att Waldo finns i ett porträtt utan att specifikt avslöja var han befinner sig i porträttet.

ZKP: s smarta logik är att de kopplar bort data från information.

Esoteriska begrepp som zk-SNARK, som bygger på exceptionellt komplicerad matematik, är utmanande att översätta till kod, särskilt när man hänvisar till en implementering som överensstämmer med applikationer i en blockchain. Som ett resultat formella kodbibliotek, som ZoKrates, bli bryggan mellan den matematiska tolkningen och den mänskliga förståbara aspekten som kan användas i fall med verklig användning via kod.

Formaliserade bibliotek för zk-SNARKs är fortfarande under kraftig utveckling, så de är utmanande att använda, men det är just därför företag som EY har utforskat deras applikation och arbetat med att införa en mer användbar uppsättning protokoll med den underliggande tekniken borttagen.

Upptäckten av sekretessverktyg med Ethereum är inte heller uttryckligen begränsad till EY. JP Morgan är också enligt uppgift arbetar med tekniken med sin blockchain Quorum – en godkänd version av Ethereum.

Skymning

Nightfall är det experimentella forskningsimplementeringen av EY: s strävan att formalisera en uppsättning standardprotokoll för privata transaktioner på Ethereum, baserat på zk-SNARKs. Protokollen är kompatibla med de populära ERC-20 och ERC-721 (NFT) tokenstandarderna i nätverket, vilket gör dem allmänt tillgängliga och praktiska för utvecklare.

EY konstaterar att förvaret fortfarande är experimentellt och inte har genomgått en noggrann säkerhetsrevision ännu, vilket innebär att det för närvarande åtminstone huvudsakligen kommer att fungera som ett medel för att påskynda forskning och tillämpningar av zk-SNARKS på Ethereum. Med detta sagt avslöjar det några betydande framsteg i det bredare försöket att förbättra integriteten på Ethereum.

Till exempel Nightfall vitt papper formulerar att lösa problemet med den offentliga “överföringsfunktionen” som kräver att “till” och “överför” ingångarna ska vara offentliga med en konventionell ERC-20-tokenöverföring på Ethereum enligt följande:

”Avsändaren (eller” Prover ”) kör en beräkning privat på sin egen dator. De skickar privata ingångar till denna beräkning och får en uppsättning offentliga utdata som de delar med blockchain. De offentliga resultaten visas som oläsliga krypterade värden för alla observatörer; endast avsändaren och mottagaren kan tolka sin fulla betydelse. För att dessa krypterade värden ska ha “betydelse” för alla observatörer, delar Prover också med blockchain ett motsvarande “bevis” för att ha korrekt beräknat dessa utgångar. Tillsammans kan detta bevis och dessa offentliga resultat verifieras på ett sådant sätt att alla kan övertygas om att en förutbestämd beräkning har utförts på en viss uppsättning privata ingångar för att producera de offentliga resultaten. ”

Det övergripande konceptet ovan är ett mer specifikt exempel på hur zk-SNARKs tenderar att fungera, men Nightfalls främsta värdeförslag är att det ingår en uppsättning smarta kontrakt integrerade med ZoKrates som utgör grunden för att skapa sådana privata transaktioner i Ethereum. I synnerhet genereras ‘bevis’ med hjälp av ZoKrates verktygslåda.

Kontroversiella betrodda inställningar krävs fortfarande i EY: s Nightfall, i många fall också, men när man kartlägger dess tillämpning av företag är det inte lika problematiskt som generationens händelse i ett kryptovalutanätverk som ZCash eftersom företag (t.ex. ett logistikföretag för leveranskedjor) ha ett mer privat, tillåtet användningsfall begränsat till det bredare Ethereum-nätverket.

Nightfall citerar några av de potentiella användningsfallen för tekniken som sträcker sig från branscher som supply chain management och logistik till interna företagstransaktioner – vilket är ett fokus för JP Morgans initiativ med zk-SNARKs.

Ett exempel på att använda Nightfall i försörjningskedjebranschen skulle vara privat spårning av läkemedelsprodukter under hela den logistiska resan, och viktigare, att inte avslöja detaljer om själva produkterna, såsom läkemedeltyp, destination eller kvantitet på den offentliga huvudboken. Den främsta fördelen är att företag kan utnyttja censurmotstånd, verifierbarhet och infrastruktur för en offentlig blockchain med liknande försäkringar i sekretess som att använda en tillåten kedja.

Formalisering av överföringsprotokoll med zk-SNARK kan effektivt minska effekterna av avvägningar vid beslutsfattande om offentliga kontra privata blockkedjor.

EY: s Nightfall refererar till en svit av bidragsgivare som har hjälpt till att protokollet inställts, inklusive ZoKrates, Libsnark, ZCash, GM17, 0xcert och OpenZeppelin. EY planerar att introducera Nightfall i sina befintliga blockchain-produkter – OpsChain och Blockchain Analyzer.

Mike Owergreen Administrator
Sorry! The Author has not filled his profile.
follow me