Kısa ve öz her zaman güvenliği ilk sıraya koyar. @NethermindSec ve @EthereumFndn ile işbirliği içinde SP1 Hypercube için RISC-V kısıtlamalarının doğruluğunu resmi olarak doğruladık.

4/ Son altı ayda Hypercube'u titizlikle üretime hazırladık. Güvenliği en üst düzeye çıkarmak için Nethermind'den Hypercube'u resmi olarak doğrulamasını istedik. Bu çabaya yönelik olarak Ethereum Vakfı'ndan da kısmi bir hibe aldık.

5/ Resmi doğrulama, Hypercube devrelerinin tam olarak belirtildiği gibi davrandığının matematiksel bir garantisidir. Nethermind, bu resmi yöntemlerde ve ZK güvenliğinde liderdir.

6/ Hypercube artık resmi olarak doğrulanmış işlem kodu kısıtlamalarına sahip ilk zkVM'dir. Bu aynı zamanda resmi RISC-V spesifikasyonunun böyle bir sistemin resmi doğrulamasında ilk kez kullanılmasıdır.