ldt
ldt copied to clipboard
z-tech/stir
What does this PR do?
- implements STIR found at https://github.com/WizardOfMenlo/stir
- implements direct LDT
- implements traits for LDT, Prover, and Verifier
- implements traits for Statement and Witness
What does this PR not include?
- FRI mapped to the same traits comes in a separate branch
Future plans (?):
- Nimue
- Rayon