Tools for working with circuits as graphs in python
-
Updated
Nov 17, 2023 - Verilog
#
boolean-circuits
Here are 13 public repositories matching this topic...
Parallel boolean circuit evaluation
-
Updated
Oct 28, 2018 - Java
A lightweight library for secure multi-party computation (MPC) based on the GMW protocol, fully written in C#.
privacy peer-to-peer mpc cryptographic-algorithms secure-computation multiparty-computation boolean-circuits
-
Updated
Sep 10, 2026 - C#
Perform gate-level simulations from python
-
Updated
Mar 20, 2023 - Python
Circuit-SAT-solver based on Minisat SAT-solver and supporting circuit-based heuristics
-
Updated
Dec 14, 2022 - C++
Randomized Response by boolean circuits and z3
-
Updated
Aug 21, 2018 - Jupyter Notebook
-
Updated
Sep 17, 2019 - C++
A boolean circuit visualizer for educational purposes
-
Updated
Mar 29, 2023 - TypeScript
Verified Boolean-circuit research releases and reproducible search methods
-
Updated
Aug 3, 2026
SAT and exact counting below four gates per input, with exponential space; proofs, nondeterminism bounds, and reproducible finite checks.
-
Updated
Sep 9, 2026 - TeX
Verified 29-AND AES S-box circuits: 158 XOR/depth 30 and 159 XOR/depth 29
-
Updated
Aug 3, 2026 - Python
From-scratch MPC-in-the-Head zero-knowledge proofs in Rust: ZKBoo, ZKB++ and KKW, plus a typed frontend where a leaky decomposition does not compile.
rust cryptography post-quantum-cryptography applied-cryptography fiat-shamir zero-knowledge digital-signatures boolean-circuits nizk zero-knowledge-proofs type-systems lowmc mpc-in-the-head zkboo kkw
-
Updated
Sep 10, 2026 - Rust
Add this topic to your repo
To associate your repository with the boolean-circuits topic, visit your repo's landing page and select "manage topics."