argumentcomputer / yatima

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

Refactor `ToIpld` to `ToLurk` #205

Closed winston-h-zhang closed 1 year ago

winston-h-zhang commented 2 years ago

Relevant Zulip link

TL;DR We are replacing the ToIpld serialization pipeline with ToLurk instead. Because Lurk supports functional commits, its code is naturally content-addressable data as well. Hence we can use Lurk as our content-addressing backend instead of IPLD. In particular, we must

arthurpaulino commented 2 years ago

We don't have a .yatima_store yet