Proof of Algoland (PLAUS)