search

anoma / green

https://anoma.github.io/anoma/
MIT License
7 stars 0 forks source link

Cairo RM Interface #64

Closed mariari closed 5 months ago

mariari commented 11 months ago

customer: @mariari performer: @XuyangSong @CarloModicaPortfolio deadline: null estimated: null started: null actual: null completed: null confirmed: null dependencies:

We have decided to use Cairo for shielded verification and proving computation.

This topic specifically tracks implementing the data types RM laid out:

From here, if we have a corresponding prove and verify function, then we can run Cairo code in Anoma

XuyangSong commented 8 months ago

Cairo RM Interface: https://hackmd.io/Hu6SEI_rS_mbLbR-fEF_7g?view