Projects in Awesome Lists tagged with zero-knowledge-proofs

https://github.com/mimblewimble/grin

Minimal implementation of the Mimblewimble protocol.

cryptocurrency cryptography grin mimblewimble rust zero-knowledge-proofs

Last synced: 08 Mar 2026

https://github.com/WTFAcademy/WTF-zk

零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP

abstract-algebra bitcoin blockchain cryptography elliptic-curve-cryptography elliptic-curves ethereum group-theory number-theory snark stark zero-knowledge zero-knowledge-proofs zk zkp zkproof zksnarks

Last synced: 05 Apr 2025

https://github.com/wtfacademy/wtf-zk

零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP

abstract-algebra bitcoin blockchain cryptography elliptic-curve-cryptography elliptic-curves ethereum group-theory number-theory snark stark zero-knowledge zero-knowledge-proofs zk zkp zkproof zksnarks

Last synced: 10 Apr 2025

https://github.com/starkware-libs/cairo

Cairo is the first Turing-complete language for creating provable programs for general computation.

cairo computational-integrity starknet zero-knowledge-proofs zkp

Last synced: 17 Feb 2026

https://github.com/semaphore-protocol/semaphore

A zero-knowledge protocol for anonymous interactions.

circom ethereum hacktoberfest javascript monorepo proof-of-membership semaphore solidity typescript zero-knowledge zero-knowledge-proofs zk-snarks

Last synced: 17 Feb 2026

https://github.com/arkworks-rs/snark

Interfaces for Relations and SNARKs for these relations

cryptography r1cs zero-knowledge-proofs

Last synced: 01 Apr 2025

https://github.com/microsoft/spartan

Spartan: High-speed zkSNARKs without trusted setup

cryptography-library nizk rust-library verifiable-computing zero-knowledge-proofs zksnarks

Last synced: 14 May 2025

https://github.com/microsoft/Spartan

Spartan: High-speed zkSNARKs without trusted setup

cryptography-library nizk rust-library verifiable-computing zero-knowledge-proofs zksnarks

Last synced: 01 Apr 2025

https://github.com/firoorg/firo

The privacy-focused cryptocurrency

asic-resistant blockchain cryptocurrency cryptography lelantus merkle-tree merkle-tree-proof-of-work p2p privacy sigma zcoin zero-knowledge zero-knowledge-proofs zerocoin zkp

Last synced: 17 Jan 2026

https://github.com/lambdaclass/lambdaworks

lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.

cryptography mathematics zero-knowledge-proofs

Last synced: 15 May 2025

https://github.com/AztecProtocol/aztec-v1

Public repository for the AZTEC V1 protocol. For the latest zkRollup release see here https://github.com/AztecProtocol/aztec-2-bug-bounty

aztec blockchain confidentiality ethereum ethereum-blockchain privacy protocol zero-knowledge-proofs

Last synced: 12 May 2025

https://github.com/ethereum-oasis-op/baseline

The Baseline Protocol is an open source initiative that combines advances in cryptography, messaging, and distributed ledger technology to enable confidential and complex coordination between enterprises while keeping data in systems of record. This repo serves as the main repo for the Baseline Protocol, containing core packages, examples, and reference implementations.

docker docker-compose ethereum geth gnark graphql nodejs protocol reactjs smart-contracts solidity zero-knowledge-proofs zk-snarks

Last synced: 17 Jul 2025

https://github.com/LatticeX-Foundation/Rosetta

A Privacy-Preserving Framework Based on TensorFlow

federated-learning homomorphic-encryption privacy-preserving-machine-learning secure-computation secure-multiparty-computation zero-knowledge-proofs

Last synced: 02 May 2025

https://github.com/o1-labs/proof-systems

The proof systems used by Mina

bulletproofs kimchi plonk recursive-zkps zero-knowledge-proofs zksnarks

Last synced: 15 May 2025

https://o1-labs.github.io/proof-systems/

The proof systems used by Mina

bulletproofs kimchi plonk recursive-zkps zero-knowledge-proofs zksnarks

Last synced: 23 Apr 2025

https://github.com/EspressoSystems/jellyfish

A Rust Implementation of the PLONK ZKP System and Extensions

plonk rust zero-knowledge-proofs

Last synced: 25 Sep 2025

