The missing relation for Ultra Honk. Needed for RAM/ROM functionality and some bigfield operations. There is nothing fundamentally different about this relation versus all of the others that have been implemented. It does rely however on the correct incorporation of "memory records" into wire 4 in the prover, which is implemented but has not been tested in the sense that the RAM/ROM constraints are not currently enforced.
The missing relation for Ultra Honk. Needed for RAM/ROM functionality and some bigfield operations. There is nothing fundamentally different about this relation versus all of the others that have been implemented. It does rely however on the correct incorporation of "memory records" into wire 4 in the prover, which is implemented but has not been tested in the sense that the RAM/ROM constraints are not currently enforced.