Great post! I suspect proving commitment adherence via ZKP, particularly using a generic VM like Risc0 may add too much latency, but I’d love to see some numbers on that.
Another way to do this is have the DVT set blind sign, but also give them the block encrypted against their threshold signature and have them decrypt the block after signing and verify the commitment in plaintext.