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

@avichalpi Thanks for the rec!

@ustas Let me know if you end up trying Sapir, feel free to DM if you have questions!

Building verification tools for crypto and beyond 
@personaexyz



Also rec talking to him, it will be faster than anything circom related.

Working on building zkTLS infra/products. A ruthless empiricist and meme connoisseur.

http://opacity.network

@dantehrani.eth follow this gent so he can suckle at your teets of wisdom

Or @lsankar.eth