ret2basic.eth

You "win" zk.golf – ZKSecurity’s FV contest – by writing the most optimized formally verified circuit for cryptographic primitives. But how does the best SHA256 circuit have a cost of 0? Here's how we exploited the FV spec for the top score on all circuits.👇

I’ll be actually-homeless soon (living out of my car) if I can’t land a job. Our house is being sold within two months if I don’t find work. I’ve been trying everywhere, but very few companies are answering. So please, email me or DM with literally anything involving computers, or ask a friend, or your business’s HR person. (I’d love to work with you.) I’ll do a good job, and I can learn and adapt to any working style you need. I was employee #2 at Carmack’s AI lab, Keen. I worked at Groq helping to design and implement their LPU chips. I made Books3, a dataset trained on by LLaMA and Claude. I’ve been programming for 25 years. Location: Lake Saint Louis MO Remote: Yes Willing to relocate: yes Technologies: Python, PyTorch, JAX, C++, JS/TypeScript, Objective C, Swift, Rails, Linux, Lisp, and anything else you give me a week to learn. Résumé/CV: shawwn.net/docs/shawn-pre… Email: shawnpresser@gmail.com I wanted to avoid the humiliation of begging, but nothing is working. I need money or else our 3yo daughter loses her birth home. I’ve been through dozens of interviews from the companies that do answer, but the market is bad right now. You can have me for a steal.