Basically they're kinda sorta block-chains. And you throw away most of the middle computations since you can arrive at them again fairly trivially.
Basically they're kinda sorta block-chains. And you throw away most of the middle computations since you can arrive at them again fairly trivially.