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!

field agnosticism remains underrated

means that the lift for us to prove solana sigs (eddsa) from focusing on proving eth (ecdsa) was pretty small! 

Dan and I are happy to help anyone learn

Congrats on the Sapir launch 👏 
I'm curious about what is the state of verifying Spartan proofs on-chain? Mathematically feasible? Solidity Verifier implementation? Gas cost?