Astral-ZK-ML

Sponsorized by ETH Global - Brussels.
Prize : Nethermind - Best zkML project

Decentralized Machine Learning Protocol adapted to both terrestrial and spatial context.
The models and the two smartcontracts utilizing them are written in the ZK-Proovable language Cairo.
In the future, the smart contracts will be deployed on specific L3 for each planets/asteroids using Madara.

Introduction

• ✅ ZK-ML tools : Built in Cairo 2.6.4 for contracts on starknet-compatible blockchain
  • ✅ Implemented on blockchain
    • Basic Algebra + Linear Algebra
      • Principal types: Signed Integer, Float (WFloat), Vector, Matrix
      • Numerous High level operations to manipulate those types.
      • Uniform pseudo random generator (to initialize weights)
        • TODO: add more distributions (normal, poisson, $\dots$)
    • Multi Layer Perceptron (ie. regular Neural Network)
      • eg: Star type identification
  • ❌ Not implemented in cairo yet
    • Convolutional Neural Network
      • for Crater identification
    • Graph Attention Network
      • for Constellation identification
• ❌ Additional proof of concept for tasks assigned to spatial decentralized robots
  • Crater identification (Computer Vision)
  • Constellation identification (Computer Vision)
  • Microorganism analysis (Computer Vision)
• Decentralized Smart Contracts : Variants of the smart contract :
  • ❌ Fully Decentralized (not implemented yet)

    • 

    • Based on financial incentive (ie. egoistic incentive)
    • Terestrial variant adapted to Starknet L2.
  • ❌ Country Wise Decentralized (not implemented yet)

    • 

    • Assumed resistance to Byzantine fault
    • Spacial variant adapted to a specific L3 for a planet/satellite owned by multiples countries.
• Demonstration Client
  • ❌ Not implemented yet

Documentation

• On Chain content

  • ZK-ML tools
  • Fully Decentralized contract
  • Country Wise Decentralized contract

• Mathematical/Implementation details

  • Mathematical model/assumptions
  • Algorithms
  • Misc

• Demonstration Client

• Proof Of Concept

  • Crater Identification
  • Constellation Identification
  • Microorganism analysis