zk-SNARK
Gli zk-SNARK sfruttano algebra avanzata e tecniche crittografiche per creare prove difficili da falsificare ma facili da verificare. L'idea centrale è trasformare un problema computazionale in un problema di verifica polinomiale. Il prover dimostra la conoscenza di un segreto (come una chiave privata) fornendo una prova che soddisfa un'equazione polinomiale senza rivelare il segreto stesso. Il verifier controlla l'equazione utilizzando operazioni crittografiche come i pairing su curve ellittiche, ma la struttura algebrica garantisce che la prova non riveli nulla sul segreto sottostante.
Leggi il metodo completo
Accedi con un account gratuito per leggere questa sezione.
Method map
The neighbourhood of related methods — select a node to explore.
Fonti
- Ben-Sasson, E., Chiesa, A., Garman, C., Green, M., Miers, I., Tromer, E., & Virza, M. (2014). Zerocash: Decentralized Anonymous Payments from Bitcoin. In IEEE Symposium on Security and Privacy (SP), pp. 459-474. DOI: 10.1109/SP.2014.36 ↗
- Bünz, B., Bootle, J., Boneh, D., Poelstra, A., Wuille, P., & Maxwell, G. (2018). Bulletproofs: Short proofs for confidential transactions and more. In IEEE S&P 2018, pp. 315-334. DOI: 10.1109/SP.2018.00020 ↗
Come citare questa pagina
ScholarGate. (2026, June 3). Zero-Knowledge Succinct Non-Interactive Argument of Knowledge. ScholarGate. https://scholargate.app/it/cryptography/zk-snark
Which method?
Set this method beside its closest kin and read them side by side — the library lays the books on the table; the choice is yours.
- Crittografia a Curve EllitticheCrittografia↔ compare
- Crittografia basata su reticoliCrittografia↔ compare
- zk-STARKCrittografia↔ compare
Citato da
Hai notato un problema in questa pagina? Segnalalo o proponi una correzione →