A gas-efficient data structure for zero-knowledge membership proofs. Visualization: https://youtu.be/7MsGTO6CuqI