Zero‐Knowledge Proof Enabled Blockchain Smart Contracts for Efficient Health Insurance System | Synapse