Awesome Open Source

Programming Languages

The Top 23 Zkp Open Source Projects

Open source projects categorized as Zkp

Categories > Zkp

Edit Category

Sismo Badges ⭐ 16,251

Contracts of the Sismo Badge Minting Protocol

most recent commit 8 months ago

Namada ⭐ 2,252

Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy

most recent commit 4 months ago

Gnark ⭐ 1,309

gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license

dependent packages 30total releases 111most recent commit a day ago

Cairo ⭐ 1,276

Cairo is the first Turing-complete language for creating provable programs for general computation.

dependent packages 38total releases 43most recent commit 4 months ago

cargo cairo-lang-utils} Downloads

Snarkvm ⭐ 843

A Virtual Machine for Zero-Knowledge Executions

dependent packages 42total releases 91most recent commit 4 months ago

cargo snarkvm-utilities} Downloads

The privacy-focused cryptocurrency

most recent commit 2 months ago

Indy Sdk ⭐ 666

dependent packages 20total releases 419most recent commit 7 months ago

npm indy-sdk} Downloads

Cairo Vm ⭐ 462

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.

dependent packages 8total releases 25most recent commit a month ago

cargo cairo-vm} Downloads

Gnark Crypto ⭐ 460

gnark-crypto provides elliptic curve and pairing-based cryptography on BN, BLS12, BLS24 and BW6 curves. It also provides various algorithms (algebra, crypto) of particular interest to zero knowledge proof systems.

dependent packages 493total releases 162most recent commit 20 days ago

Library Of Ethereum ⭐ 271

Curated Collection of Ethereum Ecosystem Resources

most recent commit 5 months ago

The lookup singularity. Based on Spartan; built on Arkworks.

most recent commit 4 months ago

Zk Email Verify ⭐ 236

Verify emails with the same trust assumption as the email domain i.e. without trusting our server (because it doesnt exist)

most recent commit 4 months ago

Constantine ⭐ 225

Constantine: modular, high-performance, zero-dependency cryptography stack for proof systems and blockchain protocols.

most recent commit 4 months ago

Hydra S1 Zkps ⭐ 222

Hydra-S1 ZK Proving scheme circuits, used for ZK Attesters in Sismo

dependent packages 2total releases 12most recent commit a year ago

npm @sismo-core/hydra-s1} Downloads

Zkp App Boilerplate ⭐ 215

Build your zkp app with typescript, hardhat, circom, and snarkjs!

most recent commit 5 months ago

Fastcrypto ⭐ 207

Common cryptographic library used in software at Mysten Labs.

dependent packages 1total releases 10most recent commit 4 months ago

cargo fastcrypto} Downloads

Ethereum L2 scaling solution for private transactions using zk-SNARK and optimistic rollup.

most recent commit a year ago

Alexandria ⭐ 179

Community maintained Cairo 1.0 library.

most recent commit 4 months ago

Awesome Cairo ⭐ 159

Resources for Cairo 1.0 development.

most recent commit 6 months ago

Wedpr Lab Core ⭐ 156

Core libraries of WeDPR instant scenario-focused solutions for privacy-inspired business; WeDPR即时可用场景式隐私保护高效解决方案核心算法组件

most recent commit a year ago

Vamp Ir ⭐ 152

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

most recent commit 9 months ago

Sandstorm ⭐ 146

Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)

most recent commit 6 months ago

Zero Knowledge Mastery ⭐ 132

This repository contains list of resources to aid your journey of mastering Zero Knowledge Proofs. If you find any resource missing, you can create a pull request and be a contributor of the project.

most recent commit 4 months ago

The 10 Most Depended On Zkp Open Source Projects

Gnark Crypto ⭐ 460

gnark-crypto provides elliptic curve and pairing-based cryptography on BN, BLS12, BLS24 and BW6 curves. It also provides various algorithms (algebra, crypto) of particular interest to zero knowledge proof systems.

dependent packages 493total releases 162latest release October 05, 2023most recent commit 20 days ago

Snarkvm ⭐ 843

A Virtual Machine for Zero-Knowledge Executions

dependent packages 42total releases 91latest release November 25, 2023most recent commit 4 months ago

cargo snarkvm-utilities} Downloads

Cairo ⭐ 1,276

