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