@gubsheep на @0xPARC представляет цифровые объекты: программируемые частные объекты с собственным идентификатором, работающие локально с zkps и зафиксированные в публичном реестре. Мне нравится, насколько это похоже на подход, который мы использовали для @aztecnetwork под капотом.

Цифровые объекты основаны на DSL, похожем на Prolog, PODlang, для определения отношений между ними. Комплексные объекты полагаются на рекурсивные zkps.

@secparam @gubsheep @0xPARC @aztecnetwork И после короткой беседы после выступления также стало ясно, что большинство людей не знают о частной модели исполнения @aztecnetwork. Интересно, есть ли желание провести импровизированную сессию для разработчиков о том, как все устроено под капотом..?