a16zcrypto
@a16zcrypto
Continuous formal verification of Pectra system contracts with halmos The upcoming Pectra hardfork introduces system contracts, which have undergone four security audits. To further enhance security guarantees, we applied formal verification using halmos. Learn more: https://a16zcrypto.com/posts/article/formal-verification-of-pectra-system-contracts-with-halmos/
0 reply
0 recast
11 reactions
