ezkl VS rusty-jsyc

One can cryptographically prove the correct inference of a small AI model now with https://github.com/zkonduit/ezkl (our open-source package).

Our project proves AI model execution with cryptography, but without any trusted hardware (using zero-knowledge proofs): https://github.com/zkonduit/ezkl

What about sth like this https://github.com/zkonduit/ezkl ?

u/zkonduit - Jason Morton CEO @ Zkonduit is building zkml developer tools such as ezkl that make it easy to turn computational graphs such as neural nets into zero-knowledge proofs. He has held a tenured professorship of Mathematics and Statistics, founded and sold a regulated Ethereum-based financial intermediary, and started turning deep learning models into systems of polynomial equations in 2008.

Examples include the various zkEVM projects, risc0, and slightly more limited stuff like our effort to compile PyTorch/ONNX to a zk circuit (https://github.com/zkonduit/ezkl).

Speed and memory usage is improving quickly.

Based on my previous research into this, the magic keywords to find this kind of thing on Google are "virtualization obfuscation" or "VM obfuscation".

rusty-jsyc is the main open source implementation I've found, though it hasn't been touched in a few years: https://jwillbold.com/posts/obfuscation/2019-06-16-the-secre... (GitHub: https://github.com/jwillbold/rusty-jsyc)

I think there are other implementations, but they're proprietary so I didn't look into them very much. There are lots of posts out there about reversing virtualization obfuscation, but not many about implementing it. Seems like most people who put the effort into implementing it tend to prefer selling it commercially (which I suppose makes sense).