Change the repository type filter
All
Repositories list
3 repositories
cairo-rs
PublicCleopatra Cairo is a Rust implementation of the Cairo VM. Cairo is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly. Cairo and similar proof systems can be used to provide scalability to blockchains.TFHE-UBIRIS
Publiccairo-foundry
Public