A language for intent-centric and declarative decentralised applications
🕸️ Graphs, finite fields and discrete dynamical systems in Kotlin
A framework to execute and verify algorithms using Groth16 zkSNARKs.
ZPiE: Zero-knowledge Proofs in Embedded systems
Solutions for The Nand Game, a game that teaches the fundamentals of computing by building a computer from scratch.
Experiments with circuit compilation and zk-snarks
Fault injection environment (finjenv) of permanent hardware faults for various arithmetic circuits based on QuestaSIM logic simulator
approximations of arithmetic circuits using Cartesian Genetic Programming
This repository focuses on designing and simulating logical circuits using Verilog HDL (Hardware Description Language) with the Icarus Verilog simulator.
CPEN 311: Digital Systems Design
Rust implementation of some Arithmetization-Oriented cryptographic primitives in the Plonk framework
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
Add a description, image, and links to the arithmetic-circuits topic page so that developers can more easily learn about it.
To associate your repository with the arithmetic-circuits topic, visit your repo's landing page and select "manage topics."