Azam Soleimanian

Description

Lookup arguments are commonly used in proof generation by Layer 2 solutions. They assert that the elements of one vector are a subset of another vector. We focus on a special case where a bilateral order-preserving lookup is required.