Automated Verification Techniques for Solana Smart Contracts

Solana has been a relatively new blockchain platform that has gained popularity due to its quick transaction times and low transaction fees. However, the focus is mainly seen in their “smart contracts” – an automatically-enforced agreement under an on-chain program between an individual with financial implications involved. Due to the nature of the platform being relatively new, there has been no foundation related to the security concerns of developing these programs, but such programs have been continually deployed daily without any security considerations. During the investigation of real-world smart contracts, we found that there were several common vulnerabilities – missing ownership checks, missing signer checks, the signed invocation of programs, and the underflow and overflow of arithmetic operations. The mentioned vulnerabilities became the baseline for us to develop verification techniques in identifying them in real-world smart contracts. Furthermore, it became a goal to develop a static analysis tool in Rust that combines all the algorithms into a single static analysis tool, leveraging the MIR functionality provided by Rust. The results conveyed that the tool was able to reliably find sensitive instructions it deemed to be insecure. Even though there were several insignificant results, the initial verification techniques are valid in this early stage of development. Developers who wish to develop Solana smart contracts should use these verification techniques in practice before on-chain deployment as an initial benchmark for security concerns

Nolanville Comprehensive Plan 2021-2041

Nearly five years after the completion of the 2015 Comprehensive Plan, TxTC partnered with the City of Nolanville again in 2019 with the ENDEAVR project. ENDEAVR (Envisioning the Neo-traditional Development by Embracing the Autonomous Vehicles Realm)— is an ambitious project to re-envision ”smart” city solutions in small towns with students from a wide range of university degree programs in urban planning, landscape architecture, visualization, computer science, and civil, electrical and mechanical engineering. ENDEAVR launched in 2018 with a $300,000 grant from the Keck Foundation, which supports projects that promote inventive educational approaches. The City of Nolanville sought to explore “smart” city solutions to make efficient and prudent improvements to traffic flow, public safety, optimize utility systems, high-bandwidth digital networks, and foster autonomous vehicles. Additionally, TxTC included these “smart” city solutions to update its 2015 comprehensive plan. The new 2020 comprehensive plan embeds “smart” city solutions into its priorities and capital improvement projects to foster diversity and continue to make Nolanville “A Great Place to Live”