Arithmetic circuits for zero knowledge proof systems
-
Updated
Apr 16, 2024 - Haskell
#
arithmetic-circuit
Here are 11 public repositories matching this topic...
Solutions for all levels of the NandGame.
ram solutions memory processor logic-gates alu nand logic-circuit arithmetic-circuit nandgame nand-game thenandgame-solutions
-
Updated
Jun 19, 2023
Secure E-Voting framework based on Ethereum blockchain and zkSNARK
ethereum voting blockchain transaction vote e-voting voter-registration rinkeby zksnark arithmetic-circuit zero-knowledge-proofs zokrates
-
Updated
Jun 17, 2019 - JavaScript
A compiler to turn GO code into a zkSNARK
-
Updated
Jul 19, 2021 - Go
A collection of ZKPs (Zero Knowledge Proofs) and cryptographic research implementations in Rust.
rust circuits rust-lang shamir-secret-sharing zero-knowledge gkr kzg snark arithmetic-circuit zkp polynomial-interpolation kzg-commitment kzg-proofs fiat-shamir-protocol multilinear-kzg
-
Updated
Mar 25, 2025 - Rust
A synthesizable and modular Kogge-Stone Adder (KSA) implementation in SystemVerilog.
-
Updated
Mar 21, 2025 - SystemVerilog
Repository accompanying the paper "Fixed-Posit: A Floating-Point Representation for Error-Resilient Applications" published in IEEE Transactions on Circuits and Systems II
floating-point intel-pintools number-representation approximate-computing arithmetic-circuit arithmetic-logic-unit intel-pin
-
Updated
Apr 28, 2021 - Python
An Arithmetic Circuit Miner
-
Updated
Aug 22, 2023 - Java
The Zero-Knowledge Proof Compiler for Python
python language compiler r1cs zero-knowledge circ zksnarks arithmetic-circuit rustpython zkinterface
-
Updated
Feb 5, 2025 - Python
A tool to extract gnark circuits defined in Go to Lean for formal verification.
-
Updated
Nov 29, 2023 - Go
Solutions and Descriptions of each circuit and advanced docs on each circuit created for NandGame
ram solutions hardware memory processor circuit computer-architecture logic-gates arithmetic-circuit nandgame thenandgame-solutions
-
Updated
Mar 30, 2025
Add this topic to your repo
To associate your repository with the arithmetic-circuit topic, visit your repo's landing page and select "manage topics."