https://github.com/vatsi2/dex-crypto-mixer-tor-btc-eth-xmr

A privacy-first crypto mixer for Bitcoin, Ethereum, Monero, Secret Network, Zcash, and more. Use cross-chain swaps via DEXs (THORChain, SecretSwap) and DAOs (Tornado Cash, Aztec) to anonymize funds. Route transactions through Tor, zk-proofs, and custom networks—just add your chains in settings.

anonymity bitcoin btc cryptocurrency cybersecurity darknet eth ethereum ltc monero privacy-tools python ram-cleaner thorchain tor tor-integration tornadocash xmr zero-knowledge-proofs zk-snarks

Last synced: 26 Mar 2025

https://github.com/vatsi2/crosschain-anonymizer-cca

CrossChain Anonymizer is an open-source, self-hosted crypto mixer for 100% anonymous cross-chain transactions. Leveraging ZK-proofs, decentralized exchanges (DEX), and privacy-focused blockchains, it ensures untraceable transfers across Bitcoin, Monero, Ethereum, and more.

anonymity bitcoin btc crypto-mixer cryptocurrency cybersecurity darknet eth ethereum ltc privacy-tools python ram-cleaner thorchain tor tor-integration tornadocash xmr zero-knowledge-proofs zk-snarks

Last synced: 23 Mar 2025

https://github.com/ZenGo-X/curv

Rust language general purpose elliptic curve cryptography.

bignumber cryptography elliptic-curves rust zero-knowledge-proofs

Last synced: 18 Apr 2025

https://github.com/Manta-Network/Manta

The main repo for manta blockchain nodes.

blockchain crytpocurrency kusama manta polkadot rust substrate zero-knowledge-proofs

Last synced: 18 Apr 2025

https://github.com/scipr-lab/dizk

Java library for distributed zero knowledge proof systems

cryptography distributed-computing zero-knowledge-proofs zksnarks

Last synced: 30 Dec 2025

https://github.com/yetanotherco/aligned_layer

Aligned is a verification layer for zero-knowledge proofs using EigenLayer. Our mission is to accelerate the adoption of zero-knowledge and validity proofs on Ethereum.

eigenlayer ethereum restaking zero-knowledge-proofs

Last synced: 15 May 2025

https://github.com/quillhash/zero-knowledge-mastery

This repository contains list of resources to aid your journey of mastering Zero Knowledge Proofs. If you find any resource missing, you can create a pull request and be a contributor of the project.

ethereum zero-knowledge-proofs zk-snarks zkp zksync

Last synced: 08 Apr 2025

https://github.com/sec-bit/zkPoD-node

zkPoD: A decentralized system for perfect fair data exchange

confidentiality data-exchange decentralized-internet fair-exchange privacy zero-knowledge-proofs

Last synced: 04 Apr 2025

https://github.com/sec-bit/zkpod-node

zkPoD: A decentralized system for perfect fair data exchange

confidentiality data-exchange decentralized-internet fair-exchange privacy zero-knowledge-proofs

Last synced: 13 Jul 2025

https://github.com/ing-bank/threshold-signatures

Threshold Signature Scheme for ECDSA

bitcoin-transaction cryptocurrency cryptography ecdsa ethereum homomorphic-encryption rust secure-multi-party-computation zero-knowledge-proofs

Last synced: 18 Apr 2025

https://github.com/supranational/sppark

Zero-knowledge template library

bls12-377 bls12-381 cuda ntt pasta-curves rocm zero-knowledge zero-knowledge-proofs zk-snarks zk-starks

Last synced: 12 Apr 2025

https://github.com/keep-starknet-strange/garaga

State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.

cairo-lang elliptic-curve-cryptography elliptic-curves pairing snarks starknet starks zero-knowledge zero-knowledge-proofs zk-snarks zkp

Last synced: 05 Mar 2026

https://github.com/snarkify/sirius

A Plonkish folding framework for Incrementally Verifiable Computation (IVC).

cryptography ivc nova proof-system protostar zero-knowledge-proofs zkp

Last synced: 18 Apr 2025

https://github.com/matter-labs/bellman

Bellman zkSNARK library for community with Ethereum's BN256 support

bellman rust team-crypto zero-knowledge zero-knowledge-proofs zkp zksnark zksnarks

