AUTHREX SYSTEMS · Burak Oktenli · Georgetown University · ORCID 0009-0001-8573-1667 · Site text CC BY 4.0 · artifact licenses vary by record · ZERO DEPENDENCIES
MAIVA limitation. The implemented quorum check verifies roster size against a threshold derived from that same roster size. It does not implement Byzantine fault tolerant consensus. The PBFT reference describes the intended design, not the current implementation.