Searching protocol for "orderless"
GF(3)-conserved, orderless Aptos transactions with SPI guarantees.