diff --git a/proof-systems-vendors b/proof-systems-vendors
index 97360b434b..b600cadc51 160000
--- a/proof-systems-vendors
+++ b/proof-systems-vendors
@@ -1 +1 @@
-Subproject commit 97360b434b585ae85a992ca4bd3fc784b1ff8426
+Subproject commit b600cadc5108ce2bed7ccaae693e202fd76653ce