#

zksnarks

Here are 82 public repositories matching this topic...

snarkOS

AleoHQ / snarkOS

A Decentralized Operating System for ZK Applications

rust cryptography blockchain zero-knowledge zksnarks aleo

Updated Apr 13, 2023
Rust

Zokrates / ZoKrates

A toolbox for zkSNARKs on Ethereum

language ethereum zero-knowledge snark zksnarks verifiable-computation

Updated Apr 12, 2023
Rust

ziesha-network / bazuka

Rust implementation of Ziesha protocol

rust blockchain cryptocurrency proof-of-stake zero-knowledge zksnarks zk-rollup

Updated Apr 12, 2023
Rust

sdiehl / bulletproofs

Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup

cryptography elliptic-curves sigma zero-knowledge pedersen-commitment zk-snarks bulletproofs zksnarks range-proofs

Updated Dec 25, 2022
Haskell

microsoft / Spartan

Spartan: High-speed zkSNARKs without trusted setup

cryptography-library rust-library zksnarks nizk zero-knowledge-proofs verifiable-computing

Updated Apr 13, 2023
Rust

leo

AleoHQ / leo

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

programming-language compiler leo zero-knowledge zksnarks

Updated Apr 13, 2023
Rust

AleoHQ / aleo

A Software Development Kit (SDK) for Zero-Knowledge Transactions

sdk blockchain zero-knowledge zksnarks aleo

Updated Apr 13, 2023
Rust

o1-labs / proof-systems

The proof systems used by Mina

kimchi bulletproofs zksnarks zero-knowledge-proofs plonk recursive-zkps

Updated Apr 11, 2023
Rust

protocols

Loopring / protocols

A zkRollup DEX & Payment Protocol

blockchain lrc dex zero-knowledge smartwallet loopring zksnarks oedax zkrollup

Updated Apr 7, 2023
Solidity

scipr-lab / dizk

Java library for distributed zero knowledge proof systems

cryptography distributed-computing zksnarks zero-knowledge-proofs

Updated Apr 13, 2022
Java

AleoHQ / welcome

Welcome to Aleo. Where Applications Become Zero-Knowledge

blockchain leo zero-knowledge zksnarks aleo

Updated Apr 13, 2023
Rust

fluidex / plonkit

A zkSNARK toolkit to work with circom zkp DSL in plonk proof system.

zksnark zksnarks circom plonk

Updated Jan 24, 2023
Rust

matter-labs / bellman

Bellman zkSNARK library for community with Ethereum's BN256 support

rust zero-knowledge zksnark zksnarks zero-knowledge-proofs zkp bellman team-crypto

Updated Apr 11, 2023
C

leonardoalt / fusion

An experimental progressive and fast zkRollup written in Rust, focused on performance, modularity, and applying cutting-edge Verifiable Computation proof systems.

ethereum smart-contracts l2 zksnarks zkrollup

Updated Apr 3, 2023
Rust

howardwu / awesome-aleo

🏎️ A curated list of Aleo & Leo code and resources 🏎️

awesome privacy zero-knowledge zksnarks aleo

Updated Apr 1, 2023

Electron-Labs / ed25519-circom

ED25519 implementation in Circom

ed25519 zksnark zksnarks circom groth16

Updated Mar 9, 2023
JavaScript

snario / zknifty

🎴Zero-knowledge non-fungible tokens on Ethereum using zk-SNARKs

ethereum blockchain erc721 zksnarks eddcsa

Updated Sep 10, 2018
Python

sdiehl / arithmetic-circuits

Arithmetic circuits for zero knowledge proof systems

compiler qap zero-knowledge zk-snarks zksnarks arithmetic-circuit

Updated Apr 14, 2020
Haskell

AleoHQ / workshop

📜 A Starter Guide to Build ZK Applications 📜

tutorial workshop zero-knowledge zksnarks aleo

Updated Dec 13, 2022
Shell

vocdoni-node

vocdoni / vocdoni-node

A set of libraries and tools for the Vocdoni decentralized backend infrastructure, the main ground of our universally verifiable, privacy-centric and scalable digital voting protocol

golang ethereum ipfs voting blockchain tendermint vote-application voting-system zk-snarks privacy-by-design vote-system zksnarks

Updated Apr 13, 2023
Go

Improve this page

Add a description, image, and links to the zksnarks topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the zksnarks topic, visit your repo's landing page and select "manage topics."