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.

Sparse Circuits on the GPU (ICLR2025)

Circuit building utilities

Experiments with circuit compilation and zk-snarks

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

CompiledKnowledge is a Python package for compiling and querying discrete probabilistic graphical models.

Sublinear-space zero-knowledge proof system with production REST API. TinyZKP is a high-performance ZKP prover/verifier that uses only O(√T) memory for proofs over traces of length T, rather than the typical O(T) that most systems require.

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

approximations of arithmetic circuits using Cartesian Genetic Programming

Designed and simulated ultra low-voltage, low-power CMOS 5:2 compressors in Cadence Virtuoso, based on Figure 13 from the referenced IEEE paper. Focused on optimizing power, delay, and area for efficient high-speed arithmetic circuits used in VLSI and DSP applications.

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