From 44408f90aa5a9644ad2120464c6ffb6522674636 Mon Sep 17 00:00:00 2001 From: Gregor Mitscha-Baude Date: Wed, 18 Dec 2024 16:45:47 +0100 Subject: [PATCH] Update README.md --- README.md | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 820e662..c9621e5 100644 --- a/README.md +++ b/README.md @@ -1,8 +1,10 @@ # cLean -This repository is currently a playground for the team at zkSecurity to explore and master Lean. +`clean` is an embedded Lean DSL for writing zk circuits, targeting AIR arithmetization. -Its intended to become our monorepo for Lean utilities, libraries, etc. +It is developed by zkSecurity, currently as part of a Verified-zkEVM grant. + +We intend to build out `clean` into a universal zk framework that can target all arithmetizations and produce formally verified, bug-free circuits for the entire zk ecosystem. ## Using the repo