This repo contains Starkom's PLONK arithmetization and proving system.
The specific arithmetization type is PLONKish: it has an arbitrary number of columns, custom gate constraints, and arbitrarily shaped gates.