专题研究N991：区块链项目Starkware
专题研究N991：区块链项目StarkWare
按：区块链项目，StarkWare，
@StarkWareLtd，
Bringing STARKs to a blockchain near you
，
starkware.co，2018年1月 加入，
0 正在关注，
2.7万 关注者，
据 Tech Crunch 5 月 25 日报道，以太坊扩展解决方案提供商 StarkWare 完成 1 亿美元 D 轮融资，估值 80 亿美元。该轮融资由 Greenoaks Capital 和 Coatue 领投。Tiger Global 以及其他未披露的新老投资者也参与其中。根据公司发布的消息，这次 D 轮融资还有一笔二次交易，员工出售了一些股票。迄今为止，StarkWare 已经筹集了大约 2.6 亿美元。
据Calcalis Tech 3月10日消息，以太坊Layer 2开发商StarkWare正以60亿美元估值筹集新一轮融资，该轮融资仍未结束，可能至少融资1亿美元。
此前消息，总部位于以色列的以太坊Layer 2开发商StarkWare完成5000万美元C轮融资，现估值20亿美元。该轮融资由红杉资本领投，现有投资者Paradigm、三箭资本、Alameda Research和Founders Fund、IOSG等参投。
据The Block 11月16日消息，使用ZK-rollups技术的以太坊第2层开发商StarkWare在C轮融资中筹集了5000万美元，其估值已达20亿美元。该轮融资由红杉资本领投，现有投资者参投，包括Paradigm、三箭资本、Alameda Research和Founders Fund。StarkWare联合创始人兼首席执行官Uri Kolodny表示，这是一次“机会主义”筹款，这意味着该公司已经盈利，但获得了新资金以尽快发展其团队和生态系统。Kolodny称，StarkWare将在本月晚些时候推出StarkNet。通过使用StarkNet，任何开发人员都可以无需许可地编写和部署他们的智能合约。
置顶推文:tarkNet 之旅，船长的日志：到达行星 Alpha,
以前没有人去过的地方：
任何开发人员,
任何智能合约,
在 ZK-Rollup 上部署,
任何交易的任何用户,
都是未经许可的。
经 STARK 验证的链下，链上验证。
https://medium.com/@starkware/starknet-planets-alpha-on-ropsten-e7494929cb95,很高兴与
@Scooletz
,
@tkstanczak
，其余的
@nethermindeth
团队。
和他们一起工作同样有趣
@dOrg_tech
团队在这！
下午7:32 · 2021年6月14日
百万用户，150多家足球俱乐部作为合作伙伴。
@SorareHQ
，体育 NFT 中最令人兴奋的项目，上周与 StarkEx 在主网上推出（已经有 35,000 笔交易！）。
为全球数百万足球迷提供快速终结和无缝体验。上午1:14 · 2021年7月27日·
StarkEx 3.0 - 上线主网上线,
什么是新的？
, L1 Vaults：支持 DeFi 池化和 dAMM
, SHARP：独立的 dApp 共享证明，并分摊燃气费。为所有人降低 gas/tx。
这很酷。我们知道。阅读更多。
https://medium.com/starkware/starkex-3-0-now-live-on-mainnet-57174a5f8beb,下午10:33 · 2021年7月27日
呼唤所有有限域：
你们都有使用内部点的 FFT！
是的，即使是大小为 2q+1, q prime 的安全素数域！
线程中的详细信息（末尾带有道德）和#math纸带
@starkwareltd
队友 Dan Carmon、Swastik Kopparty 和 David Levit。
1/7 每个人都需要 FFT（快速傅立叶变换）：信号处理、机器视觉、深度学习、密码学证明、模式匹配……
FFT 有什么作用？
2/7 FFT 变换多项式< n 以标准表示和 a_i * X 给出i对其在 n 点上的评估。
FAST 意味着它在 n log n 时间内完成，比需要 n 的幼稚方式快得多2 ( n 平方) 步长并分别评估每个点。
3/7 但是... FFT 仅在评估点为 NICE 时才有效。
NICE 表示这些点属于一组大小为 2^k，整数 k 的组。
那么如果该领域内没有这样的 NICE 团体会怎样呢？
（例如，当字段的大小为安全素数 2p+1 时，其中 p 是素数）,
4/7 以前的解决方案巧妙地为该领域添加了人为的统一根，移动到更大的代数世界并在那里做事。这使 FFT 变慢了（通过因子 x log log n）,
5/7 我们的论文找到了一组 NICE 点，它们不是一个组，但确实位于场内，对于任何有限场。6/7 这些点来自在场上的椭圆曲线中取一组陪集，并将这些点投影到场上。
在任何有限域上有许多不同大小的椭圆曲线，足以在其中一个找到合适大小 2 的陪集**克。7/7 道德：即使是最黑暗、最邪恶的有限域，也有一条天使般的椭圆曲线，看着它并帮助它在紧迫的时候评估事物。
下午8:57 · 2021年7月27日
关于我们最近的短线#math关于椭圆曲线快速傅立叶变换 (EC-FFT) 的论文，对于那些读到最后的人来说，这是一个重要信息。
我们的扩展解决方案
@StarkWareLtd
是活的！
通过成功迁移，我们消除了社区面临的最大摩擦，并为向全世界的足球迷敞开大门奠定了关键基础。
在这里阅读所有相关信息https://medium.com/sorare/were-live-on-our-scaling-solution-starkware-62438abee9a8
百万用户，150多家足球俱乐部作为合作伙伴。
@SorareHQ
，体育 NFT 中最令人兴奋的项目，上周与 StarkEx 在主网上推出（已经有 35,000 笔交易！）。
为全球数百万足球迷提供快速终结和无缝体验。
奥林匹克*结果：以色列第 7！ （与意大利并列）
以色列是唯一一个人口排名前十的国家< 30M
（人口约 9M）。
恭喜
@StarkWareLtd
's Dan Carmon，以色列主帅（领队）。
详情在这里：https://tinyurl.com/5cybv3t3,
* IMO（国际数学奥林匹克）,
The real heroes are the team members:
Yair Shoham (Gold) ,
Yahel Manor (Gold),
Almog Wald (Gold),
Omri Zemer (Silver),
Shahar Friedman (Silver),
Dror Frid (Bronze) ,
More details here:https://t.co/qqyo9qwQJR?amp=1,
我希望媒体能像对待另一届奥林匹克运动会的身体成就一样对待这种精神上的成就。
第一个 StarkNet dapp！很刺激:)
翻译自 英语
出席
@EthCC
?
StarkNet 新闻在 St Germaine 房间的 20 分钟内。
包括演示和惊喜。
希望能见到你本人。
我们可能不知道会发生什么。
但我们确实知道它从哪里来：
通过
@StarkWareLtd
的 StarkEx。
@Immutable
,
@SorareHQ
,
@veve_official
和
@Marvel
从而达到了 STARK 规模。
StarkNet Alpha 上线了！
我们自己的
@avihu28
将在
@EthCC
关于 StarkNet -
它的主要特点是什么？
什么是今天可用的，什么是即将推出的？
星期三。 7 月 21 日，上午 11:45，圣日耳曼(+1地面）。
下午9:21 · 2021年7月20日
L1 到 L2：“喂？”
L2 到 L1：“你在找我吗？”
StarkNet Alpha 1 出来了，它支持 L1 <> L2 交互和链上数据。
在这里阅读：https://medium.com/starkware/starknet-alpha-1-90c3348cca4f,
请参阅我们的新 StarkNet Alpha 1 教程：lang.org/docs/hello_starknet/l1l2.html
在两个类别中均获得第一名
@StarkWareLtd
系统！
您是否注意到上周在 StarkEx 上 3 天内铸造了 4,100,000 个 NFT？
你为什么要？ STARK 证明的吞吐量是多对数的，log_2(4.1M) ~ 22。
铸造了 400 万个 NFT
@Immutable
X 为
@GodsUnchained
.
想想你需要的所有气体……哦，等等！
我们有 StarkEx。
它只需 9 个证明就可以证明所有 4M txs。
这是缩放。
谢谢，
@tylercowen
发布此对 STARK 的介绍和
@StarkWareLtd
你博客上的技术！
第一届以色列区块链研究日的谈话录音，由
@StarkWareLtd
和
@IDCHerzliyaRRIS
.
https://tinyurl.com/zuhcbpph,
下面线程中的个人谈话链接,@PapiniShahar
的
@StarkWareLtd
在
用于高效 ZK-Starks 的图灵完备 CPU AIR,
亚伦·卡纳来自
@Microsoft
和
@IDCHerzliyaRRIS
在
Bitcoin+：对 Utxo Leger 中复杂支出条件的廉价支持,来自 Aviv Yaish
@HebrewU
：
正确的加密货币 ASIC 定价：矿工是否支付过高？玛雅多坦来自
@HebrewU
：
高效的多维近似共识,
就在办公室的另一天，证明了 500K NFT 批次
@immutable
X. 你知道，平常。
Tl;dr 明天的 StarkNet @ Home：
1. 从 STARK 到 StarkNet,
2. StarkNet 功能，现有 + 未来，由
@bbrandtom,
3. DIY StarkNet 智能合约
@LiorGoldberg2,
在这里免费注册，1/ 从 STARK 到 StarkNet：
仅第一个
@StarkWareLtd
利用 STARK 的可扩展性。
现在每个人都可以。
这是什么意思？ （每笔交易的天然气成本呈指数级降低）,
哇！告诉我更多！
2/ StarkNet 特征由
@bbrandtom
- StarkNet 产品经理：
我们已经拥有完整的图灵完备功能和全局存储，您可以编写和部署任何智能合约。
下一个 - L1 <> L2 交互、更多工具和永恒的幸福。
3/ DIY StarkNet 合约编写和部署，配合
@LiorGoldberg2
StarkNet 工程负责人和开罗共同创建者：
1. 让我们一起写一个 AMM 智能合约,
2.部署，,
3. 改进、重新部署,
4.发送tx,
5. 欢呼吧！
代号：费米子！
目标：构建 StarkNet 的全节点
核心团队：
@realLedgerwatch
和
@mandrigin
， 的
@ErigonEth
(fka
@turbogeth
) 名声。
他们在招人！
如果您认为（zk-rollups X 全节点）比飞行汽车更酷，请联系。
StarkNet 生态系统。这是一个成长。
看，总有一天你会后悔没有早点到达 StarkNet。
你会羡慕那些看到它的激光眼睛的人。
你会问你怎么没赶上火车。
除非……您在太平洋标准时间周三上午 9 点加入（免费）STARK @ Home 节目。
EVM 到开罗编译器：
我们完成了接力赛的第一站。
现在将接力棒交给努比亚团队
@nethermindeth
， 由...领着
@Scooletz
&
@tkstanczak
.
他们在招人！
如果您认为（zkp X PL X 编译器）比飞行汽车更酷，请联系我们。
StarkNet 生态系统。它在成长。
我们的 StarkNet Planets Alpha 在 Ropsten 上直播，激动人心,
以下是一些有用的链接：
想玩一个 AMM 示例吗？
去https://amm-demo.starknet.starkware.co/mint,
薄荷和交换，然后……>>
您可以查看 Voyager Block Explorer 以查看是否以及何时接受 StarkNet 交易。
此区块浏览器将显示示例 AMM 以及您（是的，您！）自己部署的合约的交易。https://voyager.online,
需要更多信息？
在此处查看我们的文档和教程
https://cairo-lang.org/docs/hello_starknet/index.html
tarkEx 扩展了大量时间。
多大？自推出以来：
500,000 次交易
@dydxprotocol,
500,000 次交易
@deversifi,
批处理、证明它们并在链上验证它们。
分摊gas费用并支付低至1,100 gas/tx的费用。
恭喜我们的朋友在
@dydxprotocol
在他们的 C 轮融资中！
我们很自豪能够扩展您的平台，并很高兴看到您的业务增长,
这是巨大的：
实用的免许可 STARKsmart 合约。
像
@ethereum
，但由于 STARK 的可扩展性，它具有成倍扩大规模的潜力。
至关重要的是，无需数学/密码学博士学位即可对其进行 BUIDL。
我们很乐意支持
@ETHGlobal
的#HackMoney2021黑客马拉松！
这个黑客马拉松是关于 DeFi - 使用我们的可扩展引擎 StarkEx 来构建您的项目。
有关此活动的更多详细信息：https://defi.ethglobal.co
下一个等待使用 ZK-Rollup 扩展的 dApp 是什么？
下午10:04 · 2021年6月10日
这是给我们的韩国读者的：我们在 Coindesk Korea 的最新采访http://www.coindeskkorea.com/news/articleView.html?idxno=73960
向上和向上,
第一的$B用了不到 5 周，第二个$B用了不到 3 周。
@dydxprotocol
在 4 月推出的 StarkEx 之上，并且已经在 $2B .
原因？以低 gas 成本快速安全地进行交易：
平均 1,100 gas/tx。
我们的下一个 ELI5Words 挑战：
ZK-Rollup to OR 就像< X >到<是>
我们 StarkEx Documentation 中文版上线啦。🎉
https://docs.starkware.co/starkex-docs-v2-chinese/
保存日期：第一个以色列区块链研究日。 6 月 6 日星期日，由
@StarkWareLtd
和
@IDCHerzliya
StarkEx 的黑色星期三指标
@dydxprotocol
：
28,000 笔交易，包括 4,600 笔清算,
每笔交易 1,275 gas（平均）,
每个证明 4,700 次交易（平均）,
在波动的 17 小时窗口内，所有这些仅消耗了以太坊天然气的 0.06%,
下午5:40 · 2021年5月24日
有效性 pfs 不需要将见证置于链上。欺诈证据do.这里是
@EdFelten
@gluk64
我讨论这个
@Delphi_Digital
播客（进入 40 分钟）。
当我们理清有效性证明（“ZK”汇总）和欺诈证明（乐观汇总）之间的核心差异时，有时会很激烈。
感谢组织！
我支持这项努力。项目解释其安全实践非常重要。
很高兴回答一组类似的问题
@StarkWareLtd
的 L2。
StarkEx 再次得分！
@SorareHQ
- 以太坊上发展最快的体育 NFT 平台 - 将于 7 月在 StarkEx 上推出
恭喜
@deversifi
并兴奋地支持他们！
他们正在使用以太坊构建高性能 L2 DEX
@StarkWareLtd
多年来......在所有酷孩子在 DeFi 中所做的事情之前。
在 L2 上以每秒 9000 笔交易进行交易：http://deversifi.com
下面是开源 ethSTARK 的文档。
新的！第 5 部分：IOP 稳健性/安全性的证明。
由教授审核。由 Amnon Ta-Shma 和 Venkat Guruswami 资助
@ethereum,https://eprint.iacr.org/2021/582
@dydxprotocol
的 StarkEx 是第一个在累积交易中处理 $1B 的 Rollup（用时不到五周）。
迄今为止的一些统计数据：
1300-2000 gas/tx（包括链上数据！）,
25 万笔交易,
305张样张,
这就是您缩放的方式。
区块链上的传统业务需要只有一种技术才能实现的规模
...
STARK 可扩展性
@StarkWareLtd
还记得人们说 STARK 不切实际吗？
有趣的是，根据一些人的说法，情况仍然如此。
有点土。
距离在 dYdX StarkEx Rollup 上达到 $1B 的累积交易量还有几天时间。
DeFi 池化即将到来
@layer2finance
的
@CelerNetwork
, 由 StarkEx 提供支持,
为什么？好吧，我们意识到你们中的大多数人都不是鲸鱼。谁知道？
通过 DeFi 池化，所有非 Whales 都将能够从 L2 负担得起的舒适度中参与 DeFi。
这是另一个由 StarkEx 提供支持的 ZK-Rollup 平台。
和
@Immutable
,
@dydxprotocol
， 和
@deversifi
已经在主网上了，最近 StarkEx 似乎无处不在？
等到他们都迁移到 StarkNet！都归功于
@CairoLang
:)
下午11:59 · 2021年4月27日·
有效性证明（ZK rollup）优于欺诈证明（乐观 RU）：
您不需要将大规模清算/市场变动期间使用的所有预言机价格放在 L1 上。
真实世界的故事，4 天前
@dydxprotocol
对区块链的直接馈送是 2021 年 3 月。
更好地通过 StarkEx 喂养它们，就像我们所做的那样
@dydxprotocol
, 带
@chainlink
.
结果：更快、更便宜的价格馈送，以及以太坊的安全性。
特别 STARK @ Home 插曲！
Madhu 苏丹教授
@Harvard
，肩上的巨人之一
@StarkWareLtd
的技术立场，谈论信息和PCP定理。
下周四（太平洋标准时间 4 月 29 日上午 9 点）
原因之一
@dydxprotocol
在最近的价格波动中表现良好的是 STARK 指数级可扩展性提供的更高的预言机价格馈送率。
更多细节：https://medium.com/starkware/dydx-now-on-mainnet-c21c84d8e342
我们的朋友在
@Immutable
创建
@GodsUnchained
在 L1。
使用 Inmutable X，我们正在帮助那些链下众神。
StarkEx 直接在 L2 上直接铸造了超过 150 万个 NFT，只有三个 STARK 证明，在< 10 气体/NFT。
这些神明，世间无小事……
https://starkware.medium.com/starkex-now-for-nfts-bfdc9f4655a2
为 StarkNet + Cairo 寻找社区经理，
@StarkWareLtd
的 L2 和图灵完备 STARK 友好的编程语言。
欢迎 DM。
1/7 关于这对用户的重要性的帖子，
STARK，汇总，L2，
@CairoLang
, StarkNet 和
@StarkWareLtd
，有继续教育的指示。
开始吧。
2/7 用户：
@dydxprotocol
由于 STARK 的 * 指数级更好 * 计算完整性，用户的 gas 费用成倍降低。
3/7 STARKs：加密证明,
1）大规模可扩展（STARK中的S）,
2) 透明 (T in STARK),
3) 精益、快速、后量子安全,
以每笔交易的摊销 gas 成本衡量，在扩展方面是一流的。
4/7 汇总：这是
@StarkWareLtd
STARK-Rollup 的首次生产部署，加入了我们的 Validium 部署
@deversifi
.
我们将继续提供客户喜欢的任何数据可用性模式。
5/7 开罗：“密码证明很复杂”。
没有了，谢谢
@CairoLang
.
具有多资产抵押和细粒度预言机的永续合约代码是用开罗编写的，这是我们对 STARK 友好的图灵完备语言。
6/7 L2：StarkNet 包裹
@CairoLang
在一个操作系统中，每笔交易的摊销 gas 指数更好。
所有人都可以编写 StarkNet 智能合约，部署它们，操作节点和证明者，提交交易，对于 L1
@ethereum
.
7/7
@StarkWareLtd,
(1) 我们正在招聘优秀的工程师和区块链研究人员（注意我们在以色列）,
(2) 我们正在寻找优秀的团队，比如
@nethermindeth,
，与开罗/StarkNet 合作。
邮件：jobs/info@starkware.co,
上午12:11 · 2021年4月7日
这
@dydxprotocol
由 StarkEx 驱动的永续合约 Alpha 产生了 100,000 (!!)等候名单上的人。
等待已经结束。别客气。
感谢 Cairo，StarkEx 可以扩展任何用例、任何业务逻辑。
L2 AMM 有分散 L1 流动性的风险。流动性讨厌碎片化。
展示 Caspian：一种新的 L2 驱动的 AMM 设计。
流动性仍然在 L1 上：没有碎片化，更好的资本效率，另一个 DeFi 乐高
令人兴奋的未来几天，因为 StarkEx 将启动主网：
高效的大规模 NFT 铸造和交易
@Immutable
X
省油的永续合约，为 100,000 人的等候名单提供服务
@dydxprotocol,
感谢 Cairo，StarkEx 可以扩展任何用例、任何业务逻辑
我很兴奋#Ethereum通过零知识证明的 layer2 缩放 vis a vis
@StarkWareLtd
宣布我们的 7500 万美元 B 系列，由
@paradigm
, 与新投资者（三箭 &
@AlamedaResearch
），还有旧的（
@PanteraCapital
,
@sequoia
,
@foundersfund
,
@DCVC
,
@Wing_VC
）。
上午12:06 · 2021年3月25日
在 L2 上 * 铸造 * 600,000 个 NFT，具有单个 STARK 证明。
铸造 NFT 的成本不到 10 gas，远低于一分钱。
@Immutable
主网上的 X Alpha 即将到来，由 StarkEx 大规模扩展。
到目前为止，L2 的去信任退出需要等待交易批次在链上得到证明。使用我们的条件转移机制，这可以在区块链时间发生。
已经上线主网上线：
@deversifi
和
@dydxprotocol
.
即将推出：
@Immutable
2cents：写得不错，严重偏向一侧（汇总）。
我的观点：Rollup 与 Validium 是一种微妙的权衡（请参阅我们的文章）。
@StarkWareLtd
尊重我们客户的决定。
@dydxprotocol
选择了汇总，
@deversifi
是 Validium。
我们两个都很酷。
生产中的第一个 STARK Rollup,
第二
@StarkWareLtd
生产系统 (+
@deversifi
),
第三名
@CairoLang
-主网上系统（+
@reddit
烤过）
这
@dydxprotocol
StarkEx 驱动的 ZK-Rollup 在以太坊主网上上线。
暂时只邀请；即将全面上市。
https://dydx.exchange/blog/alpha,
这个 StarkEx 支持一个新的用例：永续合约，一种衍生交易形式。
Cairo 强大功能的另一个例子，我们的生产级图灵完备 ZKP 语言。
下午11:08 · 2021年2月24日
1/ 开罗网络效应！
欢迎 SHARP - 共享证明者
多个独立 dApp 的 *单个 * STARK 证明 =>降低所有用户的gas/tx。
即将在主网上
@BadgerDAO
,
@dydxprotocol
,
@Immutable
,
@deversifi
，以及您的开罗 dApp。
现在在 Ropsten 上，为您的开罗 dApp。
2/ SHARP 以前被命名为 GPS - Generic Proof Service，但我们觉得这个名字，嗯，太……通用了。
我们很高兴地宣布：
@BadgerDAO
正在 StarkNet 上发布！
第一个无gas的ZK-Rollup AMM致力于代币化比特币。