Jeff Burdges

At a high level, we should not expect verifiers to be the same code as provers. We all know this for crypto and storage of course, but it extends into...

Should nodes choose in advance for which pallets they prepare extracted metadata? Or they'd only do this upon request? (fixed tense)

At worst Merkle tree hashing incurs 2x the cost of hashing whole blobs, assuming you've sensible hashing. In fact, blake3 is already a merkle tree internally, which enables doing many...

> 1. Disable gossiping of approval-votes on the fast path. > 2. Make each validator send their approval votes to all of its peers. Are we sure gossip can be...

> Could you develop a bit more, what you would want to see here, is it something I can address by myself? It's not performance related. It's a conversation between...

In fact, the eclipsed 1% would eventually assign themselves. I'm unsure if we treat our own approval vote as overriding what others do, but all those empty tranches count as...

We should discuss if our own vote overrides what we see from others: Alice approved X in R, nobody else approved X but every other Y in R is approved...

Assignment VRFs must not be sent like this, so there is a politeness failure which you've never acknowledged, aka we must retain all votes related to all imported blocks, without...

See https://docs.rs/merlin/latest/merlin/ Also, you can obviously clone a hasher state whenever it'd be safe to rehash exactly the same data, and then have those two hashers diverge.

`Deref` seems poinless here since `BigInt` has a public field. In fact `.0` winds up better since ownership can change. https://github.com/arkworks-rs/algebra/blob/master/ff/src/biginteger/mod.rs#L33 We've all abused `Deref` of course, but ideally `Deref`...