Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for stark
stark
x
29 search results found
Awesome Starknet
⭐
1,439
A curated list of awesome StarkNet resources, libraries, tools and more
Risc0
⭐
1,231
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
Kakarot
⭐
787
ZK-EVM type 2.5 written in Cairo, leveraging STARK proof system.
Miden Vm
⭐
590
STARK-based virtual machine
Cairo Vm
⭐
462
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.
Zerosync
⭐
360
A STARK proof to sync a Bitcoin full node in an instant.
Juno
⭐
319
Starknet client implementation.
Ministark
⭐
296
🏃♂️💨 GPU accelerated STARK prover built on @arkworks-rs
Triton Vm
⭐
200
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.
Sandstorm
⭐
146
Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
Garaga
⭐
121
Efficient pairing library, written in Cairo 🐺.
Genstark
⭐
114
A library for generating zk-STARKs.
Stark Snark Recursive Proofs
⭐
94
STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language
Zk Starter
⭐
89
zero knowledge for those with zero knowledge
Eigen Zkvm
⭐
87
A private zkVM basing on layered proof system
Whatsapp Spy
⭐
67
Its a Simple Social engineering Tool
Pebble Stark
⭐
58
A community-developed re-implementation of the Starkware Stone Prover
Scure Starknet
⭐
55
Audited & minimal JS implementation of Starknet cryptography.
Stark
⭐
54
Modern client-side Web application framework based on Angular, Angular Material / Material Design, TypeScript, Redux, RxJS, ...
Zkos
⭐
53
Cross-zk-rollup aggregation
Crm Manage
⭐
50
企业数据管理系统 【Django组件开发】【权限、路由组件】可拆卸系统组件,适用性强
Starkware Crypto Utils
⭐
49
Signatures, keys and Pedersen hash on STARK friendly elliptic curve
Stark Sketch Plugin
⭐
46
Ensure your design is accessible and high contrast for every type of color blindness
Khepri
⭐
44
STARK-proven Stateful Bitcoin client enabling hyper fast trustless sync and checkpoints.
Aero
⭐
33
A blazingly fast sdk for running proofs on the browser... and verifying them on-chain
Airassembly
⭐
15
Low-level language for encoding AIR of computations
Starknetes Aprendizaje
⭐
10
👨🎓 Lista de recursos traducidos sobre aprendizaje relacionado con Starknet y Cairo
Zkacademy
⭐
7
A place to learn ZK with Jupyter
Winterfell
⭐
6
A fork of the novifinancial/winterfell STARK library.
Related Searches
Rust Stark (11)
Cryptography Stark (8)
Zero Knowledge Stark (6)
Starknet Stark (5)
Cairo Stark (4)
Typescript Stark (4)
Cairo Lang Stark (3)
Virtual Machine Stark (3)
Zkp Stark (3)
Ethereum Stark (3)
1-29 of 29 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.