Contracte inteligente criptate vs zk Dovezile zero-knowledge și criptarea complet homomorfă abordează confidențialitatea pe blockchain-uri din diferite unghiuri. Înțelegerea distincției este importantă pentru a nu le confunda pe ambele. Zk-Smart Contracts (verificare fără expunere) Dovezile cu cunoaștere zero permit unui demonstrator să convingă un verificator că un calcul sau o afirmație este corectă fără a dezvălui intrările subiacente. În multe fluxuri de lucru zk, calculul greu sau datele sensibile rămân în afara lanțului, dovada zk este trimisă în lanț pentru a atesta corectitudinea. Acest model este puternic atunci când scopul este de a publica o declarație mică, verificabilă despre un calcul privat mai mare. Contracte inteligente criptate (calculează în timp ce datele rămân criptate) Criptarea complet homomorfă (FHE) permite calculul arbitrar direct pe textele cifrate, astfel încât textul cifrat rezultat, odată decriptat de o parte autorizată, să se potrivească cu rezultatul aceluiași calcul pe text simplu. În termeni simpli, FHE permite sistemelor să calculeze fără a dezvălui vreodată intrările. Ideea originală de construcție și bootstrap FHE se datorează lui Craig Gentry (2009), care a pus bazele teoretice pentru munca practică care a urmat. Abordarea lui @zama_fhe folosește FHE pentru a aduce această capacitate la contractele inteligente, prin care dezvoltatorii scriu contracte în Solidity folosind o bibliotecă FHE (fhEVM), lanțurile gazdă emit indicatori și evenimente, iar coprocesoarele în afara lanțului efectuează munca FHE și stochează textele cifrate. Protocolul este conceput în mod explicit astfel încât calculul criptat să fie verificabil și orchestrat, mai degrabă decât ascuns.