Hey everyone,
I’ve been building ZeroStyl, an open-source Rust toolkit that makes it easier to develop privacy-preserving smart contracts on Arbitrum Stylus using zero-knowledge proofs (zk-SNARKs).
The problem it solves: integrating zk cryptography into Stylus contracts today requires deep expertise in both circuit design and low-level Stylus internals. There’s no unified tooling for it. ZeroStyl tries to fix that.
What it includes:
-
zk-Compiler: compiles halo2 circuits (tx_privacy, state_mask) to WASM bytecode optimized for Stylus, targeting <100ms proof generation
-
Privacy Debugger: inspect circuit constraints, witness values and proof generation without exposing sensitive data during dev
-
ABI Exporter: generates privacy-safe ABIs for zk-powered Stylus contracts, so frontends integrate cleanly
Concrete use cases it targets:
- Confidential token transfers (hide amounts from MEV bots)
- Private DAO voting (prove token balance without revealing it)
- On-chain KYC compliance without identity exposure
Why I’m posting here: I’d genuinely love feedback from builders in the Arbitrum ecosystem. Is the abstraction level right? Are there use cases you’d want to see covered? Anything obviously missing or wrong in the design?
The project is still early (Milestone 2, the debugger just shipped, ABI exporter is next), so this is a good moment to influence the direction.
GitHub: https://github.com/kazai777/zerostyl
If the project interests you, starring the repo is a good way to stay updated as it progresses and it helps gauge community interest.
Thanks for reading.