All the Shuffle Originals are built towards cryptographically verifiable formulas