hacl-star/hacl-star

HACL*, pustaka kriptografi yang diverifikasi secara formal yang ditulis dalam F*

↗ Buka di GitHub

Bintang

1.836

Fork

193

Bahasa

F*

Lisensi

Apache-2.0

Push terakhir

3 bulan yang lalu

F*security cryptography formal-methods formal-verification verification high-performance everest hacl inria verified-primitives

Belum ada intel terkait

Repositori ini belum muncul di sumber mana pun yang dilacak radar. Kolektor berjalan sesuai jadwal — periksa kembali setelah mencakup repositori ini.