Blockchain Exploring Formal Strategies in Zero Information Circuits for Enhanced Safety November 23, 2024