The following pages link to Redundancy in distributed proofs (Q2025853):
Displaying 9 items.
- Compact distributed certification of planar graphs (Q2037111) (← links)
- Local certification of graphs with bounded genus (Q2104916) (← links)
- Proof-labeling schemes: broadcast, unicast and in between (Q2672621) (← links)
- Redundancy in distributed proofs (Q5090916) (← links)
- Local verification of global proofs (Q5090917) (← links)
- Lower bound for constant-size local certification (Q6155248) (← links)
- Trade-offs in distributed interactive proofs (Q6487530) (← links)
- The hardness of local certification of finite-state dynamics (Q6547916) (← links)
- Locally verifiable distributed SNARGs (Q6581783) (← links)