Suggest making our own IDE based on DRAKON (With FSM) editor

 Proof of human language. There are ancient languages with complex syntax and very specific vocabulary. A complete tree of modifiers can be built by generative intelligence, which will serve as zero-knowledge proof. A non-native speaker or a person with mental disabilities will not be able to pass the proof. This is especially convenient to do in Hyperchains.

https://www.youtube.com/watch?v=gTnd_l75938

https://docs.google.com/document/d/1Z-9AHkI9-JcmmB9kw9oXV2UxNit59F5mPpIQKAO7LZ8/edit

Telegram SmartContract FreeTON 

Proxy Smart Contract 

Radare2  - Positive Technologies ( web3@ptsecurity.com ) there are examples  of using Radare for disassembling and debugging contracts.

Static analysis tool Slither

Ida-evm  A processor module for IDA Pro that allows it to disassemble contracts. Reverse engineering is legal in many countries, but many people keep these tools (IDA Pro) on computers without an Internet connection.

Formal verification tools

TIP — Trustless Improvement Proposal (TIPs) describe standards for the Everscale blockchain.

Storj.io is a distributed decentralized open-source platform for cloud data storage, the operation of which is based on the use of the Bitcoin transaction register (blockchain) and its own peer-to-peer protocols. The platform also performs the functions of a payment system, using its own cryptocurrency - StorjcoinX (SJCX), working on the protocol Counterparty.

Which is better, ERC 721 or ERC 1155?

Standard? tools

sudo snap install solc

npm uninstall web3

npm install web3@0.20.1 --save

sudo npm install -g truffle

#or

pip install eth-brownie

sudo npm install -g ganache-cli

pip3 install certora-cli

RemixIDE

npm install -E zeppelin-solidity

python3 -m pip install slither-analyzer

Hardhat  is also a framework, but the code is written in JavaScript.

$ cd ~/sol01/

$ mkdir solext

$ cd solext

$ npm init -yes

$ npm install --save-dev hardhat

$ npx hardhat

$ npm install --save-dev @nomiclabs/hardhat-waffle 'ethereum-waffle@^3.0.0' @nomiclabs/hardhat-ethers 'ethers@^5.0.0'

$ npm install --save-dev @nomiclabs/hardhat-truffle5 @nomiclabs/hardhat-web3 web3

$ npm install hardhat-gas-reporter

$ npm install --save-dev @nomiclabs/hardhat-web3 web3

$ npm install --save-dev hardhat-storage-layout

Brownie is a framework for deploying smart contracts, with code written in Python.

Vyper - as well as Solidity, a language for writing smart contracts for EVM networks. This language is very similar to Python, which is why it is also called Pythonistic.

Metamask 

and Web3.js https://github.com/web3j/web3j