Las

Maybe it should?

Well, not with reference scripts, and it seems like rewarding smaller scripts might be logical.

After thinking about this some more, it doesn't have to be Sonic. It could be PLONK, or whatever IOHK thinks fits best.

I've looked into this for a few more days, and in the end, I believe that Halo 2 is the best choice. The biggest reason by far is that it...

I am still not completely sure how a possible integration into Plutus would look, but I'll try making some bindings to it, and see how it works.

Definitely. Looking at https://iohk.io/en/research/library/ I can see that IOHK already has a couple of papers in this subject. Perhaps someone at IOHK has some strong opinions?

I was asked by @jmchapman to share an idea I and some other folks developed, see https://gitlab.com/fresheyeball/plutus-tx-spooky. I haven't actually tested the above code, so I don't know if it...

I get that, however, what you're describing is slightly different from the *optimal* state of what I meant to describe. `Lazy` stores a function, and has a much higher overhead...

> I don't think that's true. Why do you think it's true? Both of them call unsafeFromData when you look inside them, that's it.I don't think that's true. Why do...

Do the UnsafeFromData instances verify these invariants?