is a Turing-Complete High-Level Language & framework for producing STARK proofs for general computation.
This will allow developers to build their own applications using Cairo, implementing whatever business logic they wish. They will send their Cairo code to the GPS to be proven, and then verified on-chain.
Scaling data
Processing of 300K transactions in a single proof on Mainnet
Achieving the world record in Rollup throughput: 3K tps.
In the process, we’ve achieved the world record for Rollup gas efficiency: 315 gas/tx
Want to print your doc? This is not the way.
Try clicking the ⋯ next to your doc name or using a keyboard shortcut (