@gubsheep 在 @0xPARC 介绍数字对象:具有自己实体的可编程私有对象,使用 zkps 在本地操作并提交到公共账本。 我喜欢它与我们在 @aztecnetwork 背后采取的方法是多么相似。
数字对象基于类似于 Prolog 的 DSL,PODlang,用于定义它们之间的关系。复合对象依赖于递归 zkps。
@secparam @gubsheep @0xPARC @aztecnetwork 在演讲后简短的聊天中,显然大多数人并不知道 @aztecnetwork 的私有执行模型。 我想知道是否有开发者对即兴会议感兴趣,讨论一下底层是如何构建的..?
5.2K