Awesome Open Source

Programming Languages

Search results for cryptography zk snarks

19 search results found

Snarkos ⭐ 3,476

A Decentralized Operating System for ZK Applications

Darkfi ⭐ 1,008

Anonymous. Uncensored. Sovereign.

Bulletproofs ⭐ 523

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

Gnark Crypto ⭐ 448

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.

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.

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

A Rust library for the Marlin preprocessing zkSNARK

Noble Bls12 381 ⭐ 199

DEPRECATED. Use noble-curves instead. Fastest JS implementation of BLS12-381.

Groth16 ⭐ 182

A Rust implementation of the Groth16 zkSNARK

Java library for distributed zero knowledge proof systems

Zk Nullifier Sig ⭐ 103

Implementation of PLUME: nullifier friendly signature scheme on ECDSA

Zero Knowledge Proofs Learning Resources ⭐ 74

This repository contains Zk learning resources

Recursive SNARKs based on Plonk and Halo

Rust crypto library for data privacy tools

A Rust library for building R1CS gadgets

Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings

Argument systems for inner pairing products

Red Packet Contract ⭐ 32

Crypto red packet with zk-proof.

An experimental rust zksnarks compiler with embeeded bellman-bn128 prover

Crypto3 Zk ⭐ 28

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

Kogarashi ⭐ 25

A Next-Generation Composable Hybrid Smart Contract and (De)Centralized Merged Application Platform

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.

ZPiE: Zero-knowledge Proofs in Embedded systems

Designated Verifier Proof ⭐ 18

Reusable component to add a designated verifier to your zk circom circuit. It means that the zk proof generated from your circuit cannot be verified by someonewho is not the designated verifier (identified by its ethereum public address)

Ptau Deserializer ⭐ 18

.ptau deserializer for gnark groth16 bn254 trusted setup

Crypto Wasm Ts ⭐ 15

Typescript abstractions over Rust crypto library's WASM wrapper

Pyt Circuits ⭐ 14

Circuits, written in circom, for Proof Of Solvency

Zksnarks ⭐ 12

ZK-Snarks in English

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.

Libsnark Playground ⭐ 8

A bunch of "hello world" libsnark gadgets

ANonymous VOting platform on NEAR Protocol

A Rust library for the preprocessing zkSNARK of Groth and Maller

My_learning_cryptography ⭐ 6

Learn about cryptography concepts - Both basics and core.

Zcon presentations

Zk Toolkit ⭐ 5

Library built from scratch to implement zk-protocols

Related Searches

Javascript Cryptography (1,975)

Cryptography Cryptocurrency (1,554)

Encryption Cryptography (1,357)

Bitcoin Cryptography (1,009)

Python Cryptography (1,005)

Golang Cryptography (823)

C Cryptography (760)

Security Cryptography (702)

C Plus Plus Cryptography (650)

Cryptography Cipher (573)

1-19 of 19 search results

Privacy | About | Terms | Follow Us On Twitter

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