Module soundness 

Soundness analysis for the SWIRL proof system.

Structs

ProximityGapSecurity

SoundnessCalculator

WhirSoundnessCalculator

WHIR soundness breakdown by error source.

Functions

min_whir_queries

Calculates the minimum WHIR queries needed for a target security level.

print_soundness_report

Prints a detailed soundness report to stdout.