Last synced: 30 Dec 2025

https://github.com/kkrt-labs/kakarot-ssj

Kakarot zkEVM - rewrite in the latest version of Cairo

cairo-lang starknet zero-knowledge-proofs zkevm

Last synced: 14 Mar 2025

https://github.com/ZenGo-X/zk-paillier

A collection of Paillier cryptosystem zero knowledge proofs

paillier secure-computation zero-knowledge-proofs

Last synced: 17 Jul 2025

https://github.com/eddieoz/haal

Hääl - Anonymous Electronic Voting System on Public Blockchains

blockchain blockchains dapp digital-signatures e-voting electronic-voting ethereum ganache homomorphic-encryption proof protocol smart-contracts stealth-wallets votes voting-system whitepaper zero-knowledge-proofs zk-snarks

Last synced: 15 Apr 2025

https://github.com/mattrglobal/bbs-signatures

An implementation of BBS+ signatures for node and browser environments

assurance cryptography digital-signature nucleus wasm zero-knowledge-proofs

Last synced: 08 May 2025

https://github.com/docknetwork/crypto

Rust crypto library for data privacy tools

accumulator anonymous-credentials cryptography delegatable-credentials distributed-key-generation dkg group-signatures oblivious-transfer publicly-verifiable-secret-sharing range-proofs schnorr secret-sharing sigma-protocol signatures structure-preserving-signatures threshold-signatures verifiable-encryption verifiable-secret-sharing zero-knowledge-proofs zk-snarks

Last synced: 11 Apr 2025

https://github.com/starkware-bitcoin/raito

Bitcoin ZK client written in Cairo.

bitcoin cairo stark zero-knowledge-proofs

Last synced: 05 Nov 2025

https://github.com/namada-net/masp

The multi-asset shielded pool (MASP) provides a unified privacy set for all assets on Namada.

blockchain decentralization masp namada privacy zero-knowledge-proofs

Last synced: 21 Jul 2025

https://github.com/lovesh/bulletproofs-r1cs-gadgets

Arithmatic circuits convertible to R1CS based on Bulletproofs

bulletproofs r1cs zero-knowledge-proofs

Last synced: 09 Mar 2026

https://github.com/eth-sri/zkay

A programming language and compiler which enable automatic compilation of intuitive data privacy specifications to NIZK-enabled private smart contracts.

blockchain compiler ethereum privacy programming-language zero-knowledge-proofs

Last synced: 23 Jul 2025

https://github.com/0xfuturistic/zkuniswap

🦄 UniswapV3 fork that computes swaps off-chain via a zkVM

automated-market-makers zero-knowledge-proofs zero-knowledge-virtual-machines

Last synced: 19 Apr 2025

https://github.com/harryr/ethsnarks-miximus

Example project for EthSnarks - Miximus coin mixer

anonymity cryptocurrency ethereum ethsnarks mixer privacy zero-knowledge-proofs zk-snarks

Last synced: 11 Apr 2025

https://github.com/ZenGo-X/bulletproofs

Bulletproofs and Bulletproofs+ Rust implementation for Aggregated Range Proofs over multiple elliptic curves

bulletproofs elliptic-curves zero-knowledge-proofs

Last synced: 01 Apr 2025

https://github.com/boundless-xyz/kailua

The Ultimate ZK Proving Software Suite for Securing OP Rollups

dispute-resolution evm kailua optimism rollups security zero-knowledge-proofs

Last synced: 20 Feb 2026

https://github.com/mattrglobal/node-bbs-signatures

An implementation of BBS+ signatures using rust and typescript for node.js

assurance cryptography digital-signature nucleus zero-knowledge-proofs

Last synced: 13 Apr 2025

https://github.com/keep-starknet-strange/raito

Bitcoin ZK client written in Cairo.

bitcoin cairo stark zero-knowledge-proofs

Last synced: 07 Apr 2025

https://github.com/clearmatics/zeth

Integration of Zerocash on Ethereum: https://arxiv.org/abs/1904.00905

clearmatics-research ethereum mixer privacy research-and-development zero-knowledge-proofs zerocash zeth zk-snarks

Last synced: 23 Jan 2026

https://github.com/o1-labs/zkapp-resource-kit

