ETHSecurity Community

Who here _does_ security (like its in your title and role) at their blockchain co?

Pragmatism (Security) at OP Labs.
Prev: ConsenSys & Coinbase.

Attribs: Friendly, curious, introverted, mid-witted.
Chans: /eth-security /maurelian /stoicism




Founder of Hashing It Out podcast, program owner of https://logos.co, phd in some hard shit.

∂αFβγ + ∂βFγα + ∂γFαβ = 0 | Che, boludo! Visit /degen . Disclaimer: My casts are not financial advice! 

Santiago del Estero, Santiago del Estero Province, Argentina

no another group. they just released this https://github.com/lindy-labs/solidity_properties

Not really, just looking for peers. 

Who is it you refer to Runtime Verification or Certora?

@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.

I did security at LBRY but that mostly involves staying up to date on Bitcoin code and not keeping too many tokens in any one wallet 

I did write multisig txns by hand though (and later via python script)

Onchain security. Trusted by Coinbase, Metamask, Stellar, and more to detect, understand, and protect against fraud, scams, and exploits in real time.