Starknet 上的 Defi#
- 该活动将讨论 StarkNet 上的 DeFi 开发。
- 介绍来自 Hashtag、ZKX、Nostra 的代表和他们所代表的协议。
- Hashtag 是一种 ZK 原生货币市场互担抵押物协议，可容纳 3 倍抵押金。
- ZKX 是一家为专业特工提供复杂金融工具的交易平台。
- Nostra 构建一个流动性层，包括 Nostra 货币市场、未偿付的稳定币和 Stablecoin DEX。
- 不足抵押贷款是可以在区块链上实现的，以用户押金 100 美元为例，可通过让用户在平台上部分投资 230 来提供激励。
- 涉及到 kyc 和信用评分检查的机构也可以从 Maple 处获取支持。
StarkNet 发布之路#
- 小组相继讨论了项目生命周期中技术上和社会上的各种挑战，以及如何克服这些挑战的办法。
- Fresh Pizza 谈到，在有可用的测试网络时，可以尝试各种创新，但是到了正式网络，开发者们只能开发简单的应用。
- 朱利安谈到，外部障碍主要包括，创建基于快速变化的协议，以及如何利用标准和文档等方法对技术进行可视化。
- 埃利亚斯表示，有些地区的发展并不是完全可预见的，社区工作者也需要参与项目的维护。
- Abdel 总结道，为了让项目成功上线，开发者们需要做出一切可能的努力，以便让项目可以安全且高效的上线。
Starknet 社区更新#
- Tom Brand 感到兴奋并激动，每次参加 StarkNet 活动，他感受到这比他自己更大。
- 三个月前在里斯本定下的优先事项：提高性能（特别是吞吐量），发布 Cairo1.0 Alpha 2 和为无缝 Regenesis 进行进展。
- Cairo1.0 Alpha 2 在两周前发布，不是最稳定的版本，但开发的速度相当快。
AirScript（Ploygon Miden）零知识 DSL 语言#
・AirScript 是一种用来描述 AIR 约束的 DSL
・AIR 约束是将计算转换成代数式语句或多项式表达式来描述
・Stark 证明生成过程中会用到 AIR 约束
・AIR 约束可以分为边界约束、有效性约束和转换约束
・以斐波那契数列为例，边界约束用来指定输入和输出，转换约束用来描述一行中两列之间的关系
・AirScript 用来编写以上 AIR 约束
・AirScript 编写约束更为方便，可以非常简单有效地完成证明任务
Aztec 隐私链#
・Aztec，专门利用零知识证明实现端到端加密的区块链交易。
・本演讲重点探讨如何使用零知识证明来实现隐私保护的可编程区块链架构，而不使用非对称加密。
・区块链可被视作状态机，可以接收交易输入、遵循预先定义的规则来更新状态。
・但是有了隐私的状态时，不仅仅需要加密，也必须考虑拥有者的问题。
・要确保网络能被开发者而非密码学家编程，需要支持合约能够调用其他合约并且不需要理解抽象层面的概念。
・他们正在使用 Merkle 树来储存加密状态，但这还需要考虑到保护用户信息和防止有人监控交易等问题。
・为此，他们认为结合零知识证明和现有的传统智能合约编程语义是最佳选择。
Homomorphic Encryption 隐私智能合约#
・由技术加密学家 Pascal 提出，当前在区块链上普及的全公开特性可能带来负面影响；
・霍霍默费尔（Homomorphic Encryption）是一种加密技术，可以在加密状态下处理数据而无需解密；
・在 Zama，技术团队正在利用这种技术在区块链上发挥作用，以缓解负面影响；
・通过利用 FH，可以加密区块链数据以及状态，并且不会使其公开；
・此技术可以用于建立一个加密的市场进行数据处理，保护本质数据；
・其他新模式，例如身份识别、认证和不可见竞拍，也可以通过 FH 轻松实现；
・此外，FH 还可以创建一些游戏，如扑克、电子竞拍，而这些都不可能在无 FH 的情况下实现。
Lookup Protocols#
- 查找协议是用于证明给定值位于某个范围之内的技术。
- 传统的查找协议需要消耗 n＋1 次约束，而最近的研究可以将消耗降低到 m＋N 次约束。
- 如果查找的次数与表的大小相等，那么就可以将每一次查找的消耗降到 1 次约束。
- 用于实现这些查找的技术称为 CachedQuotients。
- CachedQuotients 基于 KZG 多项式承诺模式，它需要一个设置阶段，即根据一个隐藏的随机数 X 生成一串群元素。
- 由此，这种技术可以在给定表格后，以最少的约束消耗检查元素是否位于该表中。
- 这一连串研究是非常有趣的，并可能改变未来的查找协议。
Sandstorm Cairo 证明器 消费级#
・Sandstorm 是一种 Cairo 证明器，旨在在消费类设备上快速运行。
・Cairo Runner 可以接受一些 Cairo 源代码，输入信息并产生输出，同时生成 memory.bin 和 trace.bin 文件。
・批准过程中，Cairo 批准者从这两个文件中提取值并将它们提升到巨大的表格中，这称为执行跟踪，并为 generating Stark proof 所必需。
・该表格中也加载了 memory.bin，然后定义一组约束来映射相应 correct state transition。
・该表格越垂直堆叠，越耗费时间，但证据越小。
・Sandstorm 将该表格和一组约束传递给 Stark Brewer，以生成证据。
・通过源代码，可以验证该表格及其约束是否符合 Cairo 程序的正确执行。
