Allen

ENS 在 Starknet#

• Ethereum Name Service（ENS）是一种将字符名称映射到以太坊地址的服务，以便更方便地发送以太坊代币。
• ENS 还可以用来创建去中心化的网络，用于放置 JPEG 图像和 NFT，还可以使用 IPFS 的内容 hash 确保不受审查，可以把文本记录放到 ENS 中，比如 Twitter 地址，NFT 信息，还可以把 ENS 看作 website 3.0 的用户名。
• ENS 上的锁定网络允许用户控制 ENS 名称，将锁定资金转移到 StarkNet，从而为用户提供跨链转换的可能性。
• 通过智能合同，RGN ENS 允许用户在 StarkNet 上拥有 ENS 名称，包括他们的以太坊 ERC20 代币，NFT 和其他类型的资产。
• 这对于智能合约开发者来说非常有用，因为他们现在可以将两个以太坊网络的资产连接起来。
• 这已经有助于降低了跨链事务的成本，以及提供安全的去中心化身份系统。
• 通过 ENS，开发者可以创建新网络、新联盟和更可扩展的去中心化应用。

座谈会：区块链，数据和报告#

• David Myhal 以数据探索区块链而进入该领域，同时运营 Crypto fees 等网站。

Patrick McCory 是一名研究员，主要负责为 DOPS 和如 MetaMask 等钱包提供数据。

• Bartek 是 L2Beat 和 MakerDao 的研究员，并共同创立了数据分析公司 TokenFlow。

Larry Cermak 是 The Block 的 VP of Research，负责本次讨论会的主持。

• 数据能够揭开市场推广等浮云，以更深入的理解当下的区块链情况。
• Adam Fiora 负责将区块链数据转换为用户可理解的格式。
• 讨论合约如何运作以及支持每笔交易所需的 gas 是重要内容。
• Alameda 背后存在的潜在风险以及数字货币黑客可能情况要求我们学会更好的阅读链上数据，以提升数据基础设施建设。

座谈会：StarkWare 与企业财务的未来#

1. David Levecki，CEO 和联合创始人，引入真实的金融世界到区块链，使用第二层，以实现数字货币 CBD 和现实世界资产项目，提高隐私性、降低成本和提高速度；
2. I，开发公司 Applied Blockchain 的创始人和 CEO。他们于 2015 年成立，研发各种区块链应用；前三年专注于企业，有 20 年的电信、银行和保险工作经验；之后三年投资于加密，如 NFT 市场、D5 协议、桥接协议、智能合约等；
3. Louis，Starknets 和 Rebuilding Maker 成员，也是大金融企业的区块链策略指导者；
4. 将传统的 panel 形式做出改变，促使台上的嘉宾拥有更强烈的观点，彼此也可以进行讨论；
5. 第一个问题 “企业区块链是否有效？”，如果把企业定义为用私密区块链建立私有核心和私有局域网，比不上私用数据库，不失有效；
6. 允许观众提出问题，但问题要求简短，主持人有权利拒绝或否决问题；
7. 台上嘉宾均有高超的技术背景，他们认为 Starck Ware 能够为区块链发展提供很多可能性。

Sorare 卡片游戏#

・Sorare 是一款拥有许可收藏品的虚拟游戏，玩家可以直接从游戏中购买或者交易使用 nfts；
・现在游戏正在快速发展，每周活跃用户超过 100 万，每天有大约 3 万张卡片可以交易，每周大约有 700 万美元的交易；
・拍卖市场是英文拍卖的形式，价格的发现是由市场决定的，这也能够符合许可协议，并且是一款好玩的游戏；
・用户对于拍卖市场的要求是快速响应，他们希望付款得到立即反馈；
・Sorare 使用 Starkx 进行迁移，2021 年进行了迁移；
・用户可以在每周结束时得到奖励，包括 nfts 以及实物奖励，例如比赛门票、衣服以及特殊体验；
・拍卖市场游戏是一款策略性游戏，最后一分钟将很有悬念，同时也非常有趣。

Visa 谈话#

1. 戴维・恩格尔（David Engel）和 Cuy Sheffield 谈论了 Visa 对 Web3 的兴趣。
2. Cuy Sheffield 是 Visa 的加密主管，他在 2015 年从 Trial Pay 获得了 Visa 的收购，他对支付技术有着浓厚的兴趣。
3. Visa 视区块链为全球，24/7 运营并且有权限的技术，他们希望成为网络中的网络，以满足不同客户移动价值的需求。
4. 在 Visa 内部，区块链被看作是一种机会，他们关注的是如何利用区块链网络，将其连接到现有产品，并在其上构建崭新的品牌。
5. Cuy Sheffield 说，他们在每周的过去几年里，一直努力了解区块链知识。
6. Visa 提供的解决方案可以改善消费者、商家和 B2B 之间的交易类型。
7. Visa 内部的员工大多关注支付技术，他们被充满激情地致力于将区块链和支付技术相结合。

Cairo 1.0 尝试#

・Cairo 1 是一种高级、图灵完备的语言，用于创建可证明代码
・Cairo 1 基于 Qazim，它增加了安全性和简洁性
・这种语言与 Rust 非常相似
・Cairo 1 有用户、常数、枚举、函数、变量等
・Cairo 1 拥有与 Rust 非常相似的基本语法
・Cairo 1 添加了特征，即使失败，运行也可以被证明

