The embargo has been lifted! @GeminiDotCom is launching a US regulator-approved, fiat-collateralized, ERC20 stablecoin: the Gemini dollar. I’m pleased to announce that @trailofbits completed a security review of it. You can find our public report here: https://gemini.com/dollar/trailofbits …
-
-
We were pleased to work w/ Gemini on this project. We hope that more teams follow their example! Study the risks: https://github.com/trailofbits/not-so-smart-contracts … Bug check the code: https://github.com/trailofbits/slither … Write property tests: https://github.com/trailofbits/echidna … Verify the final product:https://github.com/trailofbits/manticore …
Show this thread -
Even the most prepared, reviewed, and tested code can have bugs. If you find any in the
@GeminiDotCom dollar or related systems, contact them via their security page: https://gemini.com/security/ (we wish more people copied them here, too!)https://github.com/trailofbits/blockchain-security-contacts …Show this thread
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.