Skip to content

Shorter barrier proof that uses auth instead of sts.

Robbert Krebbers requested to merge robbert/barrier_auth into master

The title says it all :)

Merge request reports