qedprotocol Goto Github PK

crypto

Cryptographic primitives used in Polygon Miden rollup

cvc5

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

dogecoin-js

dogecoin sdk written in pure typescript

eslint-config

QED ESLint config

plonky2-hwa

Plonky2 with Modular, Pluggable Hardware Acceleration ⚡

plonky2-merkle-config

Plonky2 with MerkleTreeHasher added to Generic Config to support hardware acceleration

plonky2-metal-demo

Speed up plonky2/starky proving by 50% on Macs using Metal Acceleration

plonky2-toolbelt

Library of useful plonky2 gadgets and goodies

plonky2-wasm

plonky2 with webgpu optimizations for browser proving

plonky2.5

🪩 verify plonky3 proofs in plonky2

plonky3

A toolkit for polynomial IOPs (PIOPs)

plonky3-fibonacci

poseidon-goldilocks-lite

A zero dependency suite of poseidon goldilocks hash functions compatible with plonky2.

poseidon2

TypeScript Implementation of the Poseidon2 Hash Function (3kb 🎉)

poseidon2-webgpu

WebGPU implementation of the Poseidon2 Hash Function

poseidon2-webgpu-demo

A demonstration of hashing a Poseidon2 merkle tree in parallel using a WebGPU compute shader

rescue-prime-webgpu-shootout

Rpo256 merkle hashing shootout in the browser

rsmq-async-rs

RSMQ port to async rust. RSMQ is a simple redis queue system that works in any redis v2.6+

rust-bitcoin

Rust Bitcoin library

safe-rpc

An encrypted, authenticated, transport agnostic rpc protocol.

safe-rpc-iframe

Safe and easy cross-domain iframe communication

starkyx

stwo

succinctx

The schelling point for ZK applications.

symbolify

winterfell

A STARK prover and verifier for arbitrary computations

zkrepl-bls381

An online playground for zero knowledge circuits