Dan Tehrani (dantehrani.eth)

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!

• 3 replies
• 2 recasts
• 28 reactions

Experimenting with casual, small-amount funding Get funded for anything. No strings attached. Your studies, side projects, or even your hobbies. Fill out the form to explore opportunities for some funding! https://15fn8vutg9h.typeform.com/to/P6KcEHGM

• 1 reply
• 11 recasts
• 28 reactions

Mobile proving trivia: When low-power mode is on it takes almost twice the time to prove compared to when it’s off. Benched on gen 2 iPhone SE.

• 2 replies
• 0 recasts
• 15 reactions

A proof system with a Rust frontned isn’t just good for devex, it also keeps your stack simple. Most of the time when you wanna zk prove a code execution you run the code natively (e.g. to get the output), and then run the proving. 1/2 https://blog.succinct.xyz/introducing-sp1/

• 2 replies
• 2 recasts
• 14 reactions