Awesome Open Source

Programming Languages

Search results for cryptography zero knowledge

zero-knowledge x

68 search results found

Tachyon ⭐ 5,687

Modular ZK(Zero Knowledge) backend accelerated by GPU

Snarkos ⭐ 3,476

A Decentralized Operating System for ZK Applications

Fisco Bcos ⭐ 2,245

FISCO BCOS（发音为/ˈfɪskl bi:ˈkɒz/）是一个稳定、高效、安全的许可区块链平台，已被广泛应用于现实的行业应用。截至目前，已 BCOS (pronounced /ˈfɪskl bi:ˈkɒz/) is a stable, efficient, and secure permissioned blockchain platform that has been widely used in real-world industry applications.

Risc0 ⭐ 1,231

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

Darkfi ⭐ 1,008

Anonymous. Uncensored. Sovereign.

Snarkvm ⭐ 843

A Virtual Machine for Zero-Knowledge Executions

ezkl is an engine for doing inference for deep learning models and other computational graphs in a zk-snark (ZKML). Use it from Python, Javascript, or the command line.

Noir is a domain specific language for zero knowledge proofs

The privacy-focused cryptocurrency

Ingopedia ⭐ 653

A curated list of ZK/FHE resources and links. 👇 Click below for the website version.

Miden Vm ⭐ 578

STARK-based virtual machine

The Halo2 zero-knowledge proving system

Bulletproofs ⭐ 523

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

Pure Rust implementation of the PLONK ZKProof System done by the Dusk-Network team.

Lurk Rs ⭐ 359

Lurk is a Turing-complete programming language for recursive zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.

Secp256k1 Zkp ⭐ 352

A fork of libsecp256k1 with support for advanced and experimental features such as Confidential Assets and MuSig2

Ministark ⭐ 296

🏃‍♂️💨 GPU accelerated STARK prover built on @arkworks-rs

A pure Rust PLONK implementation using arkworks as a backend.

Sunscreen ⭐ 207

A compiler for fully homomorphic encryption and zero knowledge proofs

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.

Zkp Ecdsa ⭐ 178

Proves knowledge of an ECDSA-P256 signature under one of many public keys that are stored in a list.

Vamp Ir ⭐ 152

Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits

Renegade ⭐ 151

On-chain dark pool. MPC for anonymous crosses at midpoint prices.

Solcrypto ⭐ 151

Solidity crypto libraries, ring signatures, proof of knowledge, packed signatures etc. with matching Python implementations for secp256k1 and (alt)BN-256

Distaff ⭐ 139

Zero-knowledge virtual machine written in Rust

Interactive documentation on zero-knowledge proof systems and related primitives.

Genstark ⭐ 114

A library for generating zk-STARKs.

Multi-party computation libraries written in Rust 🦀

Stark Snark Recursive Proofs ⭐ 94

STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language

Secp256k1.swift ⭐ 89

Elliptic Curve operations, Schnorr, and ZKP for Bitcoin. Supports iOS macOS tvOS watchOS + Linux.

Experimental zero-knowledge proof compiler in Rust macros

Zero Knowledge Proofs Learning Resources ⭐ 74

This repository contains Zk learning resources

Schnorr Nizk ⭐ 71

Schnorr Protocol for Non-interactive Zero-Knowledge Proofs

Zk Timelock ⭐ 69

Arkworks circuits for verifiable time-lock encryption

Renegade Contracts ⭐ 67

Smart contracts for on-chain anonymous settlement.

Twenty First ⭐ 67

Collection of mathematics routines and cryptography for the twenty-first century

Zero Knowledge Gadgets ⭐ 65

Zero-knowledge gadgets for Webb's cross-chain blockchain applications.

ZK-based engine for self-sovereign SQL queries

Mental Poker ⭐ 63

A library for mental poker (and other card games). Based on the Barnett-Smart protocol and the Bayer-Groth argument of correct shuffle

Modern Cryptography Suite in C++17

Zk Light Client Implementation ⭐ 61

Zero Knowledge Light Client Implementation by Zpoken team.

Pebble Stark ⭐ 58

A community-developed re-implementation of the Starkware Stone Prover

Dkg Substrate ⭐ 56

Multy-party threshold ECDSA (GG20) Substrate node

Esecurity ⭐ 49

Protocol Substrate ⭐ 39

Webb protocol implementation in Substrate.

A framework for SPDZ-style maliciously-secure MPC.

Rust Paillier ⭐ 34

A pure-Rust implementation of the Paillier encryption scheme

Zkp Workshop ⭐ 32

Explore the world of zero-knowledge proofs from first principles.

A mixer for Substrate using multiple zero-knowledge backends.

Moonmath ⭐ 28

Solutions to exercises from MoonMath Manual to zkSNARKs.

Crypto3 Zk ⭐ 28

Zero-Knowledge Proof Systems for =nil; Crypto3 C++ Cryptography Suite.

Rofl Project Code ⭐ 22

Multilayered Linkable Spontaneous Anonymous Group - Implemented as is from paper. Not Monero specific

Klefki is a playground for researching elliptic curve group based algorithm, such as MPC, ZKP and HE. All data types & structures are based on mathematical defination of abstract algebra.

ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol

Cypherpunks Core.github.io ⭐ 16

🚀 密碼龐克官方網站

Aeonflux ⭐ 16

Infinitely presentable (aeon) rerandomisable (flux) anonymous credentials.

Airassembly ⭐ 15

Low-level language for encoding AIR of computations

An Opensource Peer-to-peer communication platform with Zero-Knowledge-Proof based authentication.

Klefki is a playground for researching elliptic curve group based algorithm, such as MPC, ZKP and HE. All data types & structures are based on mathematical defination of abstract algebra.

Sindri Js ⭐ 10

Sindri Zero-Knowledge Proof CLI

ZKPs in Cryptographic Voting

Zero Knowledge Toolkit ⭐ 9

👾 𝗺𝘆 𝗰𝗼𝗱𝗲, 𝗰𝗶𝗿𝗰𝘂𝗶𝘁𝘀, 𝗮𝗻𝗱 𝘀𝘁𝘂𝗱𝗶𝗲𝘀 𝗼𝗻 𝘇𝗸𝗽

Libsnark Playground ⭐ 8

A bunch of "hello world" libsnark gadgets

Obsolete Zoin Do Not Use ⭐ 8

Community Built Zerocoin Protocol Digital Currency

Substrate Arkworks Examples ⭐ 7

Example implementation of curve arithmetic for the ark-substrate curves

A(n almost) complete atlas of contemporary Zero-Knowledge Proof technologies

Winterfell ⭐ 6

A fork of the novifinancial/winterfell STARK library.

Compact linkable ring signatures. A modification on MLSAG.

zkSNARKs as a service using secure multi-party computation.

Unigro16js ⭐ 5

Universial Groth16 implemented in js

Fiatshamirprotocol ⭐ 5

OOP Fiat-Shamir Zero Knowledge Protocol implementation

Related Searches

Cryptography Cryptocurrency (1,621)

Bitcoin Cryptography (1,059)

Python Cryptography (1,005)

Blockchain Cryptography (918)

Encryption Cryptography (844)

C Cryptography (777)

Golang Cryptography (734)

C Plus Plus Cryptography (706)

Security Cryptography (702)

Ethereum Cryptography (647)

1-68 of 68 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.