starks
There are 15 repositories under starks topic.
keep-starknet-strange/awesome-starknet
A curated list of awesome StarkNet resources, libraries, tools and more
ZeroSync/ZeroSync
A STARK proof to sync a Bitcoin full node in an instant.
NethermindEth/juno
Starknet client implementation.
andrewmilson/ministark
🏃♂️💨 GPU accelerated STARK prover built on @arkworks-rs
keep-starknet-strange/garaga
State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.
starkoracles/zkos
Cross-zk-rollup aggregation
actuallyachraf/zkstarks
A :pencil: literate and test-driven :bug: implementation of ZK-STARKs
GuildOfWeavers/AirAssembly
Low-level language for encoding AIR of computations
Starknet-Es/StarknetEs-Aprendizaje
👨🎓 Lista de recursos traducidos sobre aprendizaje relacionado con Starknet y Cairo
m-kus/tz-starks
🐺 Simple STARK verifier on Tezos blockchain
dannywillems/zkacademy
A place to learn ZK with Jupyter
toposware/winterfell
A fork of the novifinancial/winterfell STARK library.
drcapybara/capy2vML
Trains a differentially-private linear regression inside of the RISC-Zero virtual machine.
drcapybara/CAPY2vML-Bonsai
Bonsai relay interacts with Solidity contract to produce a differentially-private machine learning prediction.
guillaumelauzier/libSTARKs
STARKs (Scalable Transparent Argument of Knowledge) is a relatively complex zero-knowledge proof algorithm, and it would require significant effort to implement it from scratch in C++. However, there are libraries available that provide implementations of STARKs that can be used in C++ code.