Awesome Open Source

Programming Languages

Search results for rust zero knowledge

zero-knowledge x

62 search results found

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

Snarkos ⭐ 3,476

A Decentralized Operating System for ZK Applications

Risc0 ⭐ 1,231

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

Bazuka ⭐ 1,065

Rust implementation of Ziesha protocol

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 Halo2 zero-knowledge proving system

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.

Ministark ⭐ 296

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

A pure Rust PLONK implementation using arkworks as a backend.

a GPU Library for Zero-Knowledge Acceleration

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.

Zero Chain ⭐ 181

A privacy-preserving blockchain on Substrate

Renegade ⭐ 151

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

blaze is a Rust library for ZK acceleration on Xilinx FPGAs.

Zkp Compiler Shootout ⭐ 108

Evaluating & benchmarking ZKP compilation strategies.

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

Experimental zero-knowledge proof compiler in Rust macros

Noname: a programming language to write zkapps

Bellman zkSNARK library for community with Ethereum's BN256 support

Twenty First ⭐ 67

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

Renegade Contracts ⭐ 67

Smart contracts for on-chain anonymous settlement.

Zero Knowledge Gadgets ⭐ 65

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

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

Zk Light Client Implementation ⭐ 61

Zero Knowledge Light Client Implementation by Zpoken team.

Libzkchannels ⭐ 59

zkChannels: Anonymous Payment Channels for Bitcoin, Zcash, Tezos and more

Aleph Node ⭐ 58

Node implementation for aleph blockchain built with Substrate framework

Pebble Stark ⭐ 58

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

Dkg Substrate ⭐ 56

Multy-party threshold ECDSA (GG20) Substrate node

Orochimaru ⭐ 52

Orochi Network monorepo of its full-node client

Crypto In Action ⭐ 42

algebra arithmetic, finite fields, elliptic curves, zero-knowledge

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

Elusiv Solana program library

A mixer for Substrate using multiple zero-knowledge backends.

Rofl Project Code ⭐ 22

An MPC as a service restaking network.

Hades252 ⭐ 21

Implementation of the Hades permutation algorithm used in Poseidon Hashes with ZKProof capabilities.

Dusk Blindbid ⭐ 18

Implementation of the blindbid logic within Zero Knowledge Proofs

ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol

Pasta Msm ⭐ 17

High-performance Multi-scalar Multiplication for Pasta curves

Aeonflux ⭐ 16

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

Dalek Rangeproofs ⭐ 16

This was a pure-Rust implementation of a rangeproof scheme. It is now obsoleted by Bulletproofs.

Lx Sonic ⭐ 14

Sonic implementation in Rust

Edcon2019_material ⭐ 12

Materials for Edcon 2019 webcast

Elastic Elgamal ⭐ 10

ElGamal encryption and related zero-knowledge proofs

Decentralized Protocols Research ⭐ 10

👾 𝗽𝗿𝗼𝘁𝗼𝗰𝗼𝗹 𝗱𝗲𝘀𝗶𝗴𝗻, 𝗶𝗻𝗰𝗲𝗻𝘁𝗶𝘃𝗲𝘀, 𝗴𝗮𝗺𝗲 𝘁𝗵𝗲𝗼𝗿𝘆, 𝗰𝗿𝘆𝗽𝘁𝗼𝗴𝗿𝗮𝗽𝗵𝘆, 𝗱𝗮, 𝗼𝗽𝘁𝗶𝗺𝗶𝘇𝗮𝘁𝗶𝗼𝗻

Zk Sunade ⭐ 10

Groth16 verifier on Arbitrum Stylus

Zero Knowledge Toolkit ⭐ 9

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

Substrate Arkworks Examples ⭐ 7

Example implementation of curve arithmetic for the ark-substrate curves

Mozzarella ⭐ 7

Vector OLE and zero-knowledge for Z2k. https://ia.cr/2022/819

zkSNARKs as a service using secure multi-party computation.

Winterfell ⭐ 6

A fork of the novifinancial/winterfell STARK library.

Compact linkable ring signatures. A modification on MLSAG.

An attempt to use risc0 with ink!

Related Searches

Command Line Rust (3,187)

Javascript Rust (1,421)

Video Game Rust (1,219)

Rust Bindings (1,155)

Typescript Rust (1,111)

Rust Language (1,000)

Python Rust (966)

C Plus Plus Rust (885)

Rust Terminal (748)

1-62 of 62 search results

Privacy | About | Terms | Follow Us On Twitter

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