Topic: "stark"
WTFAcademy/WTF-zk
零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP
Language: Jupyter Notebook - Size: 81.5 MB - Last synced at: 11 days ago - Pushed at: about 2 months ago - Stars: 1,850 - Forks: 231
risc0/risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
Language: C++ - Size: 237 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 1,841 - Forks: 536
kkrt-labs/kakarot
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
Language: Cairo - Size: 20.9 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 983 - Forks: 296
0xPolygonMiden/miden-vm
STARK-based virtual machine
Language: Rust - Size: 81.4 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 649 - Forks: 181
wxtsky/MyWalletScan
Language: JavaScript - Size: 1.77 MB - Last synced at: 8 days ago - Pushed at: about 1 year ago - Stars: 570 - Forks: 665
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 - Size: 192 MB - Last synced at: about 1 hour ago - Pushed at: about 3 hours ago - Stars: 541 - Forks: 180
STARK-404/Whatsapp-spy
Its a Simple Social engineering Tool
Language: Python - Size: 8.68 MB - Last synced at: 12 days ago - Pushed at: about 2 months ago - Stars: 273 - Forks: 76
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 - Size: 12 MB - Last synced at: 4 days ago - Pushed at: 27 days ago - Stars: 255 - Forks: 43
andrewmilson/sandstorm
Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
Language: Rust - Size: 2.04 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 157 - Forks: 22
Bitcoin-Wildlife-Sanctuary/bitcoin-circle-stark
Building blocks of a Circle STARK verifier in Bitcoin script
Language: Rust - Size: 1.55 MB - Last synced at: 2 days ago - Pushed at: 7 days ago - Stars: 152 - Forks: 25
GuildOfWeavers/genSTARK
A library for generating zk-STARKs.
Language: TypeScript - Size: 756 KB - Last synced at: 1 day ago - Pushed at: over 2 years ago - Stars: 144 - Forks: 18
0xEigenLabs/eigen-zkvm
A Rust zkVM with a Modular Proof System
Language: Rust - Size: 75.7 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 141 - Forks: 36
coset-io/zkp-academy
A month-long zkp study group, one topic at a time.
Language: Python - Size: 20.1 MB - Last synced at: 7 days ago - Pushed at: about 2 months ago - Stars: 129 - Forks: 36
wkunzhi/CRM-Manage
企业数据管理系统 【Django组件开发】【权限、路由组件】可拆卸系统组件，适用性强
Language: Python - Size: 8.18 MB - Last synced at: 20 days ago - Pushed at: over 4 years ago - Stars: 118 - Forks: 57
cawfree/zk-starter
zero knowledge for those with zero knowledge
Language: Solidity - Size: 610 KB - Last synced at: 15 days ago - Pushed at: about 2 years ago - Stars: 103 - Forks: 4
VictorColomb/stark-snark-recursive-proofs
STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language
Language: Rust - Size: 977 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 94 - Forks: 3
inversebrah/awesome-risc0
A community-maintained curated list of awesome resources of RISC Zero.
Size: 39.1 KB - Last synced at: 2 days ago - Pushed at: 11 months ago - Stars: 77 - Forks: 12
paulmillr/scure-starknet
Audited & minimal JS implementation of Starknet cryptography.
Language: JavaScript - Size: 771 KB - Last synced at: 9 days ago - Pushed at: 27 days ago - Stars: 70 - Forks: 7
thor314/pebble-stark
A community-developed re-implementation of the Starkware Stone Prover
Language: Rust - Size: 321 KB - Last synced at: 19 days ago - Pushed at: 6 months ago - Stars: 69 - Forks: 6
keep-starknet-strange/raito
Bitcoin ZK client written in Cairo.
Language: Cairo - Size: 63.4 MB - Last synced at: 14 days ago - Pushed at: 4 months ago - Stars: 57 - Forks: 42
NationalBankBelgium/stark
Modern client-side Web application framework based on Angular, Angular Material / Material Design, TypeScript, Redux, RxJS, ...
Language: TypeScript - Size: 152 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 55 - Forks: 23
starkware-libs/starkware-crypto-utils
Signatures, keys and Pedersen hash on STARK friendly elliptic curve
Language: TypeScript - Size: 392 KB - Last synced at: 8 days ago - Pushed at: over 1 year ago - Stars: 55 - Forks: 37
bitcoin-stark/khepri
STARK-proven Stateful Bitcoin client enabling hyper fast trustless sync and checkpoints.
Language: Cairo - Size: 283 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 54 - Forks: 16
stark-contrast/stark-sketch-plugin
Ensure your design is accessible and high contrast for every type of color blindness
Language: HTML - Size: 4.47 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 46 - Forks: 5
iosis-tech/swiftness
Cairo-VM STONE STARK Verifier Rust implementation
Language: Rust - Size: 10.5 MB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 40 - Forks: 12
starkoracles/Aero
A blazingly fast sdk for running proofs on the browser... and verifying them on-chain
Language: Cairo - Size: 757 KB - Last synced at: 4 days ago - Pushed at: over 1 year ago - Stars: 40 - Forks: 2
kkrt-labs/stwo-brainfuck
A ZK-VM for the Brainfuck language, based on Stwo
Language: Rust - Size: 688 KB - Last synced at: 18 days ago - Pushed at: 18 days ago - Stars: 29 - Forks: 7
0xEigenLabs/eigen-prover
Eigen zkVM's Proving Service
Language: Rust - Size: 1.26 MB - Last synced at: 27 days ago - Pushed at: 27 days ago - Stars: 29 - Forks: 9
HerodotusDev/hdp
Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner
Language: Rust - Size: 6.86 MB - Last synced at: about 6 hours ago - Pushed at: 2 months ago - Stars: 28 - Forks: 4
gizatechxyz/LuminAIR
An ML framework for ensuring the integrity of computational graphs using ZK proofs
Language: Rust - Size: 10.3 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 25 - Forks: 16
Okm165/stwo-web-stark
Client-side proving, trace generation, and proof verification using STWO in a web-based interface. 👇
Language: TypeScript - Size: 380 KB - Last synced at: 14 days ago - Pushed at: 26 days ago - Stars: 25 - Forks: 2
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 - Size: 582 KB - Last synced at: 5 months ago - Pushed at: almost 4 years ago - Stars: 22 - Forks: 4
zksecurity/stark-book
STARK book
Language: CSS - Size: 3.22 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 21 - Forks: 1
Bitcoin-Wildlife-Sanctuary/catnet
Catnet custom Bitcoin signet with OP_CAT enabled, used to test implementation of Bitcoin Circle STARK Verifier 🐺-😺
Language: Python - Size: 141 KB - Last synced at: 17 days ago - Pushed at: 10 months ago - Stars: 20 - Forks: 5
dipdup-io/stone-packaging
Various forms of distribution for the Starkware Stone prover and verifier
Language: Shell - Size: 5.66 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 17 - Forks: 29
zksecurity/stark-evm-adapter
Adapt your STARK stone proofs for verifications on Ethereum
Language: Rust - Size: 3.36 MB - Last synced at: about 22 hours ago - Pushed at: 7 months ago - Stars: 17 - Forks: 3
BrianSeong99/Plonky3_RangeCheck
This repo introduces concepts on constraint degree and optimization technics, as well as example implementations of Range Checks using Plonky3.
Language: Rust - Size: 1.8 MB - Last synced at: 17 days ago - Pushed at: 17 days ago - Stars: 13 - Forks: 4
GSimas/iceandfire
❄️🔥Song of Ice and Fire books and audiobooks
Language: CSS - Size: 5.24 GB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 13 - Forks: 4
jonas089/stark-math
Research revolving around Stark Math
Size: 281 KB - Last synced at: 17 days ago - Pushed at: 2 months ago - Stars: 12 - Forks: 1
iosis-tech/zetina
Shared peer-to-peer network of zero-knowledge provers
Language: Cairo - Size: 1.08 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 8 - Forks: 1
zkMIPS/zkMIPS
An open-source, simple, stable, and universal zkVM on MIPS32r2.
Language: Rust - Size: 14.5 MB - Last synced at: about 19 hours ago - Pushed at: about 20 hours ago - Stars: 5 - Forks: 9
shuklaayush/halo2-plonky2-verifier
Halo2 gadgets for verifying plonky2/starky proofs (WIP)
Language: Rust - Size: 2.84 MB - Last synced at: 22 days ago - Pushed at: over 1 year ago - Stars: 5 - Forks: 0
keep-starknet-strange/frieda
FRI Extended for Data Availability: a FRI-based Data Availability Sampling library, written in Rust.
Language: Rust - Size: 856 KB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 4 - Forks: 1
VladlenAfonin/vc
Verifiable Computations
Language: Python - Size: 127 KB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 4 - Forks: 0
jonas089/Toyni
Toyni Stark
Language: Rust - Size: 3.14 MB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 4 - Forks: 0
Starkz-App/Starknet-Dapp
From AI to ZK, Starkz is a decentralized public knowledge hub powered on Starknet
Language: TypeScript - Size: 2.46 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 4 - Forks: 1
gizatechxyz/scarb-agent Fork of reilabs/cairo-hints
All you need to build provable web3 Agents!
Language: Cairo - Size: 813 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 4 - Forks: 0
Starkz-App/Starknet
Starkz – a decentralized public knowledge hub to share and reward information. Powered on Starknet
Language: TypeScript - Size: 176 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 3 - Forks: 1
Designatory/starkweb
Starkweb is a website from where you can get access to all out telegram bots and read about them
Language: CSS - Size: 6.22 MB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 3 - Forks: 0
cartridge-gg/integrity-rs
Rust library for verifying STARK proofs from `swiftness` on `integrity`
Language: Rust - Size: 26.4 KB - Last synced at: 8 days ago - Pushed at: 3 months ago - Stars: 2 - Forks: 0
xJonathanLEI/veedo-rs
Rust implementation of VeeDo, a STARK-based Verifiable Delay Function
Language: Rust - Size: 48.8 KB - Last synced at: 3 days ago - Pushed at: 7 months ago - Stars: 2 - Forks: 1
toposware/certificate-stark 📦
An example of state-transition AIR program backed by the winterfell library.
Language: Rust - Size: 222 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0
duguorong009/personal-stark101-rs
Port the original "stark101" tutorial(python) to Rust version
Language: Rust - Size: 51.8 KB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 1 - Forks: 1
lfglabs-dev/bitcoin-on-starknet.com
A comprehensive documentation designed to support developers working with Bitcoin and Starknet integrations.
Language: MDX - Size: 861 KB - Last synced at: 17 days ago - Pushed at: about 2 months ago - Stars: 1 - Forks: 0
Okm165/swiftness-solana
Cairo-VM Stark Verifier Solana deployment
Language: Rust - Size: 219 KB - Last synced at: 20 days ago - Pushed at: 3 months ago - Stars: 1 - Forks: 1
Dtownsend117/Single_Program_Installer
Lists all available installers from the directory to choose from
Language: Python - Size: 4.88 KB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0
alezakuskin/Stark_ML
ML prediction of Stark parameters of atomic emission lines
Language: Jupyter Notebook - Size: 126 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 1 - Forks: 0
iosis-tech/swiftness-web
Web Cairo-VM Stark Verifier
Language: TypeScript - Size: 39.6 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 1 - Forks: 1
0xch4/starkanatomy-rs
"Anatomy of a STARK" in Rust
Language: Rust - Size: 24.4 KB - Last synced at: almost 2 years ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0
starkpay/omnipay
A crypto payment gateway driver for the Omnipay PHP payment library by STARK
Language: PHP - Size: 14.6 KB - Last synced at: 3 days ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 2
nnnnnzo/Veronica
Veronica SQL EXAM
Language: Python - Size: 129 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 0
maglighter/glonassdatamining
Spatio-temporal data mining
Language: Scala - Size: 23.1 MB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0
ciphercurve/toyni
Toyni is a new, emerging ZK proof system in Rust, developed by Ciphercurve.
Language: Rust - Size: 468 KB - Last synced at: 2 days ago - Pushed at: 8 days ago - Stars: 0 - Forks: 1
broadvilks/PixieZKVM
A simple virtual machine whose execution can be proven in ZERO-KNOWLEDGE. Showcases the intricacies of: Trace Generation | Cross-Table Lookups | RangeChecks | Recursive Proofs / Proof Aggregation
Language: Rust - Size: 30.3 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0
seedtag/gtm-server-tag
GTM integration for tracking S2S
Size: 13.7 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0
alebeta06/bankat_token
Practicas de un ERC20 en Starknet
Language: Cairo - Size: 5.86 KB - Last synced at: about 1 month ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0
alebeta06/basic_test
Test basico en Cairo
Language: Cairo - Size: 2.93 KB - Last synced at: about 1 month ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0
0xxEric/CircleFFT
It's CircleFFT, part of CircleSTARK. Comared to traditional FFT, CircleFFT use Circle domain, and do FFT with Circle Domain. The code implementation refers to the paper of CircleSTARK:https://eprint.iacr.org/2024/278
Language: Rust - Size: 6.84 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0
ZamDimon/toy-stark
Material for understanding STARKs based on stark101 tutorial
Language: Sage - Size: 43.9 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0
supragya/PixieZKVM
A simple virtual machine whose execution can be proven in ZERO-KNOWLEDGE. Showcases the intricacies of: Trace Generation | Cross-Table Lookups | RangeChecks | Recursive Proofs / Proof Aggregation
Language: Rust - Size: 60.5 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0
Bitcoin-Wildlife-Sanctuary/btcwild.life
Bitcoin Wildlife Conservatorium website
Language: TypeScript - Size: 3.54 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 4
maksimryndin/docker-starknet
Useful Starknet tools wrapped in Docker
Language: Dockerfile - Size: 4.88 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0
theoh-io/PostureTrack
Modular Tracking Framework.Top-Down and Bottom-Up approaches for Pose Tracking. Single and Multi-Person Tracking supported.
Language: Python - Size: 68.2 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
itzmeanjan/ff-p254-gpu 📦
Accelerating Computation on 254-bit Prime Field
Language: C++ - Size: 40 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
Vesnica/STARK-HE
Language: Rust - Size: 17.6 KB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
Vesnica/risc0-rust-starter
Language: Rust - Size: 56.6 KB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
Vesnica/lattigo_cobra
Language: Go - Size: 8.79 KB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
Vesnica/stark-template
Language: Rust - Size: 10.7 KB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
WeWatchWall/stark-speech
Easy to integrate speech functions for browsers.
Language: TypeScript - Size: 5.03 MB - Last synced at: 20 days ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0
Silence1017/install-spark
Problems encountered and solutions while installing Spark
Size: 23.4 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
