Calcul général basé sur des preuves avec Magnetar
· By Antonio Sedino, CTRO · Published by Reinventy Solutions Corp.
Microsoft Research rapporte que Magnetar permet la vérification par preuve à divulgation nulle de connaissance des résultats de calcul sans réexécuter les charges de travail ni exposer les données sensibles.
Les preuves à divulgation nulle de connaissance vérifient les résultats informatiques sans réexécuter les charges de travail ni exposer de données sensibles, rapporte Microsoft Research. Pourquoi c'est important : Pour Autonomie, la source définit ce qui doit être surveillé, tandis que ses limites déclarées en matière de preuves et de qualifications restent les frontières de la conclusion. Pourquoi cela compte : Pour les décisions concernant industrie, la source définit ce qui doit être surveillé; les preuves et limites de qualification déclarées bornent la conclusion.