stark
There are 1 repository under stark topic.
risc0 / risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
Language:C++ 1416- Language:Cairo 864
- miden-vmLanguage:Rust 585
- Language:JavaScript 539
lambdaclass / cairo-vm
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
Language:Rust 463- triton-vm
TritonVM / triton-vm
Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system.
Language:Rust 207 andrewmilson / sandstorm
Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
Language:Rust 153- Language:TypeScript 141
- Whatsapp-spy
STARK-404 / Whatsapp-spy
Its a Simple Social engineering Tool
Language:JavaScript 141 - Language:Rust 116
- Language:Python 115
- zk-starter
cawfree / zk-starter
zero knowledge for those with zero knowledge
Language:Solidity 101 VictorColomb / stark-snark-recursive-proofs
STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language
Language:Rust 99thor314 / pebble-stark
A community-developed re-implementation of the Starkware Stone Prover
Language:Rust 67paulmillr / scure-starknet
Audited & minimal JS implementation of Starknet cryptography.
Language:JavaScript 59bitcoin-stark / khepri
STARK-proven Stateful Bitcoin client enabling hyper fast trustless sync and checkpoints.
Language:Cairo 54NationalBankBelgium / stark
Modern client-side Web application framework based on Angular, Angular Material / Material Design, TypeScript, Redux, RxJS, ...
Language:TypeScript 53starkware-libs / starkware-crypto-utils
Signatures, keys and Pedersen hash on STARK friendly elliptic curve
Language:TypeScript 53inversebrah / awesome-risc0
A community-maintained curated list of awesome resources of RISC Zero.
stark-contrast / stark-sketch-plugin
Ensure your design is accessible and high contrast for every type of color blindness
Language:HTML 46starkoracles / Aero
A blazingly fast sdk for running proofs on the browser... and verifying them on-chain
Language:Cairo 38- Language:Rust 27
stackswithans / akkorder
A Typescript port of Adam Stark's C++ implementation of the chord recognition algorithm described in the paper : Real-Time Chord Recognition For Live Performance, A. M. Stark and M. D. Plumbley.
Language:TypeScript 19- Language:CSS 17
GSimas / iceandfire
❄️🔥Song of Ice and Fire books and audiobooks
Language:CSS 13zksecurity / stark-evm-adapter
Adapt your STARK stone proofs for verifications on Ethereum
Language:Rust 6- Language:Rust 3
toposware / certificate-stark
An example of state-transition AIR program backed by the winterfell library.
Language:Rust 3shuklaayush / halo2-plonky2-verifier
Halo2 gadgets for verifying plonky2/starky proofs (WIP)
Language:Rust 2alezakuskin / Stark_ML
ML prediction of Stark parameters of atomic emission lines
Language:Jupyter Notebook 1duguorong009 / personal-stark101-rs
Port the original "stark101" tutorial(python) to Rust version
Language:Rust 1- Language:Scala 1
- Language:Python 1
- Language:PHP 1
- Language:Go
- Language:Rust