通用 ZK 计算层 RISC ZERO#

・戴伦・雷得福（Brian Redford）在 StarkWare 上研发了新的区块链 Bonsai 网络，它可以用作通用的 ZK 计算加速器，可以让应用开发者利用其创造力发挥到极致；
・第一个产品是 Stark 基 ZK VM，可以实现安全虚拟机且具有可靠的物理指令集；
・该平台可以被应用于浩斯蒙古（Matchbox 神盒游戏）或是其他复杂的一类游戏，例如：Doom；
・Bonsai 可以把全球状态和包括 Starknet 在内的各个链上运行的编程语言结合在一起；
・Bonsai 可以提供各种证明程序，比如 Doom 的执行证明，这些证明可以被合并并通过默克尔树来查找；
・通过 ZK 再归纳，可以把大量计算缩减到独一无二、可以被智能合约参考的可验证状态路由上；
・Bonsai 致力于减少程序递归时间，使时间低于 1 秒，从而实现无限的可扩展性。

zkEVM 上下文中的递归 STARK Polygon ZKEVM#

・Jordan 是 Polygon ZK EVM 的技术负责人，今天将解释如何聚合多个区块到一个证明中
・原始的 ZK EVM 电路非常庞大，是一个使用 Deluxe Brain Field 的 Stark 电路
・输入数据类似于区块链，哈希值会形成链条，以区块（端点）之间的证明为特征
・为了将多个区块聚合到证明中，需要用另一种电路（开发语言 circum）进行验证
・这种电路是一个大约 2MB 的 Stark 电路，在引入一定的放大因素之后，它的宽度超过 1000 列
・该技术利用递归 STARK 证明将多个区块聚合到一个小证明中，并将其验证
・STARK 证明能够将全球交易从每个区块转换为一个经过验证的证明，从而使交易更加快速和有效。

FRI 的健全性#

• 首先说明了演示会涉及几何学深度数学，然后重点关注 FRI proof 的可信度
• naive attack 就是替换原函数为 degree 小于特定点数的插值曲线，会受到每一次查询会偏离设定点的概率（raw）的影响
• 最后一轮的防范则是为概率 1 的独特的概率，以此和函数值比较，将其转换为一个最大允许点
• naive attack 提供一个低估解决方案
• 其安全性估计由函数和指定曲线的拟合度决定
• 拟合度随着查询量的增加而下降
• 在实践中，最有效的是达到查询量大小的曲线。

FRIs 和其他美味佳肴#

• 首先说明了校验计算的总体概念：将强大的计算机（即 “云”）与弱势的验证者互相交互，希望将一些计算工作外包给云端。
• 其次，介绍了几个证明机制：显示工作（需要做和处理者一样多的工作），可随机检查的证明（要求可以通过少量的查询帮助验证者验证工作），以及可接近的交互式 Oracle 证明（要求验证者验证工作时在线性时间内能得到正确答案）。
• 接着提到了几种检查多项式低度的协议，包括普通的 “FRI”、DEEP FRI、以及椭圆曲线 FRI。
• 本次演讲的重点是讨论将计算外包给云端，如何确认这些计算是否正确。
• 提示：其中的主要解决方案是证明你的工作，同时提供一些提示，以便验证者有能力通过少量的查询进行验证。
• 最后，指出了在线性时间内完成验证工作是 IOPP 模型中应该达到的最终目标。

哈希函数的安全边界#

1. succinct arguments 是加密学上的计算完整性证明；
2. 证明的组成由概率证明和加密提交组成，其中概率证明负责证明的计算，而加密提交则决定了证明的加密成本、抗量子性等品质特征；
3. 今天将重点讨论概率证明加上哈希函数的安全性界限，着重在 PCPs 及其哈希函数上；
4. 概率证明有 interactive、PCP、iota 等类型，能够赋予 verifier 不同的权力，如多个 provers 同时互动权；
5. 概率证明对 Oracle access 也划分为 point query、polynomial query 和 linear query 等类型；
6. starkware 使用的技术是 PCPs 加上哈希函数；
7. 概率证明和加密提交的安全性决定了证明的安全性。

StarkTank：创业推介#

1. 每次投资项目大概两分半钟，活动投资者可查看各投资项目有关信息，并及时反馈；
2. Alliance 与投资项目领导共同分享，帮助投资者把握机会，建立起投资项目之间的桥梁；
3. 由 Joey 担任主持，向大家介绍这次创业峰会的主要内容；
4. 投资项目发言时间不能超过 2 分半钟，否则会隐匿进入下楼观众席；
5. Jocelyn 加入会议，担任 MC；
6. 第一个投资项目是 Atlantis，是一个不透明，不流动，只提供给高净资产人士的中心化私人债券市场，市场容量高达 1.5 万亿美元。
7. RedStone Oracle
8. Giza 等等项目

如何不构建编译器#

• Bob 想要为 Bob 语言构建一个编译器
• 编译器由语法分析器，类型检查器和编译器组成
• Bob 决定构建一个无法犯错的分析器，永远都会返回语法树，并累积错误
• Bob 添加了语言服务器，以支持自动补全
• Bob 的编译器变成了一个 API 库，提供语法和类型信息
• 每当 Bob 使用自动补全时，他都需要等待几分钟
• Bob 构建了一个自动补全等功能完备的语言服务器，他非常高兴