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!

Wanted to spotlight some amazing ZK work done by some community members @dantehrani.eth and @lsankar.eth over at Personae Labs.

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

The proving speed they achieved with Sapir is truly remarkable. Def checkout, be warned, they use a lot of advanced techniques.

Building verification tools for crypto and beyond 
@personaexyz



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

http://opacity.network

The proving speed is close to https://github.com/personaelabs/spartan-ecdsa?tab=readme-ov-file#benchmarks (a bit faster actually).

Proving 1 ecdsa sig + 1 keccak takes less than 10 sec in browser on my M1 Macbook pro.

Builder of things. Dir of Product Research @ Polygon; x: Flow, Augur;

Yes, I can actually write code.

👐 client side proving is going to be an important part of the stack as we move forward with these systems in production.