I want to experiment a little with web client-side proving. Any recommendations on frameworks or DSLs that can run in a browser?

Finally added a README and a hello world instruction.
https://github.com/personaelabs/sapir/tree/main

Sapir is a Rust lib for writing circuits & generating proofs on the client-side. It’s field agnostic so e.g ECDSA sig verification is extremely fast.

Curious to hear if anyone’s interested in using it!

Web3 developer • ZK • Security researcher • Privacy • /ʲustɑs/ • https://linktr.ee/ustas.eth

https://warpcast.com/dantehrani.eth/0x0e53313c

lambdaworks. would love to help in any way.

This mini game maybe a starting point: zkmaze.zkid.xyz

Founder, zCloak Network. 
https://zcloak.network
https://cloakinglayer.com

I'm already looking into it, thanks! Trying to figure out how you prove everything.

We’ve run a bunch of the provers from the arkworks library in WASM:

We’ve run a bunch of the provers from the arkworks library in WASM: https://github.com/arkworks-rs