geometryxyz Goto Github PK

ark-fpga-ec

0.3.0 version of ark-ec that adds support for fpga-msm implemented by ingonyama

ark-secp256k1

baloo

Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks

bits-cnt

blinder-games

.

check-threads

Simple script to check if your browser supports threads

commitment_equivalence

Proof of equivalence between multiple polynomial commitment schemes to the same data according to https://ethresear.ch/t/easy-proof-of-equivalence-between-multiple-polynomial-commitment-schemes-to-the-same-data/8188

cq

Let's go https://eprint.iacr.org/2022/1763.pdf

fast-eval

Set of O(nlog^2n) polynomial algorithms for working in non multiplicative subgroup

field-matrix

A small Rust library to handle matrices made from elements of finite fields

field_params_generator

fk

https://eprint.iacr.org/2020/1516.pdf

fpga-ark-curves

Implementations of popular elliptic curves

functional-commitment

Implementation of efficient function-hiding functional commitments https://eprint.iacr.org/2021/1342

groth16

A Rust implementation of the Groth16 zkSNARK

groth16-malleability

Potential attacks on groth16

halo2

Introducing MV lookup in halo2

halo2-cq

marlin

mental-poker

A library for mental poker (and other card games). Based on the Barnett-Smart protocol and the Bayer-Groth argument of correct shuffle

mock-cq-setup

Cq compatible SRS with t =

pairing-batcher

Batch pairings

poly-commit

A Rust library for polynomial commitments

ppot-rs

A Rust crate for reading .ptau (powers of tau) files compatible with snarkjs

proof-toolbox

Cryptographic protocols

protostar

quotient-pir-config

sangria_impl

An implementation of Sangria

secp256k1_hash_to_curve

semacaulk

Gas-efficient and blazing fast proving for private signaling