00:12:23 <br-m> <sgp_> PoT, described above, is utter nonsense as currently written. One clear example of this is that using the public key as a primary anti-sybil measure (e.g. in 4.4) is in direct opposition to 4.6. 4.6 says miners should avoid public key reuse to protect their privacy, entirely negating the "benefit" of the anti-sybil mechanism. In any case, public keys are free to generate.
00:12:23 <br-m> <sgp_> "the P2P layer enforces a strict limit of one intent per peer submitted strictly via localhost connection" ???
02:53:18 <br-m> <kayabanerve:matrix.org> It claims to be asynchronous yet has multiple explicit synchrony assumptions. It has a lack of formal bounds and actual proofs of neither correctness nor liveness.