Cysic lance officiellement en open source Venus, et a été inscrit comme partenaire d’intégration Ethproofs pour la preuve de l’Ethereum.

Actualités ME, le 7 avril (UTC+8), Cysic a annoncé officiellement l’ouverture du code du framework de preuve zkVM Graph-First Venus. Venus est construit sur ZisK. Il abandonne le mode HAL traditionnel qui considère le processus de preuve comme une série de fonctions backend isolées, et encode l’ensemble du flux de preuve ZK sous la forme d’un unique graphe de calcul global, découplant la logique de l’exécution matérielle. Des essais montrent que, par rapport à ZisK 0.16.1 existant, Venus améliore le temps de preuve de bout en bout de plus de 9 %, réduit fortement les surcoûts de synchronisation CPU-GPU, et est compatible avec les GPU, les FPGA et même les ASIC. Cysic a été listé comme partenaire d’intégration d’Ethproofs, et fonctionnera directement en tant que nœud zkEVM sur Ethereum. Le zkVM ZisK sur lequel s’appuie Venus utilise un jeu d’instructions sur mesure : il figure, dans le débat officiel sur la mise à niveau EIP-8025 d’Ethereum, explicitement parmi l’un des cinq principaux candidats zkVM. Cysic peut ainsi entrer directement dans la piste centrale du marché des preuves pour l’Ethereum L1. (Source : ChainCatcher)