clean
clean is WASM backend: binary WASM + R1CS export for snarkjs Compiles Clean circuits to snarkjs-compatible .wasm witness generators (Circom 2 ABI) and .r1cs constraint files. Verified end-to-end: snarkjs wt.... It is ranked #551 on the Dev Radar, in Languages & runtimes, first seen 3 days ago and shared in 1 post (1.2k views).
WASM WAT compiler + R1CS constraint export for snarkjs by VanshSahay · Pull Request #415 · Verified-zkEVM/clean · GitHub Skip to content Navigation Menu Sign in Appearance settings Search / Sign in Sign up Appearance settings You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert {{ message }} Verified-zkEVM / clean Public Notifications You must be signed in to change notification settings Fork 29 Star 185 WASM WAT compiler + R1CS constraint export for…
What people said about clean on X
Clean, our FV circuit DSL, can now replace Circom thanks to its new R1CS/Wasm backend contributed by @vansh_sahay 🙌 https://github.com/Verified-zkEVM/clean/pull/415 More backends coming soon -> bye circuit bugs
— @zksecurityXYZ, 3 days ago · 24 likes · see the post
Alternatives to clean
- Probably — Introducing Probably: a programming language powered by Jev
- OpenJDK JDK 27 GA Release Builds — This article examines both
- Effect — Kit from Anomaly unleashed Astra on Effect. Dillon will never again start another TypeScript app without Effect. Matt…
- Cisco Networking Academy — Cisco Networking Academy
- runtime — The runtime behind every E2B stack: Cloud, Enterprise, and your own machine. - e2b-dev/runtime
- Bend — Bend: a fast language that blocks AI mistakes via proof.
clean in numbers
- Rank on the Dev Radar: #551 of 1694
- Shared in 1 post by 1 account: @zksecurityXYZ
- 1.2k views on those posts
- First seen 3 days ago, last shared 3 days ago
- Pricing seen by Jev: open source
- Market: Languages & runtimes
FAQ
What is clean?
WASM backend: binary WASM + R1CS export for snarkjs Compiles Clean circuits to snarkjs-compatible .wasm witness generators (Circom 2 ABI) and .r1cs constraint files. Verified end-to-end: snarkjs wt... It was first shared on X 3 days ago and is ranked #551 on the Dev Radar.
Is clean free?
It is open source.
Who shared clean?
1 account on X, including @zksecurityXYZ, in 1 post totalling 1.2k views.
Every post is read and classified by Jev (TypeSafe): what it is, which market it belongs to, and whether the link is a real tool. 15.1k posts from 4.7k X accounts over the last 21 days, 1.7k tools, 12 markets. Collected every 5 minutes, fully re-ranked every hour — last update 2026-09-19 22:52 UTC. Full method.