Pages that link to "Item:Q2167734"
From MaRDI portal
The following pages link to Efficient proof composition for verifiable computation (Q2167734):
Displaying 5 items.
- Efficient rational proofs with strong utility-gap guarantees (Q1617659) (← links)
- Efficient and Provable White-Box Primitives (Q2958118) (← links)
- Incrementally Verifiable Computation or Proofs of Knowledge Imply Time/Space Efficiency (Q5445495) (← links)
- Automata, Languages and Programming (Q5466484) (← links)
- Enhancing privacy preservation and trustworthiness for decentralized federated learning (Q6127142) (← links)