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 Networks#### Skills

Python

Solidity

Rust

JavaScript

Machine Learning