
@ZeroK_____ Good luck :)
Would love to try it out with you
English
Antics Decoded
975 posts

@AnticsDecoded
Security Researcher Rust, Solidity, C++, Go




Inside Hakira AI: How to Find Vulnerabilities Automatically hakira.io/blog/inside-ha…



















libcrux is formally verified code, so it's bug-free, right?

