─── ecosystem · zokrates-language
Zokrates Language
repositories
34
contributors
125
languages
10
top lang
Rust
─── top languages · by repos
─── repositories
34 / 34| # | repository | lang | stars | forks |
|---|---|---|---|---|
| 001 | circify/circ (Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more. | Rust | 313 | 49 |
| 002 | EYBlockchain/starlight :zap: solidity --> zApp transpiler :zap: | JavaScript | 200 | 49 |
| 003 | leonardoalt/tinyzkevm | Python | 46 | 2 |
| 004 | thomas-waite/zkSocialRecovery Novel zero-knowledge proof based social recovery of smart contract wallets | Solidity | 34 | 8 |
| 005 | informartin/zkRelay | Python | 29 | 8 |
| 006 | upala-digital-identity/upala Decentralized digital identity | Solidity | 24 | 5 |
| 007 | cleverhans-lab/verifiable-unlearning | Python | 22 | 5 |
| 008 | sCrypt-Inc/zokrates A zero-knowledge proof toolbox on Bitcoin. A fork of zokrates (https://github.com/Zokrates/ZoKrates). | Rust | 15 | 1 |
| 009 | edwjchen/Silph | Rust | 12 | 1 |
| 010 | safe-research/shadowlings Shadow Deposit Accounts | Solidity | 12 | 2 |
| 011 | Epiisteme/FusionLedgers Fusion Ledger is a Montage of Machines and Mathematics ! It is Distributed Ledger Technology for Decentralised Data Stream Management using Cryptographic Primitives and Coherent Consensus Algorithms | JavaScript | 8 | 4 |
| 012 | 6iKezbAD3CZnf/blockchained-ml Federated Learning on Blockchain exploiting zk-SNARK | SCSS | 6 | 0 |
| 013 | soberm/zkDKG | Go | 6 | 1 |
| 014 | PepperSieve/Zombie | Python | 5 | 2 |
| 015 | AymericNoel/POC_OCTO_ZKP The goal of this POC is to implement an autonomous garden sharing organization with a Zero Knowledge Proof system | JavaScript | 4 | 1 |
| 016 | ZK-Plus/ICBC24_Tutorial_Compute-Offchain-Verify-Onchain Hands-on material for the tutorial "Compute Offchain, Verify Onchain: How to Build zk-DApps with Circom and ZoKrates" offered at ICBC24 | Circom | 4 | 0 |
| 017 | JonathanHeiss/ZoKrates-Credential-Verification | JavaScript | 3 | 0 |
| 018 | eybrativosdigitais/zapp-swapescrow-drex Zapp SwapEscrow para DREX | JavaScript | 2 | 0 |
| 019 | JacobEberhardt/ZoKratesBenchmarks Contains ZoKrates Benchmark scripts, related code and documentation | Jupyter Notebook | 2 | 1 |
| 020 | alexsserban/udacity-blockchain-developer-nanodegree | JavaScript | 1 | 0 |
| 021 | ftsrg/zkp-audit-zokrates Sample audit programs and input generator tool for the article Privacy-Preserving Noninteractive Compliance Audits of Blockchain Ledgers with Zero-Knowledge Proofs | TypeScript | 1 | 0 |
| 022 | ilyadruzh/hmac_streebog | Solidity | 1 | 0 |
| 023 | zksnake/zksnake-ui | JavaScript | 1 | 0 |
| 024 | aditya-git16/proofPositive | Rust | 0 | 5 |
| 025 | agrawalprash/traceable-mixnets Benchmarks for traceable mixnets | Python | 0 | 0 |
| 026 | dark64/zokrates-1 WIP to add Zexe backend. A PR will be created into ZoKrates by EYBlockchain with this | Rust | 0 | 0 |
| 027 | ilyadruzh/zkpl | Shell | 0 | 0 |
| 028 | julyawang/i-f-tree | Rust | 0 | 0 |
| 029 | niravparmar/zokrates-example | Solidity | 0 | 0 |
| 030 | shamsartem/priveasyVoting | TypeScript | 0 | 0 |
| 031 | snehapm04/Cryptography-Sect2 | — | 0 | 0 |
| 032 | vivianjeng/zkSNARK-verifier-in-C zkSNARK verifier in C | Rust | 0 | 0 |
| 033 | vquanli/SDE-ZKML | Jupyter Notebook | 0 | 0 |
| 034 | ZK-Plus/ZoKrateslib An extendended standard library to the official ZoKrates stdlib | Rust | 0 | 0 |
Want deeper analysis?
Commission a benchmark report for Zokrates Language.
─── subscriber view
Unlock the full view of the Zokrates Language ecosystem
- · Full repository, commit, and contributor breakdown
- · Peer graph + ecosystem links
- · Weekly trend deltas and pulse signal
- · API + CSV / JSON exports
Already a subscriber? Sign in with the same email used at checkout.