A language for intent-centric and declarative decentralised applications
-
Updated
May 10, 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
approximations of arithmetic circuits using Cartesian Genetic Programming
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."