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 …
-
Show this thread
-
More resources about the Gemini dollar: Whitepaper: https://gemini.com/dollar/whitepaper … Gemini blog: https://medium.com/gemini/blog-post-draft-501882fb35a7 … Press release:https://www.businesswire.com/news/home/20180910005233/en/Gemini-Puts-U.S.-Dollars-Blockchain-Gemini-Dollar …
1 reply 3 retweets 9 likesShow this thread -
Gemini studied known Ethereum risks, minimized complexity in their design, and developed a high-coverage symbolic test suite w/ Manticore all PRIOR to starting their review with us. We collaborated to mitigate more subtle risks during the review because they had prepared so well.
1 reply 0 retweets 8 likesShow this thread -
Further, our upcoming advice on smart contract upgrades is based in part on discussions we had with Gemini earlier this summer. We’ll be publishing those recommendations later this month but, for now, here are pitfalls to avoid:https://blog.trailofbits.com/2018/09/05/contract-upgrade-anti-patterns/ …
1 reply 1 retweet 8 likesShow this thread -
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 …
1 reply 7 retweets 33 likesShow 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 …
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.