Skip to content
@ingonyama-zk

Ingonyama

Shipping the world's fastest provers

Ingonyama Image


Ingonyama specializes in hardware acceleration for Zero Knowledge Proofs (ZKP), focusing on the ICICLE software library for accelerating crytography on various backends, including CPU, GPU and others. We are dedicated to transparency and welcome anyone interested in contributing and collaborating with us. Reach out to us at hi@ingonyama.com to explore how we can work together. For more details, visit Ingonyama.

Links

Repositories

ICICLE

ICICLE is a hardware agnostic library for ZK acceleration. It is an essential tool for cryptographers, developers and researchers focused on advancing compute intensive cryptography.

Open-Binius

Open-Binius contains open-source hardware IPs for accelerating ZK proofs over binary fields.

Ingopedia

Ingopedia is a community-driven repository for Zero Knowledge Proofs (ZKPs), offering resources for all levels. Join us in building a valuable, up-to-date resource for the ZKP community.

Pinned Loading

  1. ingopedia ingopedia Public

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

    695 78

  2. icicle icicle Public

    A hardware acceleration library for compute intensive cryptography 🧊

    C++ 322 96

  3. papers papers Public

    A repo for our research papers ❤️

    196 17

  4. blaze blaze Public

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

    Rust 139 16

  5. super-sumcheck super-sumcheck Public

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

    Rust 34 7

  6. open-binius open-binius Public

    building blocks for accelerating ZK proofs over binary fields

    Verilog 36 2

Repositories

Showing 10 of 56 repositories
  • icicle Public

    A hardware acceleration library for compute intensive cryptography 🧊

    ingonyama-zk/icicle’s past year of commit activity
  • smallfield-super-sumcheck Public Forked from ingonyama-zk/super-sumcheck

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

    ingonyama-zk/smallfield-super-sumcheck’s past year of commit activity
    Rust 8 GPL-3.0 7 0 0 Updated Sep 18, 2024
  • stwo Public Forked from starkware-libs/stwo

    ingo accelerated stwo

    ingonyama-zk/stwo’s past year of commit activity
    Rust 0 Apache-2.0 71 0 0 Updated Sep 18, 2024
  • papers Public

    A repo for our research papers ❤️

    ingonyama-zk/papers’s past year of commit activity
    196 17 2 0 Updated Sep 10, 2024
  • ingopedia Public

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

    ingonyama-zk/ingopedia’s past year of commit activity
    695 MIT 78 2 0 Updated Sep 5, 2024
  • .github Public
    ingonyama-zk/.github’s past year of commit activity
    0 0 0 0 Updated Sep 2, 2024
  • gnark-crypto Public Forked from Consensys/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.

    ingonyama-zk/gnark-crypto’s past year of commit activity
    Go 1 Apache-2.0 176 0 0 Updated Aug 28, 2024
  • open-binius Public

    building blocks for accelerating ZK proofs over binary fields

    ingonyama-zk/open-binius’s past year of commit activity
    Verilog 36 MIT 2 5 (2 issues need help) 0 Updated Aug 8, 2024
  • eigenlayer-files Public

    Store files that eigenlayer requires in public domain

    ingonyama-zk/eigenlayer-files’s past year of commit activity
    0 0 0 0 Updated Jul 16, 2024
  • gnark Public Forked from Consensys/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

    ingonyama-zk/gnark’s past year of commit activity
    Go 4 Apache-2.0 374 2 3 Updated Jul 2, 2024