Abstract: La macchina virtuale "Zenroom" è un ambiente di esecuzione piccolo, sicuro ed estremamente portabile in grado di operare trasformazioni crittografiche avanzate come zero- knowledge proof e calcoli omomorfici in meno di 2MB di RAM. E' possibile integrarlo facilmente in C/C++, Python, Javascript, Golang, Rust e Java e le sue operazioni sui dati possono essere descritte in un linguaggio simile a quello umano chiamato Zencode. In questo seminario scenderemo in dettaglio per osservare come è fatta all'interno Zenroom ed esploreremo anche le ragioni di alcune scelte: l'adozione di un dialetto di Lua come interprete di sintassi e quella di Milagro per le funzioni crittografiche primitive. Ma soprattutto vedremo come puo' lavorarci un matematico che sviluppa nuovi algoritmi usando uno script simile a Mathematica e mandandoli direttamente in produzione senza bisogno di traduzioni. Il metodo di lavoro che abbiamo sviluppato in Dyne.org consiste nel rendere indipendente il lavoro dei crittografi matematici da quello degli ingegneri integratori, utilizzando proprio Zenroom in qualsiasi applicazione client e server.
Link identifier #identifier__47583-1Locandina
This post is also available in: Link identifier #identifier__100294-5Eng