arithmetic-circuits

There are 0 repository under arithmetic-circuits topic.

juvix
anoma / juvix
A language for intent-centric and declarative decentralised applications
programming-language arithmetic-circuits functional-programming privacy-preserving-technologies anoma
Language:Haskell 504
breandan / galoisenne
🕸️ Graphs, finite fields and discrete dynamical systems in Kotlin
kotlin graph induction automata graph-algorithms functional-graphs graph-grammars graph-visualizations adjacency-matrix graph-matching graph-transformation linear-algebra graph-theory graphs arithmetic-circuits finite-fields finite-state-machine parsing
Language:Kotlin 143
sdiehl / zkp
A framework to execute and verify algorithms using Groth16 zkSNARKs.
zero-knowledge zero-knowledge-proofs zksnark zkp bn254 arithmetic-circuits zk-snarks
Language:Haskell 89
xevisalle / zpie
ZPiE: Zero-knowledge Proofs in Embedded systems
cryptography zero-knowledge-proofs zk-snarks bulletproofs range-proofs arithmetic-circuits c
Language:C 27
arasgungore / NandGame
Solutions for The Nand Game, a game that teaches the fundamentals of computing by building a computer from scratch.
arithmetic-logic-unit computer control-unit digital-design logic-gates logic-programming logic-unit memory nandgame processor switching hardware binary-logic fundamentals-of-computing solutions arithmetic-circuits nand-game random-access-memory logic-circuit thenandgame-solutions
16
brech1 / sim-circuit
Circuit building utilities
arithmetic-circuits mpc
Language:Rust 3
ruuda / zerorack
Experiments with circuit compilation and zk-snarks
arithmetic-circuits r1cs zk-snarks
Language:Haskell 3
alexmllo / zk-hashes
Rust implementation of some Arithmetization-Oriented cryptographic primitives in the Plonk framework
arithmetic-circuits hash-functions plonk plonky2 zero-knowledge arithmetization-oriented anemoi arion griffin poseidon rescue
Language:Rust 1
finjenv
NikosDelijohn / finjenv
Fault injection environment (finjenv) of permanent hardware faults for various arithmetic circuits based on QuestaSIM logic simulator
arithmetic-circuits error-modeling fault-injection questasim stuck-at-faults
Language:Verilog 1
danielbboy111 / CPEN-311
CPEN 311: Digital Systems Design
arithmetic-circuits asynchronous-circuits combinational-logic fpga gpu-architecture ic-design mps pipelining sequential-circuits timing-analysis datapath-cirucits vhdl-synthesizable
0
tomaskender / approx
approximations of arithmetic circuits using Cartesian Genetic Programming
arithmetic-circuits cgp
Language:Python 0
CFZRfrndVolt / Introducing-VHDL-
This repository contains projects and experiments focused on designing, simulating, and implementing digital circuits using VHDL (VHSIC Hardware Description Language) and Quartus II software. The projects covered in this repository serve as an introduction to key concepts in digital system design, including the creation of basic logic circuits, com
arithmetic-circuits combinational-logic digital-circuits digital-design digital-electronics finite-state-machine fpga-programming modelsim registers sequential-logic state-machine vhdl quartus-ii synthesis-simulation
RichaSavant / Icarus-Verilog-HDL-Logical-Circuits-2023
This repository focuses on designing and simulating logical circuits using Verilog HDL (Hardware Description Language) with the Icarus Verilog simulator.
adders arithmetic-circuits combinational-circuit decoders demultiplexer encoders flip-flops hdl icarus-verilog logic-gates multiplexer ripple-carry-adder sequential-circuits shift-registers
Language:Verilog
ropeless / compiled_knowledge
CompiledKnowledge is a Python package for compiling and querying discrete probabilistic graphical models.
arithmetic-circuits bayesian-networks knowledge-compilation probabilistic-graphical-models probabilistic-inference probabilistic-programming probability python sampling
Language:Python