Einstein Summation in Cairo (ZKML Operator)
We implemented the EinSum, Logical OR and Logical XOR on the Orion repository to increase the amount of possible tensor operations for Zero-Knowledge Machine Learning on Starknet.
About
This hackathon project is a contribution to the open source Orion Zero-Knowledge Machine Learning project on Starknet. We implemented the EinSum, logical OR and logical XOR operators with Numpy-style broadcasting support to add to the amount of possible tensor operations for Zero-Knowledge Machine Learning on Starknet. This contribution consists of several Pull Requests to the Orion open-source repository.
How it's made
The operators are built specifically for Zero-Knowledge Machine Learning on Starknet, written in Cairo, which is Starknet's own ZK-Provable programming language. The operators are implemented for i8 integers, i32 integers, u32 integers and FixedPoint data types (fp8x23 and fp16x16). Extensive testing suites have been added as well.