Alfredo Garcia

I think a link to https://arxiv.org/pdf/2109.14534.pdf in the README can help.

@eric-wieser i removed the def as suggested. I think we need to keep the lemma but open to remove it if there are better alternatives to solve goals as: ```...

I was doing some research here and i ended up creating a little script to convert the data to JSON which i think it might be more useful in general...

The only thing i was able to find for the `xor-digest` is https://www.cosic.esat.kuleuven.be/nessie/testvectors/sc-title.html Unsure if we will want to test it.

I was thinking on testing all the stream outputs similar to how it is done in https://github.com/RustCrypto/stream-ciphers/blob/master/salsa20/tests/mod.rs#L92-L99 but i will be happy to try whatever you guys think it will...

I this this research in a separated branch, i wanted to figure out if this implementation pass the ecrypt tests and it does: https://github.com/oxarbitrage/stream-ciphers/pull/1 But i was able to test...

It seems we need to add the `print_db_metrics` to the `ZebraDb` structure. I think this can be just something as: ``` pub fn print_db_metrics(&self) { self.db.print_db_metrics(); } ``` But i...

I created a follow up ticket to convert bytes to human readable form at https://github.com/ZcashFoundation/zebra/issues/8380

> Just confirming that this issue is out of scope for the MVP? Correct.

Blocked until https://github.com/ZcashFoundation/zebra/issues/8163 is done.