Each template can choose the most efficient type:

✔ Zero-Knowledge Proofs (ZK-SNARKs / ZK-STARKs)

Use when verifying numeric or logical conditions:

• age
• date > X
• values in range
• membership proofs
• boolean checks

✔ Garbled Circuits (GC)

Use when combining multiple private data points from different parties.

Great for:

• private two-party comparisons
• compliance checks
• biometric-derived checks

✔ Multi-Party Computation (MPC)

Use when multiple institutions are involved:

• cross-border identity checks
• healthcare validations
• financial compliance proofs

Templates choose the optimal type automatically.