Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for rust zkp
rust
x
zkp
x
24 search results found
Namada
⭐
2,252
Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy
Cairo
⭐
1,276
Cairo is the first Turing-complete language for creating provable programs for general computation.
Snarkvm
⭐
843
A Virtual Machine for Zero-Knowledge Executions
Indy Sdk
⭐
666
indy-sdk
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.
Lasso
⭐
264
The lookup singularity. Based on Spartan; built on Arkworks.
Fastcrypto
⭐
207
Common cryptographic library used in software at Mysten Labs.
Wedpr Lab Core
⭐
156
Core libraries of WeDPR instant scenario-focused solutions for privacy-inspired business; WeDPR即时可用场景式隐私保护高效解决方案核心算法组件
Sandstorm
⭐
146
Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
Zkp Compiler Shootout
⭐
108
Evaluating & benchmarking ZKP compilation strategies.
Noah
⭐
91
Noah is a library that provide tools to create and verify public transaction with confidential data.
Eigen Zkvm
⭐
87
A private zkVM basing on layered proof system
Bellman
⭐
70
Bellman zkSNARK library for community with Ethereum's BN256 support
Zk Light Client Implementation
⭐
61
Zero Knowledge Light Client Implementation by Zpoken team.
Sirius
⭐
61
A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
Gkr
⭐
33
zero knowledge proof aggregator for general circuit
Wedpr Lab Crypto
⭐
29
Cryptography libraries of WeDPR instant scenario-focused solutions for privacy-inspired business; WeDPR即时可用场景式隐私保护高效解决方案密码学算法组件
Kogarashi
⭐
25
A Next-Generation Composable Hybrid Smart Contract and (De)Centralized Merged Application Platform
Halo2 Verifier.move
⭐
12
A set of tooling of halo2 circuits verification in Move environments
Edcon2019_material
⭐
12
Materials for Edcon 2019 webcast
Decentralized Protocols Research
⭐
10
👾 𝗽𝗿𝗼𝘁𝗼𝗰𝗼𝗹 𝗱𝗲𝘀𝗶𝗴𝗻, 𝗶𝗻𝗰𝗲𝗻𝘁𝗶𝘃𝗲𝘀, 𝗴𝗮𝗺𝗲 𝘁𝗵𝗲𝗼𝗿𝘆, 𝗰𝗿𝘆𝗽𝘁𝗼𝗴𝗿𝗮𝗽𝗵𝘆, 𝗱𝗮, 𝗼𝗽𝘁𝗶𝗺𝗶𝘇𝗮𝘁𝗶𝗼𝗻
Zero Knowledge Toolkit
⭐
9
👾 𝗺𝘆 𝗰𝗼𝗱𝗲, 𝗰𝗶𝗿𝗰𝘂𝗶𝘁𝘀, 𝗮𝗻𝗱 𝘀𝘁𝘂𝗱𝗶𝗲𝘀 𝗼𝗻 𝘇𝗸𝗽
Circom Lsp
⭐
9
A Language Server Protocol Implementation for Circom
Winterfell
⭐
6
A fork of the novifinancial/winterfell STARK library.
Related Searches
Command Line Rust (3,187)
Rust R (1,912)
Javascript Rust (1,421)
Video Game Rust (1,177)
Rust Bindings (1,155)
Typescript Rust (1,111)
Rust Language (1,068)
Python Rust (966)
C Plus Plus Rust (885)
Rust Terminal (748)
1-24 of 24 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.