ebfull
ebfull
A futures-based "lazy synthesis" design is something I'm very interested in. (Would allow us to discard unused constraints in BLAKE2s, for example.) The problem with batch inversion is that we...
ACK MIT, sorry for the delay.
We (@daira, @therealyingtong and I) had a meeting to discuss this PR. We think a section of the halo2 book should contain documentation describing unstable features. Then a section for...
> In the circuit, prove in zero knowledge that the revocation tokens for each output address are not in the revocation tree corresponding to the Pour anchor. ~~How can we...
There are two concrete choices, regardless of the protocol: 1. Do we want a system that allows the posessor of a spending key to, with authentication, communicate _strictly_ to posessors...
@maaku Absolutely, this is a problem I brought up yesterday. Even a transaction anchored to an old block could become permanently invalidated during a reorg. As far as I understand,...