Veritas 安全公司#
- 2022 年被宣布为有史以来最大的黑客活动年份，攻击者攻击了不同的生态系统；
- 芬里森安全公司提供最先进的区块链安全服务；
- 为了防止攻击，需要在开罗合约中发现和修复漏洞；
- 芬力安全提供 V 规范语言，以确定区块链事务的状态；
- Magi 是一个正式的验证器，用于证明 Cairo 代码的正确性；
- Orca 是一个用来检测 Solidity 和 Cairo 合同漏洞的模糊测试框架；
- 芬里森安全公司提供的服务可以帮助 Cairo 程序员安全检测他们的智能合同。
碳排放市场#
・点击 Guillaume 的视频，探讨区块链是如何解决碳汇市场面临的压力的。
・随着法律的支持，市场蓬勃发展，购买碳信用即等同于购买一吨二氧化碳的消除结果，目前的市场预计将达到 500 亿美元。
・实现真正的碳中和仍然存在一些问题，例如缺乏可访问性，绿色洗涤和缺乏工具以进行投资和管理投资。
・Carbonable 正在创建一个可以任何人使用的碳汇终极工具，允许个人和企业都可以参与到对抗气候变化的伟大使命中。
・Guillaume 提出了投资现在的想法，因为未来的碳汇物价将会有剧烈波动，投资现在可以节省更多费用。
・Carbonable 将构建出更加可访问性应用并且解决由绿色洗涤以及管理投资带来问题
・他们试图成为碳减排行动中的领导者，成为人们可以参与环保活动的完美平台。
Starknet 的索引 graph#
・Jonathan Lei 是 zklend 的联合创始人兼首席执行官，开发了一个基于 StarkNet 的 Rust SDK。
・存在几个难题，包括处理链折叠；受限的可编程性；另外也有新的基础设施要管理。
・The Graph 通过使用统一的遵守 GraphQL 标准的 API 和一个通用的、高性能的运行时环境，来解决这些问题。
・用户可以通过应用发送交易给智能合约；智能合约将产生事件，被 Graph Node 接收，查询对应的索引逻辑，并被执行。
・应用通过 GraphQL API 向 Graph Node 获取数据。
・可以使用任何编译为 WASM 的语言来编写索引逻辑。
・The Graph 减少了单点故障的风险，实现了可编程性和数据查询的高性能化。
shutter Network，L2 的 MEV**#
- shutter 网络提供的前所未有的解决方案，以应对包括公共区块链上市场的前瞻性和审查制度在内的威胁。
- shutter 正在尝试将虚拟加密注入基础层中立性，以对抗抢先交易和审查。
- 他们使用加密技术来在用户层面加密交易，并让区块生产者签署和确认交易的包含和顺序，而这些交易仍然是加密的，区块生产者甚至看不清交易中包含的内容，这样他们也就无法审查和前瞻了。
- 他们的目标是防止恶意移动，这通常会与前瞻行为有关。
- 他们希望将基础层中性借助虚拟加密来改善质量，以防止前瞻和审查制度。
- Shadow 是一种模块化的 L2 部分，L2 或侧链可以将其作为插件使用，以增强抗前瞻和审查的能力。
- 他们还认为一些清算处理属于正常的 Mev，但他们更加关注的是防止恶意的 Mev 发生。
ECNTT 算法 ingonyama#
- ingonyama 公司在零知识计算性能提升方面的硬件基础结构。
- 旧的 MSM 和 NTT 算法已经有着许多实现，现在正在尝试一种新的叫做 ECNTT 的变种。
- ECNTT 的基本操作是椭圆曲线加法，而不是模乘法。计算量更大，但可预计算。
- Elio 的区块链应用是 ECNTT 的一个例子，它允许隐私用户对私人数据进行操作。
- 在硬件上实现 ECNTT 带来的挑战，因为它增加了基本计算单元和访问内存的复杂性。
- 未来可能会出现一些 ECNTT 的硬件实现。
Stark 与传统机构金融结合#
・Dave Engel 是 StarkWare 的商业发展总监，他将讨论 StarkWare 和机构金融的未来。
・机构金融是否需要区块链？引用 JP Morgan 摩根银行行长 Jamie Dimon 的话来说，加密货币没有内在价值，但区块链是真实的。
・目前市场上看到的机构金融中使用区块链的例子有哪些？
・Starkex 是 Starkware 最受欢迎的平台之一，它可以为机构金融提供未来作用。
・我们正在采用 Starkware 技术，以作为机构金融基础设施的支柱，从而实现可扩展性，可见性和弹性
Visa 在 starknet 上建立了一个支付 POC，所以希望你们所有人都来看 Kai 昨天的演讲，这可能是最深入的技术 Visa 创造了一个在 starknet 上使用帐户阻塞的定期付款 POC。
・Starkware 的最终目标是连接和尊重复杂的企业客户，机器和金融领域，以便创造强大的可扩展财务链条。