Oggi rilasciamo BABE, un nuovo protocollo di verifica delle prove Groth16 per Bitcoin. Migliora lo stato dell'arte di tre ordini di grandezza nei costi di configurazione e archiviazione. BABE (BAbylon-BErkeley) è una sintesi di due idee chiave: La crittografia testimone su accoppiamenti lineari e Argo MAC, un primitivo di garbling recentemente introdotto. La crittografia testimone su accoppiamenti lineari riduce le complesse operazioni di accoppiamento nella verifica Groth16 a una singola moltiplicazione scalare sulla curva ellittica BN254. La singola moltiplicazione scalare può essere ulteriormente trasformata in un MAC omomorfico vettoriale, che può essere calcolato in modo efficiente da Argo MAC. BABE sarà lanciato come parte dell'alpha-testnet di Babylon per il Trustless Bitcoin Vault a febbraio. Ringraziamo: - i nostri collaboratori di Berkeley @SanjamGarg e Dimitris Kolonelos per averci insegnato così tanto sulla crittografia testimone - @liameagen e @therealyingtong per aver condiviso il loro straordinario lavoro su Argo MAC - il team di ingegneria di Babylon, per aver trasformato le nostre idee teoriche in un sistema reale con guadagni di prestazioni dimostrabili Controlla il documento e facci sapere cosa ne pensi!