This repository is a resource kit contains links to all code, tools, documentation, and learning materials necessary to successfully become a zkApp developer and contributor. Add your projects or findings here!

developer-experience developer-experience-kit developer-tools mina mina-protocol zero-knowledge zero-knowledge-proofs

Last synced: 25 Jan 2026

https://github.com/sec-bit/ckb-zkp

Zero Knowledge Proofs Toolkit for CKB

ckb nervos smart-contracts zero-knowledge-proofs

Last synced: 13 Jul 2025

https://github.com/zkmove/zkmove-lite

A fast zero-knowledge proof friendly Move language runtime environment.

move-language virtual-machine zero-knowledge-proofs

Last synced: 18 Apr 2025

https://github.com/zhenfeizhang/pasta-solidity

A Solidity implementation of Halo2's Pasta curves

curves smart-contracts zero-knowledge-proofs

Last synced: 03 Aug 2025

https://github.com/risc0/kailua

The Ultimate ZK Proving Software Suite for Securing OP Rollups

dispute-resolution evm kailua optimism rollups security zero-knowledge-proofs

Last synced: 11 Jun 2025

https://github.com/kimiwu123/samples

Samples of Ethereum smart contracts, golang and circom for beginners.

circom ethereum golang solidity zero-knowledge-proofs

Last synced: 27 Feb 2026

https://github.com/docknetwork/crypto-wasm-ts

Typescript abstractions over Rust crypto library's WASM wrapper

accumulator anonymous-credentials circom cryptography privacy-enhancing-technologies signature-scheme zero-knowledge-proofs zk-snarks

Last synced: 16 Oct 2025

https://github.com/LayerXcom/bellman-substrate

A library for supporting zk-SNARKs to Substrate

rust substrate zero-knowledge-proofs zk-snarks

Last synced: 11 Oct 2025

https://github.com/concordium/concordium-base

Core Rust and Haskell libraries used by various components of the Concordium blockchain, as well as some tools used for testing and development.

blockchain cryptography haskell rust wasm zero-knowledge-proofs

Last synced: 04 Apr 2025

https://github.com/jarrodwatts/polygon-id

A demo application using Polygon ID to submit ZK proofs of the user's age.

zero-knowledge-proofs

Last synced: 25 Jul 2025

https://github.com/xevisalle/zpie

ZPiE: Zero-knowledge Proofs in Embedded systems

arithmetic-circuits bulletproofs c cryptography range-proofs zero-knowledge-proofs zk-snarks

Last synced: 03 Jul 2025

https://github.com/antoinerondelet/zerocash-ethereum

Smart contract - Zerocash-like approach for privacy on Ethereum

ethereum privacy proposal zero-knowledge-proofs zk-snarks

Last synced: 02 May 2025

https://github.com/abdelstark/askeladd

Powering Verifiable Computation for Nostr Data Vending Machines.

bitcoin circle-stark lightning-network nip-90 nostr nostr-dvm starknet stwo zero-knowledge-proofs

Last synced: 16 Apr 2025

https://github.com/sec-bit/zkpod-lib

The underlying core library for zkPoD system

crypto fair-exchange zero-knowledge-proofs

Last synced: 16 Sep 2025

https://github.com/docknetwork/crypto-wasm

WASM wrapper over the crypto library

accumulator cryptography rust signature-scheme wasm wasm-bindgen zero-knowledge-proofs

Last synced: 16 Nov 2025

https://github.com/aztecprotocol/aztec-crypto-js

AZTEC proof construction library and utility functions

aztec-notes zero-knowledge-proofs

Last synced: 22 Aug 2025

https://github.com/sec-bit/zkpod-contract

Smart contracts for zkPoD Decentralized Exchange

decentralized-exchange ethereum zero-knowledge-proofs

Last synced: 22 Jun 2025

https://github.com/lambdaclass/aleo_minimum_anti_collusion_infrastructure

Aleo's Minimum Anti-Collusion Infrastructure / MACI

maci rust zero-knowledge-proofs

Last synced: 09 Apr 2025

https://github.com/adria0/a0kzg

Kate-Zaverucha-Goldberg polynomial commitments in rust playground

cryptography kzg-proofs rust zero-knowledge-proofs

Last synced: 06 Apr 2025

