相关新闻
AngelList 推出受监管基金 USVC，向零售用户开放私募公司投资
创投平台 AngelList 推出受监管基金 USVC。USVC 是一只受监管基金，持有多个前景看好的私募公司股权。零售用户无需认证资格，最低仅需 500 美元即可参与投资。目前早期投资组合已包含 xAI、Anthropic、OpenAI、Sierra、Vercel、Crusoe 和 Legora 等公司。
StarkWare 宣布裁员并重组为两个部门，聚焦营收与 Starknet 开发
据 The Block 报道，StarkWare 联合创始人兼首席执行官 Eli Ben-Sasson 在周一全员大会上宣布裁员并进行组织重组，公司正从基础设施开发扩展到构建自有产品，以获取有意义的收入。Ben-Sasson 表示，裁员旨在回归「创业模式」并加速产品与市场的契合，公司将全面掌控包括 Cairo、Sierra 和 STARK 加密技术在内的验证堆栈，以减少对外部 Layer 1 网络和应用团队的依赖。裁员规模及时间表未予披露，受影响员工将收到邮件邀请与经理一对一沟通，公司承诺在多数司法管辖区提供超出法律和合同要求的遣散费。此次重组将成立两个独立业务部门：由现任首席产品官 Avihu Levy 担任总经理的应用部门（专注于营收），以及由现任产品主管 Tom Brand 担任总经理的 Starknet 开发部门。此外，首席财务官 Ran Grinshtein 将负责财务、人力资源、安全和 IT；Gideon Kaempfer 出任首席架构师；首席运营官 Oren Katz 已提出离职申请，将留任至 4 月底。
Starknet 将发布 Cairo 2.7.0 版本，拟于 8 月 26 日进行主网升级
据 Starknet 社区消息，Cairo 2.7.0 即将发布。目前 2.7.0-rc.3 可用，可以由社区进行测试。此版本涉及 Sierra 升级到 v1.6.0，这意味着用 v2.7.0 编写的合约只能部署在 Starknet 0.13.2（含）以上版本中。测试网升级计划在 8 月 5 日进行，主网升级计划在 8 月 26 日进行。
Starknet 发布新版本 Cairo v2.5.0，涉及高级编译器变化
Starknet 发布新版本 Cairo v2.5.0，该版本只涉及高级编译器（Cairo 至 Sierra）的变化，因此可立即在 Starknet 测试网和主网上部署。该版本还引入 Sierra 的各种功能，消除匹配表达式中存在的许多限制，引入更友好的循环语法，添加 pub 概念等。
Cairo 1.0 的内部机制：探索 Sierra
译者导读 Cairo 是一个图灵完备的 ZK 友好高级语言，也是以太坊 L2-Starknet 的...
What’s Starknet: a diffirent zkVM tech stack
SummaryHow Starknet Works: Compares to Ethereum...
Starknet 走向成熟：2023 StarkWare Sessions 回顾
原文：StarkWare Sessions ’23: Two STARK Days 翻译及校对：「...
通过 Starklings 学习 Cairo 1.0 ( 一 )
Starklings 在之前的 Cairo 0.10 版本的学习中，发现一个非常神奇的工具 Starkl...
化繁为简：Cairo 1.0 如何改变 StarkWare 的编写范式
1 月 5 日，StarkWare 宣布正式推出编程语言 Cairo 1.0 公开版本，正式取代为期两年的测试、预览版本，也标志着使用该语言在 StarkNet 上编写智能合约已经成为可能，同时也会兼顾高效的执行效率，成为 ZK 系 Layer2 Rollup 技术派的里程碑事件。
资讯：StarkNet 对 Cairo 编程语言进行全面改革，以方便开发人员采用
StarkWare 推出第一个公开版本 Cairo 1.0，将在 StarkNet Alpha 版本中加入对 Cairo 1.0 的支持
零知识证明技术开发公司 StarkWare 宣布推出第一个公开版本的 Cairo 1.0，Cairo 于 2020 年作为图灵完备的编程语言首次推出，用于高效编写 STARK 可证明的程序。Cairo 1.0 中最重要的变化之一是语法，新版本的 Cairo 允许编写更安全的代码。Cairo 1.0 还引入了 Sierra，这是一种新的中间表示，可确保每次 Cairo 运行都可以得到证明。StarkWare 表示，预计在接下来的几周内，提供与旧版本相同的 Cairo 1.0 功能，对 StarkNet 合约的支持将在即将到来的 StarkNet Alpha 版本中加入。
核能：过去、现在和未来
揭开对核的误解
StarkWare 将推出 Cairo 1.0 版本，支持 StarkNet 的无许可网络要求
零知识证明技术开发公司 StarkWare 宣布编程语言 Cairo 1.0 版本，核心将是中间表示层（intermediary representation layer）Sierra，可增强可用性、安全性和便利性，支持 StarkNet 的无许可网络要求，并将简化和保护协议，目前开发已经在进行中，预计第一个版本将很快发布。此外 Cairo 1.0 也会影响 Regenesis，StarkWare 将在未来几周内发布有关 Regenesis 的更多信息。Foresight News 注，Cairo 语言是 StarkNet 的原生智能合约语言，于 2020 年推出。
纽约最高法院批准比特币矿业公司 Greenidge 继续在塞内卡湖运营
纽约最高法院驳回 Sierra Club 和 Seneca Lake Guardian 提交的停止比特币矿业公司 Greenidge 在纽约塞内卡湖的加密货币挖矿项目的请愿书，法官 Daniel J. Doyle 判定该项目不会影响塞内卡湖的空气与水质，Greenidge 也表示会遵守纽约州对环境方面的要求。