Skip to content

@NP-Eng NP Labs

Change the repository type filter

All

    Repositories list

    28 repositories

    • Plonky3

      Public
      A toolkit for polynomial IOPs (PIOPs)
      Rust
      •
      Apache License 2.0
      •226•0•0•0•Updated Jan 16, 2025Jan 16, 2025

    • stir

      Public
      STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries
      Rust
      •
      Apache License 2.0
      •13•0•0•0•Updated Jan 15, 2025Jan 15, 2025

    • snark

      Public
      Interfaces for Relations and SNARKs for these relations
      Rust
      •
      Apache License 2.0
      •217•0•0•0•Updated Dec 16, 2024Dec 16, 2024

    • Spartan2

      Public
      High-speed zkSNARKs
      Rust
      •
      MIT License
      •16•0•0•0•Updated Nov 15, 2024Nov 15, 2024

    • ligero

      Public
      Rust implementation of (the non-interactive, non-ZK version of) the Ligero SNARK for arithmetic circuits.
      Circom
      •
      Apache License 2.0
      •2•9•13•1•Updated Oct 28, 2024Oct 28, 2024

    • poly-commit

      Public
      A Rust library for polynomial commitments
      Rust
      •
      Apache License 2.0
      •138•4•6•5•Updated Oct 25, 2024Oct 25, 2024

    • crypto-primitives

      Public
      Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them
      Rust
      •
      Apache License 2.0
      •92•0•0•0•Updated Oct 22, 2024Oct 22, 2024

    • soulforge

      Public
      MIT License
      •37•0•0•0•Updated Oct 15, 2024Oct 15, 2024

    • plonky2

      Public
      Rust
      •
      Apache License 2.0
      •302•0•0•0•Updated Sep 24, 2024Sep 24, 2024

    • zk_evm

      Public
      Rust
      •
      Apache License 2.0
      •39•0•1•0•Updated Sep 24, 2024Sep 24, 2024

    • zk-evm-prover-infra

      Public
      📦 Deploy Polygon's Zk EVM Type 1 Prover on Kubernetes using Terraform and Helm
      Smarty
      •3•0•0•0•Updated Sep 9, 2024Sep 9, 2024

    • aurora

      Public
      Rust
      •
      Apache License 2.0
      •0•3•0•0•Updated Jul 31, 2024Jul 31, 2024

    • zkML-tradeoffs

      Public
      zkML: Trade-offs in accuracy vs. proving cost
      pythonpytorchzk-snarkszkml
      Jupyter Notebook
      •1•0•0•1•Updated Jul 31, 2024Jul 31, 2024

    • circom-compat

      Public
      Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.
      Rust
      •
      Apache License 2.0
      •118•1•2•0•Updated Jul 19, 2024Jul 19, 2024

    • algebra

      Public
      Libraries for finite field, elliptic curve, and polynomial arithmetic
      Rust
      •
      Apache License 2.0
      •261•0•0•1•Updated Jun 28, 2024Jun 28, 2024

    • take-vs-clone-bench

      Public
      Rust
      •0•3•0•0•Updated Apr 7, 2024Apr 7, 2024

    • Lasso

      Public
      The lookup singularity. Based on Spartan; built on Arkworks.
      Rust
      •
      MIT License
      •187•1•0•0•Updated Feb 23, 2024Feb 23, 2024

    • curves

      Public
      Implementations of popular elliptic curves
      Rust
      •
      Apache License 2.0
      •103•0•0•0•Updated Feb 23, 2024Feb 23, 2024

    • tract

      Public
      Tiny, no-nonsense, self-contained, Tensorflow and ONNX inference
      Rust
      •
      Other
      •215•0•0•0•Updated Jan 31, 2024Jan 31, 2024

    • zkGit

      Public
      Research project exploring zero-knowledge git protocol
      0•1•0•0•Updated Jan 19, 2024Jan 19, 2024

    • jellyfish

      Public
      A Rust Implementation of the PLONK ZKP System and Extensions
      Rust
      •
      MIT License
      •120•0•0•0•Updated Nov 17, 2023Nov 17, 2023

    • secret-poly-commit

      Public archive
      Not so secret anymore
      Rust
      •
      Apache License 2.0
      •0•0•0•2•Updated Nov 11, 2023Nov 11, 2023

    • gkr_tutorial

      Public
      Rust
      •2•12•0•0•Updated Oct 4, 2023Oct 4, 2023

    • poseidon-circuit

      Public
      Poseidon hash circuit
      Rust
      •
      Apache License 2.0
      •36•0•0•1•Updated Aug 29, 2023Aug 29, 2023

    • halo2-lib

      Public
      Monorepo of halo2 crates
      Rust
      •
      MIT License
      •164•0•0•0•Updated Aug 13, 2023Aug 13, 2023

    • snark-verifier

      Public
      Rust
      •
      Apache License 2.0
      •145•0•0•0•Updated Aug 13, 2023Aug 13, 2023

    • halo2-scaffold

      Public
      Basic scaffolding for setting up and writing a Halo2 ZK circuit
      Rust
      •67•0•0•0•Updated Jul 12, 2023Jul 12, 2023

    • halo2-playground

      Public
      Rust
      •0•0•0•0•Updated Jul 6, 2023Jul 6, 2023