An open API service providing repository metadata for many open source software ecosystems.

Topic: "zkproof-prover"

trailofbits/reverie

An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.

Language: Rust - Size: 1.61 MB - Last synced at: 7 days ago - Pushed at: about 2 years ago - Stars: 61 - Forks: 6

z-prize/2022-entries

ZPrize 2022 - All qualified entries

Language: Rust - Size: 45.2 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 43 - Forks: 14

NilFoundation/proof-market-toolchain 📦

A toolchain for interaction with the Proof Market protocol.

Language: C++ - Size: 2.7 MB - Last synced at: 6 months ago - Pushed at: over 1 year ago - Stars: 23 - Forks: 5

arcxteam/nexus-node

Docker Complete Guide - Run Nexus node as Prover Network.

Language: Shell - Size: 115 KB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 14 - Forks: 7

genovatix/go-libzk13

ZK13: A Super Fast Zero-Knowledge Proof Protocol for Set Membership

Language: Go - Size: 11.4 MB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 6 - Forks: 3

dusk-network/dusk-blindbidproof 📦

Implementation of Dusk Network privacy-oriented PoS protocol, aka Proof of Blind Bid

Language: Rust - Size: 22.8 MB - Last synced at: 9 days ago - Pushed at: over 5 years ago - Stars: 4 - Forks: 1

laving5olegreiner/Airdrop_bot

Language: Assembly - Size: 66.4 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0