#dag #fiat-shamir #hash #calc #label #helper #key

melpow

Core state-transition function and data structures for Themelio

1 unstable release

0.1.1 May 5, 2022
0.1.0 May 5, 2022
Download history 67/week @ 2023-07-27 37/week @ 2023-08-03 56/week @ 2023-08-10 52/week @ 2023-08-17 39/week @ 2023-08-24 37/week @ 2023-08-31 71/week @ 2023-09-07 42/week @ 2023-09-14 26/week @ 2023-09-21 53/week @ 2023-09-28 50/week @ 2023-10-05 41/week @ 2023-10-12 65/week @ 2023-10-19 57/week @ 2023-10-26 64/week @ 2023-11-02 67/week @ 2023-11-09

257 downloads per month
Used in 10 crates (4 directly)

MPL-2.0 license

17KB
358 lines

melpow is the crate that implements MelPoW, Themelio's version of non-interactive proofs of sequential work, which are just "Interactive Proofs of Sequential Work" by Cohen and Pietrzak subjected to a Fiat-Shamir transformation. MelPoW is used as the core mechanism behind Melmint, the algorithmic monetary policy system that stabilizes the mel.

Proof is the main interface to MelPoW. It represents a proof that a certain amount of sequential work, represented by a difficulty, has been done starting from a puzzle. The difficulty is exponential: a difficulty of N represents that O(2^N) work has been done.

Dependencies

~5.5MB
~130K SLoC