Cairo is the first Turing-complete language for creating provable programs for general computation.

dependent packages 38total releases 43latest release November 26, 2023most recent commit 4 months ago

cargo cairo-lang-utils} Downloads

Gnark ⭐ 1,309

gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license

dependent packages 30total releases 111latest release October 16, 2023most recent commit a day ago

Indy Sdk ⭐ 666

dependent packages 20total releases 419latest release April 12, 2022most recent commit 7 months ago

npm indy-sdk} Downloads

Cairo Vm ⭐ 462

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.

dependent packages 8total releases 25latest release December 10, 2023most recent commit a month ago

cargo cairo-vm} Downloads

Bellman zkSNARK library for community with Ethereum's BN256 support

dependent packages 3total releases 5latest release June 17, 2020most recent commit 3 years ago

cargo bellman_ce} Downloads

Crypt Keeper Extension ⭐ 29

🌐 🔌 💀 CryptKeeper browser extension is a zero knowledge identity management and proof generation tool.

dependent packages 2total releases 1latest release September 26, 2023most recent commit 6 months ago

npm @cryptkeeperzk/types} Downloads

Blind Find ⭐ 7

A peer-to-peer network allowing private peer search proposed by Barry Whitehat and Kobi Gurkan.

dependent packages 2total releases 12latest release April 12, 2021most recent commit 3 years ago

npm blind-find} Downloads

Hydra S1 Zkps ⭐ 222

Hydra-S1 ZK Proving scheme circuits, used for ZK Attesters in Sismo

dependent packages 2total releases 12latest release March 08, 2023most recent commit a year ago

npm @sismo-core/hydra-s1} Downloads

The 10 Latest Releases In Zkp Open Source Projects

Cairo Vm ⭐ 462

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.

dependent packages 8total releases 25latest release December 10, 2023most recent commit a month ago

cargo cairo-vm} Downloads

Cairo ⭐ 1,276

Cairo is the first Turing-complete language for creating provable programs for general computation.

dependent packages 38total releases 43latest release November 26, 2023most recent commit 4 months ago

cargo cairo-lang-utils} Downloads

Snarkvm ⭐ 843

A Virtual Machine for Zero-Knowledge Executions

dependent packages 42total releases 91latest release November 25, 2023most recent commit 4 months ago

cargo snarkvm-utilities} Downloads

Fastcrypto ⭐ 207

Common cryptographic library used in software at Mysten Labs.

dependent packages 1total releases 10latest release October 24, 2023most recent commit 4 months ago

cargo fastcrypto} Downloads

Gnark ⭐ 1,309

gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license

dependent packages 30total releases 111latest release October 16, 2023most recent commit a day ago

Gnark Crypto ⭐ 460

gnark-crypto provides elliptic curve and pairing-based cryptography on BN, BLS12, BLS24 and BW6 curves. It also provides various algorithms (algebra, crypto) of particular interest to zero knowledge proof systems.

dependent packages 493total releases 162latest release October 05, 2023most recent commit 20 days ago

Crypt Keeper Extension ⭐ 29

🌐 🔌 💀 CryptKeeper browser extension is a zero knowledge identity management and proof generation tool.

dependent packages 2total releases 1latest release September 26, 2023most recent commit 6 months ago

npm @cryptkeeperzk/types} Downloads

Docs website for the Mina Protocol.

total releases 4latest release September 05, 2023most recent commit 4 months ago

Bulletproofs Gadgets ⭐ 10

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

dependent packages 1total releases 5latest release August 28, 2023most recent commit 9 months ago

Zkdatabase ⭐ 30

zkDatabase, a distributed off-chain database with ZK prover

dependent packages 1total releases 5latest release August 20, 2023most recent commit 4 months ago

npm @zkdb/kubo} Downloads

Categories

Application Programming Interfaces

Artificial Intelligence

Cloud Computing

Command Line Interface

Computer Science

Configuration Management

Content Management

Data Processing

Integrated Development Environments

Learning Resources

Lists Of Projects

Machine Learning

Operating Systems

Package Managers

Programming Languages

Runtime Environments

Software Architecture

Software Development

Software Performance

Software Quality

Text Processing

User Interface Components

Version Control

Web User Interface

Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

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