Fundamentals
Last updated
Last updated
STARKS - collison resistant hash function → quantum secure (?)
quantum can break elliptic curves
biggest issue now - generating proofs is resource intensive
using STARKS to scale bitcoin
generate cryptographic proof from bitcoin client, use proof to sync new client & all UTXO transactions
cuts down syncing from days to minutes
starknet prover not open sourced yet, but will be in future
working on sequencer rewrite in rust to decentralised that first
starks vs. snarks
starknet core - DA layer on mainnet ()
Solidity code for the L1 STARK Verifier used by Starknet and StarkEx:
address of the Starknet Core smart contract deployed on Ethereum mainnet:
validium, volition, validity proofs - difference in where data is being stored
sierra is like yul for solidity
why cairo and not zkEVMS?
zkEVMs - maximize compatibility with L1, but sacrifice performance
CairoVM - fine tuned for validity proofs aka performance
comparison table
live coding session
set up vscode extension for cairo
cd into vscode-cairo file in cairo
set up starknet CLI
python 3.9
environment setup -
run the following instructions -
cairo 1 env run through -