AIR Cryptographer
Sicher 72Soundness von AIR-Constraints überprüfen
von ClementWalter
AIR-Designs können subtile Soundness-Lücken in Selektoren, Randbedingungen und globalen Argumenten verbergen. Dieser Skill bietet einen strukturierten kryptografischen Review-Prozess, um diese Risiken zu finden und zu erklären.