Found 14,340 repositories(showing 30)
risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
WTFAcademy
零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP
BC-SECURITY
Starkiller is a Frontend for PowerShell Empire.
keep-starknet-strange
A curated list of awesome StarkNet resources, libraries, tools and more
starkscan
Verify Cairo contracts on Starkscan in 1 minute.
starknet-io
JavaScript library for StarkNet
kkrt-labs
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
A STARK prover and verifier for arbitrary computations
starknet-edu
Mastering Starknet. By the Starknet community
0xMiden
STARK-based virtual machine
lambdaclass
lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.
researchmm
[ICCV'21] Learning Spatio-Temporal Transformer for Visual Tracking
starknet-io
The main repo for starknet.io
starkware-libs
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.
419Labs
Starknet Ecosystem Dashboard
elibensasson
A library for zero knowledge (ZK) scalable transparent argument of knowledge (STARK)
chetachiezikeuzor
An Obsidian.md theme with a stark contrast between dark mode and light mode, much like the Yin and Yang symbol ☯️.
shramee
An interactive tutorial to get you up and running with Cairo v1 and Starknet
starknet-edu
Learn how to read Cairo code
ZeroSync
A STARK proof to sync a Bitcoin full node in an instant.
foundry-rs
Blazing fast toolkit for developing Starknet contracts.
STARK-404
Its a Simple Social engineering Tool
andrewmilson
🏃♂️💨 GPU accelerated STARK prover built on @arkworks-rs
starknet-start
A collection of React providers and hooks for StarkNet
ximsfei
Stark is a hot-fix framework for Android. It supports swapping new implementations of classes without restarting a running Android application, and updated Android resources (icons, layout, etc) while only restarting the Android Activity. Most importantly, there is no private API invoked in Stark.
valida-xyz
A STARK-based VM focused on code reuse, performance, and modularity
snap-stanford
(NeurIPS D&B 2024) STaRK: Benchmarking LLM Retrieval on Textual and Relational Knowledge Bases
xJonathanLEI
Complete Starknet library in Rust™
onlydust-com
An interactive tutorial to get you up and running with Starknet
starkware-libs
No description available