StarkWare学习笔记
1/ 整体结构：
-基础技术：zkSTARK；
-编程语言：Cairo（为了最大限度发挥zkSTARK特点，加速ZK生成）；
-产品：StarkNet、StarkEx（以太坊Layer2 zkRollup，区别为前者无许可，后者有许可。）；
-衍生概念：Layer3、全链游戏等； 2/
其他技术概念：
-SHARP：区块填充方式；
-递归证明：提高SHARP效率；
-数据可用层Validium、Volition：数据模式；

StarkWare相关概念看似多且杂乱，实则像乐高一样，层层堆叠递进。

模块化项目 #Celestia 学习笔记 Part5：
1/竞品
Polygon Avail
Avail 是 Polygon 推出的数据可用性方案。实现思路与Celestia 相同。不同点在于，Celestia 使用纠删码+ 欺诈证明，Avail 使用纠删码 + KZG 多项式承诺（KZG Polynomial Commitment）。

https://twitter.com/GodotSancho/status/1595088028380581890

1.1/
轻节点使用数据可用性抽样 DAS，用密码学方式核对 KZG 多项式和证明就可以，不需要下载原始数据。

相比之下，Avail 实现难度更大，在完全实现的情况下，结果也相对更可靠。不过目前，两个项目都在开发中，很难判断竞争情况。