Einstein Summation in Cairo (ZKML Operator)

Screenshots

Problem Statement

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.

Solution

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.