Event JSON
{
"id": "d4ade5d1f948c3eb38e670308d556c209b7dafde4d6487a81bd66b6c71f25129",
"pubkey": "2824434e9d79add8aae9007340877d165e8654351086ebbd12e881a5e53f37cc",
"created_at": 1675429074,
"kind": 1,
"tags": [
[
"t",
"foundry"
],
[
"t",
"solidity"
]
],
"content": "https://a16zcrypto.com/symbolic-testing-with-halmos-leveraging-existing-tests-for-formal-verification/\na16z 开发的智能合约形式化验证工具，和 #Foundry 一样走的是 #solidity 路线",
"sig": "9eb586c817127d90717beeeba553a26d4e1780dc1454bdafe29264e83aeef118c2f38556d22b67163722025614065e1d03bf4f90c075b50dfacde07af5faecd7"
}
