Giters
Ingonyama (ingonyama-zk)

Ingonyama

ingonyama-zk

Geek Repo

Shipping the world's fastest provers

Home Page:ingonyama.com

Twitter:@Ingo_zk

Github PK Tool:Github PK Tool

Ingonyama's repositories

ingopedia

A curated list of ZK/FHE resources and links. 👇 Click below for the website version.

License:MITStargazers:687Issues:16Issues:11

icicle

a GPU Library for Zero-Knowledge Acceleration

Language:C++License:MITStargazers:297Issues:14Issues:167

papers

Stargazers:174Issues:11Issues:5

blaze

blaze is a Rust library for ZK acceleration on Xilinx FPGAs.

Language:RustLicense:GPL-3.0Stargazers:138Issues:8Issues:14

poseidon-hash

Reference implementation in Python of Poseidon and optimized Poseidon (Neptune) hash functions

Language:PythonLicense:MITStargazers:72Issues:6Issues:7

open-binius

building blocks for accelerating ZK proofs over binary fields

Language:VerilogLicense:MITStargazers:31Issues:3Issues:6

super-sumcheck

In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU

Language:RustLicense:GPL-3.0Stargazers:30Issues:4Issues:12

ingo-hash

FPGA accelerated cryptographic hash functions

Language:C++License:Apache-2.0Stargazers:7Issues:4Issues:0

ingo-gpu-challenge

Language:CudaStargazers:6Issues:3Issues:0

smallfield-super-sumcheck

Proof of concept implementation of sumcheck over fields of small characteristics.

Language:RustLicense:GPL-3.0Stargazers:5Issues:0Issues:0

zk-benchmarks

Language:ShellLicense:MITStargazers:5Issues:6Issues:2

brevis-circuits

A fork of Celer's brevis circuits to test goicicle integration

Language:GoLicense:NOASSERTIONStargazers:4Issues:4Issues:0

gnark

gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license

Language:GoLicense:Apache-2.0Stargazers:4Issues:1Issues:3

developer-docs

Language:HTMLStargazers:3Issues:0Issues:0

iciclegnark

Language:GoStargazers:2Issues:5Issues:2

gnark-crypto

gnark-crypto provides elliptic curve and pairing-based cryptography on BN, BLS12, BLS24 and BW6 curves. It also provides various algorithms (algebra, crypto) of particular interest to zero knowledge proof systems.

Language:GoLicense:Apache-2.0Stargazers:1Issues:0Issues:0

gnark-plonky2-verifier

Language:GoLicense:MITStargazers:1Issues:1Issues:0

sppark

Zero-knowledge template library

Language:CudaLicense:Apache-2.0Stargazers:0Issues:1Issues:0

.github

Stargazers:0Issues:2Issues:0

ark-grumpkin-test

Language:RustStargazers:0Issues:1Issues:0

axiom-halo2

Axiom's halo2 fork improvements

Language:RustLicense:NOASSERTIONStargazers:0Issues:1Issues:0

crypto-ecosystems

A taxonomy for open source cryptocurrency, blockchain, and decentralized ecosystems

License:NOASSERTIONStargazers:0Issues:0Issues:0

ezkl

ezkl is an engine for doing inference for deep learning models and other computational graphs in a zk-snark (ZKML). Use it from Python, Javascript, or the command line.

Language:RustLicense:Apache-2.0Stargazers:0Issues:1Issues:0

halo2

Language:RustLicense:NOASSERTIONStargazers:0Issues:1Issues:0

halo2-lib

Axiom monorepo of halo2 crates

Language:RustLicense:MITStargazers:0Issues:1Issues:0

halo2-solidity-verifier

Fork for EZKL; A set of tooling related to halo2 circuits verification inside Solidity contracts

Language:RustLicense:MITStargazers:0Issues:1Issues:0

halo2wrong

Fork of halo2wrong for EZKL integration

Stargazers:0Issues:0Issues:0

snark-verifier

Fork for EZKL integration

Language:RustLicense:Apache-2.0Stargazers:0Issues:1Issues:0

tachyon-debug

Modular ZK(Zero Knowledge) backend accelerated by GPU

Language:C++License:MITStargazers:0Issues:0Issues:0

zaki-benchmarks

Benchmarks for ZK Data Center (ZaKi)

Language:GoLicense:MITStargazers:0Issues:0Issues:0