The brightest star in the sustainability sky is @gitcoin. Two successful rounds of quadratic funding for #Ethereum prove the model. I am excited to see @owocki expand focus and encourage the gitcoin community to tap into some of the #Zcash project's new "Major Grants" funding.
.@trailofbits performs formal verification! It's a fallacy that simply using 1 technology will keep you safe: it's all about the security properties you define and how you prove them. Here's a good interview where I dig into the details:https://defiprime.com/defi-smart-contract-audits …
-
-
Further, we're the only security firm partnered with a team of economists (
@prysmeconomics) to provide an integrated view into the safety of defi systems.https://blog.trailofbits.com/2019/12/09/introducing-mainnet360-a-joint-economic-and-security-assessment-with-prysm-group/ … -
Here’s how
@trailofbits defined and evaluated security properties for@MakerDAO and@0xProject, in addition to the kind of architecture and SDLC review you said is also important: https://twitter.com/trailofbits/status/1191762331363106818?s=21 …https://twitter.com/trailofbits/status/1191762331363106818 …
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.