read-write lookup offline-memory-checking logUp-based implementation in (Super)Nova R1CS#48

hero78119 wants to merge 6 commits intolurk-lang:devlurk-lang/arecibo:devfrom

hero78119:nova_lookuphero78119/arecibo:nova_lookupCopy head branch name to clipboard