Hi there, I'm a mathematician and machine learning practitioner, still quite new to ZK proofs. Experienced developer.
I'm open to all sorts of projects, but I'm particularly interested in developing ZK friendly machine learning i.e. ML that learns over finite fields (instead of over floating point) and that has compatible non-linearities.
Projects
ZeroGravity
The Weight is Over! ZeroGravity employs a weightless neural network architecture to reduce the proving of inference to lookup arguments on a highly optimised Bloom filter implementation.Moon math, Bloom filters, Aleo, Lookup arguments, Weightless Neural NetworksSkills
Python
Solidity
Rust
JavaScript
Machine Learning