starkware2023 大会前阵子如火如荼,这个月终于抽空可以整理下。我将分几期来给大家介绍,纯干货!
Empiric Network 预言机 **#
Empiric Network 利用 StarkNet 构建更好的 oracles。
・目前,大多数 oracles 都是离链网络,只能传递最终结果,无法验证数据来源及计算方式。
・将出现新的有效证明工具用于构建更好的 oracles,其性能好、安全性高。
・Empiric Network 已经建立在 StarkNet 上,超过 10 个月,提供最好的区块链供应应用程序。
・构建一个理想的 oracle,既要验证数据的来源,也要能成果数据混合,且高频率更新。
Empiric 将出第二个版本,是 starknet 的 L3,L3 能够控制网络的频率以及更新频率或数据源,所以我们如何与系统进行多链交互,基本上是在第 3 层上传递我们拥有的数据到任何其他链,因为有存储证明。它将建立于 substrate 之上,要在 substrate 中添加 Cairo VM,这样我们就可以使用 Cairo 进行部署智能合约并在 starknet 之上验证它。
・Ethereum 区块链可以为 oracles 提供透明性、可验证性和可组合性。
・Empiric Network 已经构建了许多类型的数据流。
switchboard 预言机协议 *#
switchboard 提供了一种无需预先许可的、开发者可定制且多条链兼容的 Oracle 协议
开发者可使用此协议构建 data feed,如汇率、体育数据、NFT 价格等。
switchboard 的架构就包括 Oracle Job、Data Feed、Oracle 及 Crane,分别代表 job 设置、配置的 data、数据的获取及任务调度。
・Oracle Job 可使用开发者设计的模板来获取信息并营造流动性。
・Data Feed 提供资金,以支付 oracles 执行服务。
・Oracle 内部有容器,用于抓取资源及管理网络中不同机器的分配。
MPC 钱包 *#
- Dima Kogan 介绍 MPC 钱包,这种钱包由组织群体共同使用,确保每个交易都能得到所有人的批准
- 我们正在建立一个针对 Decentralized Finance(defi)的机构 MPC 钱包,其支持 EVM 和 Non-EVM 的链,以及添加更具意义的交易环境信息,从而有效预防不当交易
- Starkware 开发的 Dapps 使用没有椭圆曲线的 ECDSA 签名方案,但这些标准的钱包(比如 MetaMask 和 Ledger)并不支持。
- 我们正在开发的 Institutional MPC 钱包,可以支持 defi,L1 Ethereum 钱包,浏览器扩展和 API,以满足不同客户的需求
Heardotus,通过递归证明链数据#
・介绍 Heardotus,它将存储证明与零知识证明相结合,以跨链或多个链访问历史数据和当前数据。
・比特币将首创了一种可以从父哈希回溯到创世块的链特性。
・证明本身也可以用来计算,因此这种递归证明的概念产生了。
・证明本身的计算代价比核实本身的计算要小 - 因此采用零知识证明。
・零知识证明具有隐私特性,即只有完成计算的一方知道私人输入。
・可以通过从单个块开始一直回溯到创世块来证明整个区块链。
・通过证明递归,可以生成小而快速的证明,这将使验证效率大大提高。