arithmetic-circuits topic

A language for intent-centric and declarative decentralised applications

anoma

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

breandan

A framework to execute and verify algorithms using Groth16 zkSNARKs.

sdiehl

ZPiE: Zero-knowledge Proofs in Embedded systems

xevisalle