search

argumentcomputer / yatima

A zero-knowledge Lean4 compiler and kernel
MIT License
114 stars 8 forks source link

IPFS support #191

Closed arthurpaulino closed 1 year ago

arthurpaulino commented 2 years ago

We need to implement the commands yatima ipfs put and yatima ipfs get.

For that, we'll need to use Http.lean. This Rust implementation can serve as a reference.

No file writing is needed for now.