Awesome Open Source

Programming Languages

Search results for rust zk snarks

19 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

Owshen ⭐ 1,996

Bazuka ⭐ 1,065

Rust implementation of Ziesha protocol

Darkfi ⭐ 1,008

Anonymous. Uncensored. Sovereign.

Spartan ⭐ 595

Spartan: High-speed zkSNARKs without trusted setup

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.

Proof Systems ⭐ 348

The proof systems used by Mina

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

A Rust library for the Marlin preprocessing zkSNARK

Groth16 ⭐ 182

A Rust implementation of the Groth16 zkSNARK

Zero Chain ⭐ 181

A privacy-preserving blockchain on Substrate

Zk Nullifier Sig ⭐ 103

Implementation of PLUME: nullifier friendly signature scheme on ECDSA

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

Rustic programming language that targets the Ethereum Virtual Machine

Bellman zkSNARK library for community with Ethereum's BN256 support

Recursive SNARKs based on Plonk and Halo

Orochimaru ⭐ 52

Orochi Network monorepo of its full-node client

Rust crypto library for data privacy tools

A Rust library for building R1CS gadgets

Argument systems for inner pairing products

Configurable Asset Privacy

An experimental rust zksnarks compiler with embeeded bellman-bn128 prover

Elusiv Solana program library

Kogarashi ⭐ 25

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

Aleo Prove Bench ⭐ 24

Aleo prove benchmark scripts for testnet3 with GPU.

Bellman Substrate ⭐ 17

A library for supporting zk-SNARKs to Substrate

Pasta Msm ⭐ 17

High-performance Multi-scalar Multiplication for Pasta curves

Zcash Sprout Verifier ⭐ 17

Alternative zk-SNARK proof verifier written in Rust for Zcash Sprout.

Lx Sonic ⭐ 14

Sonic implementation in Rust

Edcon2019_material ⭐ 12

Materials for Edcon 2019 webcast

ANonymous VOting platform on NEAR Protocol

A Rust library for the preprocessing zkSNARK of Groth and Maller

Zk Toolkit ⭐ 5

Library built from scratch to implement zk-protocols

Related Searches

Command Line Rust (3,187)

Javascript Rust (1,421)

Video Game Rust (1,177)

Rust Bindings (1,155)

Typescript Rust (1,111)

Rust Language (1,000)

Python Rust (966)

C Plus Plus Rust (885)

Rust Terminal (748)

1-19 of 19 search results

Privacy | About | Terms | Follow Us On Twitter

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