Link

GlossarioInfoPrivacy

Social

© 2026 CryptoGlossario

v2.0admin
CryptoGlossario
Aggiunto il 29/01/2026
🖥️Informatica

ZKP (Zero-Knowledge Proof)

Dimostrazione a conoscenza zero

AcronimoNeologismoTecnico

Protocollo crittografico che dimostra la verità di un'affermazione senza rivelare i dati sottostanti. Verifica senza divulgare il segreto.

Il provatore convince il verificatore di possedere un'informazione (chiave, credenziale, identità) attraverso sfide matematiche ripetute, rendendo la frode statisticamente impossibile senza mai trasmettere il valore. Le famiglie zk-SNARK e zk-STARK producono prove compatte verificabili in millisecondi, abilitando pagamenti confidenziali, credenziali selettive e rollup di seconda generazione dove migliaia di transazioni vengono compresse in un'unica prova on-chain.

Forma italiana stabilizzata

La forma italiana è naturale e ben riconoscibile

Nel lessico italiano la forma "Dimostrazione a conoscenza zero" è ormai stabile nell'uso, ma resta una resa ibrida italo-inglese e non un equivalente interamente italiano.

Termini Correlati

Blockchain Trilemma

Trilemma della blockchain

2.6x
🖥️Informatica🔐Crittografia

Teoria per cui una blockchain non può ottimizzare contemporaneamente decentralizzazione, sicurezza e scalabilità, dovendo accettare un compromesso su almeno uno dei tre.

Corrigibility

Correggibilità

2.1x
🖥️Informatica🤖AI

Proprietà di un'intelligenza artificiale che accetta di essere corretta, fermata o modificata dagli esseri umani, anche quando questo contrasta con i suoi obiettivi immediati.

Optimistic Rollup

Rollup ottimistico

1.6x
🖥️Informatica

Rollup che elabora le transazioni assumendole valide per default. Chiunque può contestare entro la finestra di sfida presentando una fraud proof per invalidare il batch sospetto.

Hybrid Smart Contract

Smart contract ibrido

1.3x
🖥️Informatica🔐Crittografia

Smart contract che combina codice eseguito sulla blockchain con dati e servizi provenienti dal mondo esterno tramite oracoli, ampliando le applicazioni possibili.

Market Maker

 

1.3x
🖥️Informatica

Operatore che garantisce liquidità su un mercato mantenendo ordini di acquisto e vendita simultaneamente attivi, guadagnando dallo spread tra i due prezzi.

Unit Tests

Test unitari

1.2x
🖥️Informatica

Test automatici che verificano il corretto funzionamento di singole funzioni o componenti di codice in isolamento, senza dipendenze esterne attive.