https://github.com/alxkzmn/zk-atlas

A(n almost) complete atlas of contemporary Zero-Knowledge Proof technologies

cryptography zero-knowledge zero-knowledge-proof zero-knowledge-proofs zkp zkproof

Last synced: 05 Mar 2026

https://github.com/unitychain/zkvote-node

Using ZK-SNARK to Implement Decentralized Anonymous Voting on p2p Network

dht golang kademlia libp2p p2p zero-knowledge-proofs zkp

Last synced: 05 Mar 2026

https://github.com/nucypher/numerology

Numerology: Optimized ECC arithmetic library for secp256k1 in Solidity

cryptography elliptic-curves secp256k1 solidity zero-knowledge-proofs

Last synced: 24 Apr 2025

https://github.com/abdelstark/cashu-zk-engine

Cashu Protocol ZK engine. Blind Diffie-Hellmann Key Exchange (BDHKE) implementation in Cairo.

bitcoin cairo cashu lightning-network starknet zero-knowledge-proofs

Last synced: 16 Apr 2025

https://github.com/roynalnaruto/range_proof

PoC implementation of polynomial commitment scheme based Range Proofs

polynomial-commitments range-proofs rust-lang zero-knowledge-proofs

Last synced: 12 Oct 2025

https://github.com/cryptimeleon/craco

CRyptogrAphic COnstructions

commitments cryptography digital-signatures encryption prototyping secret-sharing signatures zero-knowledge-proofs

Last synced: 12 Jan 2026

https://github.com/PeaceFounder/ShuffleProofs.jl

Verificatum compatible verifier and prover for NIZK proofs of shuffle

cryptography elgamal nizk verificatum zero-knowledge-proofs

Last synced: 06 Apr 2026

https://github.com/keep-starknet-strange/zkthread

Fractal scaling without fragmentation, powered by the Starknet stack 🐺

cairo fractal-scaling starknet zero-knowledge-proofs

Last synced: 02 Jan 2026

https://github.com/peacefounder/shuffleproofs.jl

Verificatum compatible verifier and prover for NIZK proofs of shuffle

cryptography elgamal nizk verificatum zero-knowledge-proofs

Last synced: 21 Oct 2025

https://github.com/abdelstark/collidervm_toy

ColliderVM: Stateful Computation on Bitcoin without Fraud Proofs

bitcoin bitvm fraud-proofs starks zero-knowledge-proofs

Last synced: 01 May 2025

https://github.com/gigameshgarages/sanguinet

First Ever Digital Blood Bank Bulk Transfusion Workflow Platform that won the OJAS MedTech Accelerator Pitch in 2020.

blockchain-technology blood-availability blood-bags blood-bank blood-bank-management blood-banks blood-donation blood-donation-app blood-transfusion-dataset bloodbank-application ethereum reactjs verified-delay-functions zero-knowledge zero-knowledge-proofs zokrates

Last synced: 13 May 2025

https://github.com/fbac/zkproof-go

Zero Knowledge proof based on Chaum-Pedersen protocol

chaum-pedersen go golang grpc grpc-client grpc-server proof-of-concept zero-knowledge zero-knowledge-proofs zk

Last synced: 14 Mar 2026

https://github.com/exonum/private-currency

Exonum service implementing privacy-preserving cryptocurrency

blockchain bulletproofs cryptocurrency cryptography exonum zero-knowledge-proofs

Last synced: 26 Apr 2025

https://github.com/gizatechxyz/osiris

Osiris is a Python library designed for efficient data conversion and management, primarily transforming data into Cairo programs

cairo data polars-dataframe zero-knowledge-proofs

Last synced: 22 Apr 2025

https://github.com/trustbloc/bbs-signature-go

BBS Signature for Go

bbs cryptography digital-signature go zero-knowledge-proofs

Last synced: 15 Apr 2025

https://github.com/weavechain/weave-py-api

Weavechain Python API

confidential-compute data data-replication distributed-computing homomorphic-encryption layer-0 mpc self-sovereign verifiable-credentials weavechain zero-knowledge-proofs

Last synced: 14 Jan 2026

https://github.com/tr1sm0s1n/aureum-dao

AUREUM, a Charity DAO DApp, built on the Concordium blockchain.

