# Techniques: Logical accreditation, a framework for efficient certification of fault-tolerant computations

## What the paper contributes (one paragraph)
A framework to certify the output error of a fault-tolerant computation using an accreditation protocol that does not trust the device.

## Techniques offered
- **Logical accreditation** - certifies the output error of a fault-tolerant computation with limited trusted resources.
  - guarantee: bounds the logical error with an accreditation sampling overhead independent of system size.
  - quote: "an accreditation protocol that does not trust the device"

## Where it could apply
- Target primitive(s): any
- Target application group(s): error_correction
- Code family / hardware assumptions: surface code, neutral-atom logical processors

## Caveats
None.