starkhitchhiker
Collecting the best learning materials for Stark, StarkNet, and Cairo to provide convenience for Chinese users so that they can participate better in the construction of Stark.
收集Stark、StarkNet、Cairo最好的学习资料,为国内用户提供便利,更好地参与Stark的建设。
stark math
Stark Math Blog Part I https://medium.com/starkware/stark-math-the-journey-begins-51bd2b063c71
Stark Math Blog Part II https://medium.com/starkware/arithmetization-i-15c046390862
Stark Math Blog Part III https://medium.com/starkware/arithmetization-ii-403c3b3f4355
Stark Math Blog Part IV https://medium.com/starkware/a-framework-for-efficient-starks-19608ba06fbe
The STARK whitepape https://eprint.iacr.org/2018/046.pdf
STARK 101 https://github.com/starkware-industries/stark101
STARK math 系列是学习stark的最好资料,我翻译的相关中文资料都存在starkmath目录里
STARK 101 是提供代码级别的学习,翻译的相关中文资料都存在stark101教程里,配合数学文档实操能更加深入的理解,去通过代码生成自己的第一个STARK证明吧!!!
zkvm & cairo's design
Cairo whitepaper https://eprint.iacr.org/2021/1063.pdf
本来自己也在翻译CairoVM,看到Ola团队已做就加入其中了,学习zkVM,zkVM的指令集设计,以及Cairo的底层原理最好的资料,Ola团队主翻译,个人也有参与,见zkVM 目录
Cairo1.0
Starkling https://github.com/shramee/starklings-cairo1/
Cairo本身能作为starknet智能合约的开发,也能作为有效证明的开发,是web3最有潜力的开发语言,而Cairo1.0 是类似Rust语法的编程语言,比起老的版本有更高的效率 Starkling是学习Cairo1.0 语法最好的资料, Cairo1.0 sample code 目录将提供一些1.0版本的基础代码示例