axum concordium dao dapp docker nodejs react rust smart-contracts tokio typescript zero-knowledge-proofs

Last synced: 14 Apr 2025

https://github.com/seiyakobayashi/zero-knowledge-photo

A blockchain network that proves the ownership & originality of photos with zero knowledge technology. The ultimate goal is to differentiate malicious AI-generated deepfakes from human-taken photos, while preserving user privacy.

circom deepfake-detection ethereum photography photos privacy smart-contracts solidity typescript zero-knowledge-proofs zk-circuits zk-snarks

Last synced: 07 Apr 2025

https://github.com/radkomih/cryptography-resources

Cryptography related resources

cryptography knowledge-proofs mathematics number-theory zero-knowledge zero-knowledge-proofs zkp

Last synced: 04 Feb 2026

https://github.com/voxelot/zk-dex

dex solidity zero-knowledge zero-knowledge-proofs zokrates

Last synced: 21 Mar 2025

https://github.com/allianzatech/blockchainallianza

Quantum-safe, bridge-free cross-chain interoperability platform using NIST PQC standards and Zero-Knowledge Proofs.

bitcoin blockchain bridge-free cross-chain cybersecurity decentralized-finance ethereum fintech interoperability nist-pqc nobridge polygon post-quantum-cryptography pqc quantum-safe smart-contracts solana web3 zero-knowledge-proofs zk-proofs

Last synced: 13 Jan 2026

https://github.com/themaskedman981/zk-uniwallet-mit-bitcoin-hackathon-2020

Infrastructure-track prize winner at MIT Bitcoin Hackathon 2020. A universal wallet management with inbuilt zk proof generations

desktop-wallet panacea-sdk wallet-api zero-knowledge-proofs zokrates

Last synced: 12 Oct 2025

https://github.com/dcarpintero/dapp-real-state

Decentralized Digital Marketplace w/ Smart Contracts and ZKPs.

decentralized-application ethereum solidity truffle-framework web3js zero-knowledge-proofs

Last synced: 10 Sep 2025

https://github.com/alxkzmn/spartan-circom

Write Spartan circuits in Circom

circom spartan zero-knowledge zero-knowledge-proofs zk zk-snarks zkp zkproof zksnarks

Last synced: 06 Jul 2025

https://github.com/abdelstark/rpo-xhash-m31

RPO-M31 and XHash-M31: Efficient Hash Functions for Circle STARKs

hashing-algorithms starks zero-knowledge-proofs

Last synced: 16 May 2025

https://github.com/usexfg/xfg-stark

❄️ Winterfell-based STARKs for zero-knowledge COLD collateral proofs and XFG burn proofs 🔥

cd cold embers fire fuego heat stark winterfell xfg zero-knowledge-proofs zk-collateral zk-starks zkstark

Last synced: 05 Mar 2026

https://github.com/hicsail/oracles

Useful zero-knowledge (ZK) problems constructed from real world scenarios.

cryptography zero-knowledge-proofs

Last synced: 30 Nov 2025

https://github.com/mateus-holanda/zkcargopass

zkCargoPass otimiza o desembaraço aduaneiro no Porto de Santos com blockchain e ZK Proofs. Reduz tempo de permanência de cargas e custos de armazenamento, garantindo privacidade dos dados sensíveis.

blockchain nestjs nextjs noir postgresql prisma react smart-contracts zero-knowledge-proofs zkverify

Last synced: 03 Mar 2026

https://github.com/semiott/terrainnet

Post Pandemic Climate Conservation System using Quadratic Voting Verifiers powered by Minimal Anti Collusion Infrastructure built using Applied ZKP Tools

maci quadratic-voting zero-knowledge zero-knowledge-proofs zkp

Last synced: 28 Dec 2025

https://github.com/semiott/veritynet

Most Valuable Project Winner at ETH Planet 2020 Hackathon. Probabilistic Proofs and Coherent Cryptoeconomics for Decentralised Finance Fairness Architectures

aave aave-protocol-governance aave-tokens chainlink chainlink-adapter circom compound fairness-algorithms fairness-verifiers financial-fairness-algorithms governance-protocols linkpool probabilistic-proofs randao snarkjs starkware-veedo-vdf tellor-oracles tinlake-tokens voting-verifiers zero-knowledge-proofs