liveness.md ฯ 0.01% Linked References double sign protection double signing attack honest majority assumption Local Graph