argumentcomputer / yatima

A zero-knowledge Lean4 compiler and kernel
MIT License
121 stars 9 forks source link

Use a `.yatima_store` #200

Closed arthurpaulino closed 1 year ago

arthurpaulino commented 2 years ago

A .yatima_store folder would be placed in the user's home folder and would hold all compiled stores as binary files whose names would be their own CIDs.

This idea calls for extra functionalities that would make it easier for the user to explore the stores since it's not possible to know what's inside given their hash-like names.