Calcolo generico basato su dimostrazioni con Magnetar
· By Antonio Sedino, CTRO · Published by Reinventy Solutions Corp.
Microsoft Research riferisce che Magnetar consente la verifica tramite zero-knowledge proof dei risultati computazionali senza dover rieseguire i carichi di lavoro o esporre dati sensibili.
Le prove a conoscenza zero verificano i risultati computazionali senza rieseguire i carichi di lavoro o esporre dati sensibili, riporta Microsoft Research. Perché è importante: per Autonomia, la fonte definisce cosa deve essere monitorato, mentre le sue evidenze dichiarate e i limiti di qualificazione rimangono il confine della conclusione.