C'est un gros problème pour @ethereum que la plupart des contraintes pour les zkVM RISC V ne soient pas explicitement claires dans le code ou la documentation. La plupart des prouveurs sont actuellement des boîtes noires avec 100k à 500k lignes de code. Je dis depuis cinq ans, et particulièrement ces trois dernières années, que le ZK allait conquérir le monde. Cela est en train de se produire. Grâce au gros investissement en recherche et en ingénierie réalisé par la communauté Ethereum, nous sommes très proches de cela. Cependant, je suis profondément inquiet du manque de documentation claire et de code clair. Comme nous l'avons fait avec @ethrex_client chez @class_lambda, @alignedlayer travaille sur un zkVM RISC V minimaliste, simple et performant avec des améliorations théoriques. Je pense que le plus grand atout que nous apportons à Ethereum est qu'il est facile à comprendre, à inspecter et à reproduire notre travail.

@QuangVDao @thefrozenfire @ethereum 3. ma critique est que la plupart des zkvms n'ont pas de surface claire avec les contraintes et le protocole définis