Skvělá aplikace AI je jen tak výkonná, jak výkonné jsou její osvědčené závěry a výstupy. Možná se tedy ptáte: jak ověřím svůj model AI pomocí DeepProve? Zde je návod, jak to funguje. 🧵

2/ DeepProve zahájí verifikaci AI modelu (ze souboru ONYX) s kvantizací. Během tohoto předběžného zpracování, což je jednorázové nastavení, převádí plovoucí desetinné čárky vašeho modelu na celá čísla. Generuje také klíče ověřovatele/ověřovače.

3/ DeepProve pak spouští dva procesy paralelně: 1. Odvození modelu AI, ale s celými čísly pro každý z uzlů neuronové sítě ("prováděcí stopa") 2. U každého uzlu prokáže, že výpočet byl proveden správně, a poté jej převede na jediný, stručný důkaz ZK.

4/ Dále je ověření dokončeno pomocí: → Vstup a výstup modelu → Závazek modelu (který jedinečně reprezentuje model bez odhalení podkladových dat) → Ověřovací klíče

5/ Zjednodušeně řečeno, DeepProve funguje takto: 1. Dokončete jednorázové nastavení 2. Generování důkazů 3. Ověřte závěry AI kdekoli