Topic: "starks"
keep-starknet-strange/awesome-starknet
A curated list of awesome StarkNet resources, libraries, tools and more
Size: 185 KB - Last synced at: 3 days ago - Pushed at: 8 months ago - Stars: 1,526 - Forks: 329
ZeroSync/ZeroSync
A STARK proof to sync a Bitcoin full node in an instant.
Language: Cairo - Size: 2.9 MB - Last synced at: about 6 hours ago - Pushed at: 9 months ago - Stars: 439 - Forks: 63
NethermindEth/juno
Starknet client implementation.
Language: Go - Size: 678 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 430 - Forks: 215
andrewmilson/ministark
🏃♂️💨 GPU accelerated STARK prover built on @arkworks-rs
Language: Rust - Size: 1.65 MB - Last synced at: 25 days ago - Pushed at: 10 months ago - Stars: 364 - Forks: 35
keep-starknet-strange/garaga
State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.
Language: Cairo - Size: 90.3 MB - Last synced at: about 14 hours ago - Pushed at: about 16 hours ago - Stars: 237 - Forks: 79
starkoracles/zkos
Cross-zk-rollup aggregation
Language: Rust - Size: 14.5 MB - Last synced at: 5 months ago - Pushed at: over 2 years ago - Stars: 60 - Forks: 6
GuildOfWeavers/AirAssembly
Low-level language for encoding AIR of computations
Language: TypeScript - Size: 539 KB - Last synced at: 29 days ago - Pushed at: over 2 years ago - Stars: 37 - Forks: 5
keep-starknet-strange/awesome-stwo
A curated list of awesome projects using STWO.
Size: 55.7 KB - Last synced at: 8 days ago - Pushed at: 2 months ago - Stars: 35 - Forks: 6
actuallyachraf/zkstarks
A :pencil: literate and test-driven :bug: implementation of ZK-STARKs
Language: Go - Size: 252 KB - Last synced at: about 1 year ago - Pushed at: over 5 years ago - Stars: 33 - Forks: 9
starkware-bitcoin/mikan
Mikan 🍊: The ZK Friendly DA Layer for Bitcoin L2s
Language: Rust - Size: 1010 KB - Last synced at: 3 days ago - Pushed at: 10 days ago - Stars: 24 - Forks: 7
starkware-bitcoin/stark-symphony
STARK verifier written in SimplicityHL language
Language: Python - Size: 257 KB - Last synced at: 4 days ago - Pushed at: about 1 month ago - Stars: 19 - Forks: 0
ColliderVM/collidervm_toy
ColliderVM: Stateful Computation on Bitcoin without Fraud Proofs
Language: Rust - Size: 1.7 MB - Last synced at: 3 days ago - Pushed at: 3 months ago - Stars: 18 - Forks: 7
starkware-bitcoin/starkstr
Nostr x STARKs exploration project.
Language: Cairo - Size: 1.15 MB - Last synced at: 3 days ago - Pushed at: 5 months ago - Stars: 13 - Forks: 3
m-kus/tz-starks
🐺 Simple STARK verifier in cameligo
Language: Jupyter Notebook - Size: 99.6 KB - Last synced at: 5 months ago - Pushed at: about 2 years ago - Stars: 12 - Forks: 1
Starknet-Es/StarknetEs-Aprendizaje
👨🎓 Lista de recursos traducidos sobre aprendizaje relacionado con Starknet y Cairo
Size: 16.5 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 10 - Forks: 0
dannywillems/zkacademy
A place to learn ZK with Jupyter
Language: Jupyter Notebook - Size: 845 KB - Last synced at: 5 months ago - Pushed at: 8 months ago - Stars: 8 - Forks: 1
toposware/winterfell
A fork of the novifinancial/winterfell STARK library.
Language: Rust - Size: 2.3 MB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 6 - Forks: 1
josegomez-dev/blockbeats
We turn music into immutable art. It’s Web3’s first community-powered musical signature generator — mintable, shareable, tradable... And give them full ownership of their creation through NFTs.
Language: TypeScript - Size: 142 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 4 - Forks: 0
starkware-bitcoin/s2morrow
STARK-based signature aggregation for the Post Quantum world
Language: Cairo - Size: 236 KB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 4 - Forks: 1
AbdelStark/rpo-xhash-m31
RPO-M31 and XHash-M31: Efficient Hash Functions for Circle STARKs
Language: Rust - Size: 168 KB - Last synced at: 3 days ago - Pushed at: 4 months ago - Stars: 4 - Forks: 0
AbdelStark/pons
Proof Of Non-Spam for Bitcoin
Language: Rust - Size: 1.65 MB - Last synced at: 3 days ago - Pushed at: 5 days ago - Stars: 3 - Forks: 0
Dustin-Ray/capy2vML
Trains a differentially-private linear regression inside of the RISC-Zero virtual machine.
Language: Rust - Size: 1.05 MB - Last synced at: 11 months ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 0
alebeta06/Starklings-App-respuestas
Respuestas de un tutorial interactivo basado en web para aprender sobre El Cairo y Starknet.
Language: Cairo - Size: 48.8 KB - Last synced at: 3 months ago - Pushed at: 11 months ago - Stars: 1 - Forks: 0
Bitcoin-Wildlife-Sanctuary/catgolfing
Bitcoin Circle Stark performance contest.
Language: JavaScript - Size: 158 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 1
AbdelStark/zkpoor Fork of block/bitcoin-treasury
zkpoor - Zero Knowledge Proof Of Outstanding Reserves
Language: TypeScript - Size: 176 KB - Last synced at: about 14 hours ago - Pushed at: about 15 hours ago - Stars: 0 - Forks: 0
ColinRitman/xfgwin
xfgwinterfell STARK proofs lib for Fuego XFG deposits.
Language: Rust - Size: 1.42 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 0 - Forks: 0
alebeta06/counter-workshop
Aprendiendo cómo crear un contrato inteligente simple de Starknet, implementar funciones y eventos públicos, acceder a contratos externos y utilizar el contrato Ownable de OpenZeppelin.
Language: TypeScript - Size: 132 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0
alebeta06/setter_getter
Pruebas de integración en Cairo para verificar su funcionalidad.
Language: Cairo - Size: 6.84 KB - Last synced at: 6 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0
Dustin-Ray/CAPY2vML-Bonsai Fork of risc0/risc0-foundry-template
Bonsai relay interacts with Solidity contract to produce a differentially-private machine learning prediction.
Language: Rust - Size: 767 KB - Last synced at: 11 months ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
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.
Language: C++ - Size: 3.91 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
