- CyScout [1]: We’ve added support for the Solidity programming language in GitHub’s CodeQL. This enhancement engages the community to help identify security vulnerabilities in smart contracts on EVMs using a semantic code analysis engine.
- Roughchain [2][3]: A new blockchain focusing on solving the collusion problem [4][5], with participants who have a stake in the “real world” such as S&P 500 companies. The latest version of the whitepaper is available here https://docs.google.com/document/d/1L0Me9si4iMclOq8n-oG2yNQf...> , where comments are welcome. Currently, I am focused on a notes section addressing typical issues with L1 technologies, accessible here https://docs.google.com/document/d/1pV2Tcx_txCbfiPrNzcgKdOsE...>.
[1] https://news.ycombinator.com/item?id=41916861
[2] https://news.ycombinator.com/item?id=41691162
[3] https://news.ycombinator.com/item?id=41687715
[4] https://www.sciencedirect.com/science/article/pii/S089982561...