GitHub topics: starks
keep-starknet-strange/garaga
State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.
Language: Cairo - Size: 53 MB - Last synced at: about 17 hours ago - Pushed at: about 18 hours ago - Stars: 230 - Forks: 76
AbdelStark/rpo-xhash-m31
RPO-M31 and XHash-M31: Efficient Hash Functions for Circle STARKs
Language: Rust - Size: 86.9 KB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 1 - Forks: 0
AbdelStark/collidervm_toy
ColliderVM: Stateful Computation on Bitcoin without Fraud Proofs
Language: Rust - Size: 1.73 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 9 - Forks: 2
NethermindEth/juno
Starknet client implementation.
Language: Go - Size: 622 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 420 - Forks: 199
keep-starknet-strange/awesome-starknet
A curated list of awesome StarkNet resources, libraries, tools and more
Size: 185 KB - Last synced at: 4 days ago - Pushed at: 4 months ago - Stars: 1,524 - Forks: 326
keep-starknet-strange/mikan
Mikan 🍊: The ZK Friendly DA Layer for Bitcoin L2s
Language: Rust - Size: 816 KB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 6 - Forks: 7
andrewmilson/ministark
🏃♂️💨 GPU accelerated STARK prover built on @arkworks-rs
Language: Rust - Size: 1.65 MB - Last synced at: 9 days ago - Pushed at: 5 months ago - Stars: 354 - Forks: 36
ZeroSync/ZeroSync
A STARK proof to sync a Bitcoin full node in an instant.
Language: Cairo - Size: 2.9 MB - Last synced at: 16 days ago - Pushed at: 5 months ago - Stars: 432 - Forks: 64
keep-starknet-strange/stark-symphony
🎻 STARK verifier written in Simfony language for the Liquid sidechain
Language: Python - Size: 146 KB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 11 - Forks: 0
keep-starknet-strange/starkstr
Nostr x STARKs exploration project.
Language: Cairo - Size: 1.15 MB - Last synced at: about 14 hours ago - Pushed at: 10 days ago - Stars: 12 - Forks: 3
keep-starknet-strange/awesome-stwo
A curated list of awesome projects using STWO.
Size: 43.9 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 22 - Forks: 5
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: about 1 month ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0
starkoracles/zkos
Cross-zk-rollup aggregation
Language: Rust - Size: 14.5 MB - Last synced at: 7 days ago - Pushed at: about 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: 8 days ago - Pushed at: almost 2 years ago - Stars: 35 - Forks: 4
m-kus/tz-starks
🐺 Simple STARK verifier in cameligo
Language: Jupyter Notebook - Size: 99.6 KB - Last synced at: 17 days ago - Pushed at: almost 2 years ago - Stars: 12 - Forks: 1
alebeta06/setter_getter
Pruebas de integración en Cairo para verificar su funcionalidad.
Language: Cairo - Size: 6.84 KB - Last synced at: about 1 month ago - Pushed at: 4 months ago - Stars: 0 - 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: about 1 month ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0
dannywillems/zkacademy
A place to learn ZK with Jupyter
Language: Jupyter Notebook - Size: 845 KB - Last synced at: 23 days ago - Pushed at: 4 months ago - Stars: 8 - Forks: 1
Bitcoin-Wildlife-Sanctuary/catgolfing
Bitcoin Circle Stark performance contest.
Language: JavaScript - Size: 158 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 1 - Forks: 1
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: 6 months ago - Pushed at: 10 months ago - Stars: 2 - Forks: 0
actuallyachraf/zkstarks
A :pencil: literate and test-driven :bug: implementation of ZK-STARKs
Language: Go - Size: 252 KB - Last synced at: 10 months ago - Pushed at: about 5 years ago - Stars: 33 - Forks: 9
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: 6 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
Starknet-Es/StarknetEs-Aprendizaje
👨🎓 Lista de recursos traducidos sobre aprendizaje relacionado con Starknet y Cairo
Size: 16.5 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 10 - 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: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
toposware/winterfell
A fork of the novifinancial/winterfell STARK library.
Language: Rust - Size: 2.3 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 6 - Forks: 1
