Jatkotyö hyväksytty DISC:lle: moniarvoinen asynkroninen bysanttilainen sopimus täydellisellä turvallisuudella ja optimaalisella joustavuudella annettuna binääri ABA O(nL+n^2 log n)