I've been working on a couple of projects in the world of web3. I have a software engineering background.
Projects
Circuit viewer
See how each of the constraints gets translated to an arithmetic expressionRust, CircomWeb-based O1js prover interface
Easiest installation of the proof feature onto existing applications powered by O1jsReact, Rust, TypeScript, o1jsSkills
Rust
TypeScript