Content
@
https://warpcast.com/~/channel/eth-security
0 reply
0 recast
0 reaction
maurelian
@maurelian.eth
Who here _does_ security (like its in your title and role) at their blockchain co?
6 replies
0 recast
3 reactions
0xpotus (🔵, 🎩)
@0xpotus
@maurelian.eth - do you have a specific need? I am connected to a web3 security team (bunch of PhDs) and they do mostly formal verification of smart contracts.
1 reply
0 recast
0 reaction
maurelian
@maurelian.eth
Not really, just looking for peers. Who is it you refer to Runtime Verification or Certora?
2 replies
0 recast
0 reaction
0xpotus (🔵, 🎩)
@0xpotus
I have spoken to runtime team - great guys and my friends have used certora.
0 reply
0 recast
1 reaction
0xpotus (🔵, 🎩)
@0xpotus
no another group. they just released this https://github.com/lindy-labs/solidity_properties
0 reply
0 recast
1 reaction
