Arithmetic circuits for zero knowledge proof systems
-
Updated
Apr 16, 2024 - Haskell
#
arithmetic-circuit
Here are 9 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
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
Oct 24, 2024 - Python
A synthesizable and modular Kogge-Stone Adder (KSA) implementation in SystemVerilog.
-
Updated
Jun 5, 2024 - SystemVerilog
A tool to extract gnark circuits defined in Go to Lean for formal verification.
-
Updated
Nov 29, 2023 - Go
Improve this page
Add a description, image, and links to the arithmetic-circuit topic page so that developers can more easily learn about it.
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."