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.

Rust implementation of some Arithmetization-Oriented cryptographic primitives in the Plonk framework

Fault injection environment (finjenv) of permanent hardware faults for various arithmetic circuits based on QuestaSIM logic simulator

Experiments with circuit compilation and zk-snarks

Circuit building utilities

Solutions for The Nand Game, a game that teaches the fundamentals of computing by building a computer from scratch.

ZPiE: Zero-knowledge Proofs in Embedded systems

A framework to execute and verify algorithms using Groth16 zkSNARKs.

🕸️ Graphs, finite fields and discrete dynamical systems in Kotlin

A language for intent-centric and declarative decentralised applications