@Wongssh web3 reading list. A reading list for solidity, web3 and Dapp programmers. We use Chinese and English language.
https://blog.lambdaclass.com/overview-of-the-stone-prover/
#starknet 开源的 #cairo 0 #STARK 证明生成器的源代码分析
#starknet 开源的 #cairo 0 #STARK 证明生成器的源代码分析
LambdaClass Blog
An overview of the Stone Cairo STARK Prover
Introduction
About one month ago, Starkware open-sourced its Stone Prover, which is currently in production in Starknet. It is a library that allows one to produce proofs of computational integrity using STARKs (Scalable Transparent Arguments of Knowledge).…
About one month ago, Starkware open-sourced its Stone Prover, which is currently in production in Starknet. It is a library that allows one to produce proofs of computational integrity using STARKs (Scalable Transparent Arguments of Knowledge).…
https://github.com/TritonVM/triton-vm
支持 #STARK 零知识证明系统的 #VM 虚拟机
支持 #STARK 零知识证明系统的 #VM 虚拟机
GitHub
GitHub - TritonVM/triton-vm: Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate…
Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system. - TritonVM/triton-vm
