Geometry Research

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

semacaulk

Gas-efficient and blazing fast proving for private signaling

cq

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

technical_notes

A collection of technical notes from the Geometry research team.

protostar

proof-toolbox

Cryptographic protocols

secp256k1_hash_to_curve

wgsl-poseidon

fk

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

sangria_impl

An implementation of Sangria

baloo

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

halo2-cq

functional-commitment

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

zkboo

ZKBoo

sparkworks

Simple trait that enables using FPGA VariableBaseMsm developed by ingonyama

starknet-signatures

ppot-rs

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

semacaulk-precompute

simplepir-rs

fast-eval

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

halo2

Introducing MV lookup in halo2

mock-cq-setup

Cq compatible SRS with t =

pairing-batcher

Batch pairings

blinder-games

.

bits-cnt

check-threads

Simple script to check if your browser supports threads

field-matrix

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

groth16

A Rust implementation of the Groth16 zkSNARK

quotient-pir-config

zkbdf