Abstract Interpretation for PLONKish Circuits | Publicación