All my personal devices are named “AHE”+n. So the abbreviation for “at heart engineer”+ a letter signifying the device. So my phone is “AHEM”, my laptop is “AHEL”, my desktop is “aheo” (O for office), my server is “ahes”.

This would have been helpful 10+ years ago

Integrity of the model, inputs, and outputs, but with the potential to hide either the inputs or the model and maintain verifiability.

Definitely not reasoning, that’s a whole can of worms.

Zk in this context allows someone to be able to thoroughly test a model and publish the results with proof that the same model was used.

Blockchain for zk-ml is actually a great use case for 2 reasons:

1. it’s a public immutable database where people can commit to the hash of some model they want to hide.
2. It allows someone with a “model” (that doesn’t have to be a neural net, it could be some statistical computation) and verifier to do work for others for a fee. Let’s say I have a huge data set of property values/data for some given area, and I’m a real estate agent, and I want to have other people run some crazy computation on it to predict which houses will likely sell first in the next 30 days. I could post this challenge online with the data, other people could run models against that data and post their results (but not how they got them) on chain. In 30 days the real estate agent could publish the updated data and reward the best performer, and potentially “buy” their model. You could do this with a centralized service, but they would likely take a fee, keep things proprietary, and likely try to make some shady back room deals. This removes the middleman.