Que verrons-nous dans les projets de production utilisant Starks à l'avenir ? Taille de preuve double pour les starks sous sécurité prouvable ? Augmentation de 2-3 % de la taille de la preuve sous la nouvelle conjecture, comme suggéré dans le tableau 1 du document ? Pas de changements pour l'instant car il n'y a pas d'attaque (aiui) constructive sur les systèmes actuels ?

Je pense que je comprends enfin Dory PCS. Un petit coup de gueule à ce sujet. L'idée est que nous partons des bulletproofs. Dans BP, le vérificateur doit "croire" que le prouveur plie correctement les générateurs gauche et droit, et utilise la combinaison appropriée L+alpha R pour le prochain tour. Pour rendre cela solide, V effectue une combinaison linéaire à la fin. Dory dit - lorsque nous avons un groupe de couplage, nous pouvons *nous engager en prétraitement* à L et R dans le groupe cible de couplage, et ainsi calculer de manière vérifiable l'engagement à L+alpha R. Cela nous permet finalement d'éviter la combinaison en temps linéaire. Jusqu'à présent, cela a supprimé le calcul en temps linéaire de V, mais nous supposons un couplage, donc au moins modulo une configuration de confiance, nous aurions pu aussi utiliser KZG, et avoir un V en temps constant. Ainsi, pour donner un plus grand "impact", Dory combine cette idée avec des engagements à deux tiers qui sont possibles avec des couplages (connus depuis l'ancien article d'Abe et al.) C'est-à-dire, pensez à votre poly comme à une matrice, engagez-vous à chaque ligne dans G1 puis engagez-vous aux engagements dans G_t. Cette combinaison donne un vérificateur logarithmique, un prouveur d'ouverture sqrt, et une taille d'engagement constante.