1/ Frontier AI on voimakas, mutta ilman todisteita se pysyy mustana laatikkona. Toimialat tarvitsevat todennettavia järjestelmiä, robotiikasta rahoitukseen ja autonomiseen älykkyyteen.

2/ DSperse ja JSTprove avaavat skaalautuvan zkML:n oikeisiin työkuormiin. Nopea, modulaarinen ja tuotantoon suunniteltu. Näin autonomiset järjestelmät muuttuvat luotettaviksi.