starks
There are 22 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
keep-starknet-strange/awesome-stwo
A curated list of awesome projects using STWO.
Starknet-Es/StarknetEs-Aprendizaje
👨🎓 Lista de recursos traducidos sobre aprendizaje relacionado con Starknet y Cairo
m-kus/tz-starks
🐺 Simple STARK verifier in cameligo
dannywillems/zkacademy
A place to learn ZK with Jupyter
keep-starknet-strange/starkstr
Nostr x STARKs exploration project.
welttowelt/wp1
StarkWare Wolf Pack League - Community Engagement Program for Starknet Ecosystem
toposware/winterfell
A fork of the novifinancial/winterfell STARK library.
Dustin-Ray/capy2vML
Trains a differentially-private linear regression inside of the RISC-Zero virtual machine.
Bitcoin-Wildlife-Sanctuary/catgolfing
Bitcoin Circle Stark performance contest.
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.
alebeta06/setter_getter
Pruebas de integración en Cairo para verificar su funcionalidad.
alebeta06/Starklings-App-respuestas
Respuestas de un tutorial interactivo basado en web para aprender sobre El Cairo y Starknet.
Dustin-Ray/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.