ethereum_formal_verification_overview VS reach-lang

I'm researching tools to verify solidity code. So far yet i found this repo (https://github.com/leonardoalt/ethereum_formal_verification_overview) that contains a bunch of tools to secure smart contracts.

Found some links here. And here is an example of a higher level language that does its own formal verification.

Here is a link to their website https://reach.sh/ . Check out their documentation, discord (great community), and they have videos on youtube as well!

I'd highly suggest looking into Reach language (reach.sh). It's a smart contract language based on javascript that has the ability to deploy on ethereum, algorand, and conflux blockchains (i'm sure they will add more at some point). It's a lot simpler to learn than solidity for instance.

https://reach.sh there are also sdks available for Java, JavaScript, Python, go

Pokerand.io is built from the ground-up using Flutter, a UI software development kit created by Google. The Smart Contract, which handles deposits, withdrawals, authentication, and maintains player balances on-chain, is built using the Reach.sh smart contract platform (https://reach.sh/). The Reach contract will be published as an open-source project on GitHub, along with simple NodeJS programs to manually reproduce Deposits and Withdrawals of tokens.

reach.sh is...

When this was first released someone commented "RIP reach" and I assumed the contracts were written with reach.sh

The second point is somewhat invalid. Aside from pyteal, which compiles python to teal smart contracts, there is also Reach which is JavaScript to teal.

If you want a game where there are smart contracts and moves are recorded on the blockchain then either I suggest to wait for Cardano sidechains to itself with smart contract languages which are a bit easier (e.g. https://github.com/reach-sh/reach-lang) or simply develop in Solidity on Milkomeda sidechain with MetaMask.

In this article, we will cover a tutorial on how to build and deploy your decentralized Application on 4everland. For this case, we will be using react js and 4everland will be used to manage our front-end. The Application will use the Ethereum network and it will be written in Reach, a dApp programming language that is simple to learn and has a Javascript syntax.

If you want to look at some examples of smart contracts implemented in a higher level language, there's reach, which is Js based, which compiles to various chain vms including avm. Their GitHub has numerous example smart contracts that I found useful. Their docs & walkthroughs are also good to get you started thinking the right way. You may even consider it for implementation if you're comfortable with JS. It also provides compile time assertions that double check your code for things like "value X should only be visible to participant A" which I found great as a concept.