Developers aim to transform an unused part of the script system into a tool that can verify cryptographic proofs, starting with ‘Groth16’ (a specific type of proof widely used in zk systems) and allowing for future upgrades.