| Fflonk | Bn128 | Public Inputs: 1 | Fflonk proof |
| Groth16 | Bls12-381, Bn128 | Public Inputs: 64 | Groth16 proof |
| Noir UltraHonk | Noir v1.0.0-beta.6, ZK, Keccak256 | Public Inputs: 32 | UltraHonk proof |
| Noir UltraPlonk | >= v0.31.0, bbup <= v0.76.4 | Public Inputs: 32 | Noir UltraPlonk proof |
| Risc0 | v2.1, v2.2, v2.3, v3.0 | Max Public Inputs Size: 2052 bytes (2048 bytes user input), Format: cbor | Risc0 proof |
| Plonky2 | Keccak256, Poseidon | Max number of Public Inputs: 64, Max Proof Size: 256 KiB, Max Verification Key Size: 50 KB | Plonky2 proof |
| SP1 | v5.x | Max Public Inputs Size: 2048 bytes | SP1 proof |
| Tee | Intel TDX (TDX_01, TDX_03), TCB v4 | Format: 0x-prefixed hex, Public Signals: none, Requires: zkVerify runtime v1.5.0+ (Volta) | Tee proof |