Zenroom.org - dal modello matematico alla produzione con pochi sforzi

Mercoledì 8 marzo 2023 alle ore 16:00, presso il Dipartimento di Matematica e Fisica (Aula M1), si terrà un seminario di orientamento di Denis (Jaromil) Roio (DYNE.ORG) dal titolo "Zenroom.org - dal modello matematico alla produzione con pochi sforzi".

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.

Locandina