Skip to content

Shorter barrier proof that uses auth instead of sts.

Robbert Krebbersrequested to merge
robbert/barrier_auth into master

The title says it all :)

Merge request reports