A language for intent-centric and declarative decentralised applications
-
Updated
Aug 23, 2024 - Haskell
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.
Rust implementation of some Arithmetization-Oriented cryptographic primitives in the Plonk framework
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."