I am currently involved in two R&D projects: - CyScout [1]: We’ve added support for the Solidity programming language in GitHub’s CodeQL. This enhancement enga

I am currently involved in two R&D projects: - 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-oG2yNQfZ7xBpWppi_cPc7brO9A/edit 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_txCbfiPrNzcgKdOsE2FY-NrmOU9lPzSyGPUI/edit https://docs.google.com/document/d/1pV2Tcx_txCbfiPrNzcgKdOsE...>. [1] https://news.ycombinator.com/item?id=41916861 https://news.ycombinator.com/item?id=41916861 [2] https://news.ycombinator.com/item?id=41691162 https://news.ycombinator.com/item?id=41691162 [3] https://news.ycombinator.com/item?id=41687715 https://news.ycombinator.com/item?id=41687715 [4] https://www.sciencedirect.com/science/article/pii/S0899825616300136 https://www.sciencedirect.com/science/article/pii/S089982561... [5] https://www.youtube.com/watch?v=CgHboH7C0FM https://www.youtube.com/watch?v=CgHboH7C0FM