Code Merklization and other approaches to reducing the code contribution to witness size - View it on GitHub