Skip to content

Commit aa6302c

Browse files
tuturu-techtuturu-tech
authored
Merge branch 'master' into GPT-root
2 parents 6337c7f + 4ae8bd9 commit aa6302c

File tree

20 files changed

+992
-190
lines changed

20 files changed

+992
-190
lines changed

‎.github/workflows/echidna.yml‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -115,15 +115,15 @@ jobs:
115115
config: Popsicle.yaml
116116
contract: PopsicleFixed
117117
outcome: success
118-
expected: 'totalBalanceAfterTransferIsPreserved(address,uint256):\s*passed'
118+
expected: 'totalBalanceAfterTransferIsPreserved(address,uint256):\s*passing'
119119
- name: TestDepositWithPermit
120120
workdir: program-analysis/echidna/example/
121121
files: TestDepositWithPermit.sol
122122
solc-version: 0.8.0
123123
config: testdeposit.yaml
124124
contract: TestDepositWithPermit
125125
outcome: success
126-
expected: 'testERC20PermitDeposit(uint256):\s*passed'
126+
expected: 'testERC20PermitDeposit(uint256):\s*passing'
127127
- name: MultiABI
128128
workdir: program-analysis/echidna/example/
129129
files: multiabi.sol

‎.github/workflows/lint_links.yml‎

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -12,14 +12,15 @@ on:
1212
- ".github/workflows/lint_links.yml"
1313
- "**.md"
1414
schedule:
15-
# run CI at 09:00, on day 1 of the month even if no PRs/merges occur
16-
- cron: "0 9 1 * *"
15+
# run CI at 09:00 every Tuesday even if no PRs/merges occur
16+
- cron: "0 9 * * 2"
1717

1818
jobs:
1919
markdown-link-check:
2020
runs-on: ubuntu-latest
2121
steps:
22-
- uses: actions/checkout@master
22+
- uses: actions/checkout@v3
2323
- uses: gaurav-nelson/github-action-markdown-link-check@v1
2424
with:
2525
use-quiet-mode: "yes"
26+
check-modified-files-only: ${{ (github.event_name == 'pull_request' && 'yes') || 'no' }}

‎.gitignore‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1 +1,2 @@
11
.DS_Store
2+
node_modules

‎SUMMARY.md‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -10,6 +10,7 @@
1010
- [Learn EVM](./learn_evm/README.md)
1111
- [EVM Opcode Reference](./learn_evm/evm_opcodes.md)
1212
- [Transaction Tracing](./learn_evm/tracing.md)
13+
- [Arithmetic Checks](./learn_evm/arithmetic-checks.md)
1314
- [Yellow Paper Guidance](./learn_evm/yellow-paper.md):
1415
- [Forks <> EIPs](./learn_evm/eips_forks.md)
1516
- [Forks <> CIPs](./learn_evm/cips_forks.md)
@@ -79,6 +80,7 @@
7980
- [Testing Bytecode-Only Contracts](./program-analysis/echidna/advanced/testing-bytecode.md)
8081
- [Using Hevm Cheats to Test Permit](./program-analysis/echidna/advanced/hevm-cheats-to-test-permit.md)
8182
- [Seeding Echidna with Unit Tests](./program-analysis/echidna/advanced/end-to-end-testing.md)
83+
- [Fuzzing Contracts with External Libraries](./program-analysis/echidna/advanced/working-with-libraries.md)
8284
- [Understanding and Using `multi-abi`](./program-analysis/echidna/advanced/using-multi-abi.md)
8385
- [Fuzzing Tips](./program-analysis/echidna/fuzzing_tips.md)
8486
- [Frequently Asked Questions](./program-analysis/echidna/frequently_asked_questions.md)

‎book‎

Lines changed: 0 additions & 1 deletion
This file was deleted.

‎book.toml‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -15,6 +15,7 @@ no-section-label = true
1515
additional-css = ["static/custom.css"]
1616
additional-js = ["static/script.js"]
1717
default-theme = "light"
18+
mathjax-support = true
1819

1920
[output.html.fold]
2021
enable = true

‎learn_evm/README.md‎

Lines changed: 6 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,12 @@
11
# Learn EVM
22

3-
List of EVM technical knowledge
3+
List of EVM Technical Knowledge
44

55
- [EVM Opcode Reference](evm_opcodes.md): Reference and notes for each of the EVM opcodes
66
- [Transaction Tracing](tracing.md): Helper scripts and guidance for generating and navigating transaction traces
7+
- [Arithmetic Checks](./arithmetic-checks.md): Guide to performing arithmetic checks in the EVM
78
- [Yellow Paper Guidance](yellow-paper.md): Symbol reference for more easily reading the Ethereum yellow paper
8-
- [Forks <> EIPs](eips_forks.md): Summarize the EIPs included in each fork
9-
- [Forks <> CIPs](cips_forks.md): Summarize the CIPs and EIPs included in each Celo fork _(EVM-compatible chain)_
10-
- [Upgrades <> TIPs](tips_upgrades.md): Summarize the TIPs included in each TRON upgrade _(EVM-compatible chain)_
11-
- [Forks <> BEPs](beps_forks.md): Summarize the BEPs included in each BSC fork _(EVM-compatible chain)_
9+
- [Forks <> EIPs](eips_forks.md): Summarizes the EIPs included in each fork
10+
- [Forks <> CIPs](cips_forks.md): Summarizes the CIPs and EIPs included in each Celo fork _(EVM-compatible chain)_
11+
- [Upgrades <> TIPs](tips_upgrades.md): Summarizes the TIPs included in each TRON upgrade _(EVM-compatible chain)_
12+
- [Forks <> BEPs](beps_forks.md): Summarizes the BEPs included in each BSC fork _(EVM-compatible chain)_

‎learn_evm/arithmetic-checks.md‎

Lines changed: 723 additions & 0 deletions
Large diffs are not rendered by default.

‎learn_evm/beps_forks.md‎

Lines changed: 9 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -1,10 +1,10 @@
1-
The following lists every BEP associated to a Binance Smart Chain fork.
1+
The following list includes each BEP associated with a Binance Smart Chain fork.
22

3-
| Release | BEP | What it does |
4-
| ---------------------------------------------------------------- | -------------------------------------------------------------- | --------------------------------------------------- |
5-
| [v1.0.6](https://github.com/bnb-chain/bsc/releases/tag/v1.0.6) | [84](https://github.com/bnb-chain/BEPs/blob/master/BEP84.md) | Issue/bind BEP2 with existing BEP20 tokens |
6-
| [v1.1.5](https://github.com/bnb-chain/bsc/releases/tag/v1.1.5) | [93](https://github.com/bnb-chain/BEPs/blob/master/BEP93.md) | Introduces new block syncing protocol |
7-
| [v1.1.5](https://github.com/bnb-chain/bsc/releases/tag/v1.1.5) | [95](https://github.com/bnb-chain/BEPs/blob/master/BEP95.md) | Creates real-time burning mechanism |
8-
| [v1.1.11](https://github.com/bnb-chain/bsc/releases/tag/v1.1.11) | [127](https://github.com/bnb-chain/BEPs/blob/master/BEP127.md) | Creates "Temporary Maintenance" mode for validators |
9-
| [v1.1.11](https://github.com/bnb-chain/bsc/releases/tag/v1.1.11) | [131](https://github.com/bnb-chain/BEPs/blob/master/BEP131.md) | Increase validator set with "Candidate" validators |
10-
| [v1.1.18](https://github.com/bnb-chain/bsc/releases/tag/v1.1.11) | [153](https://github.com/bnb-chain/BEPs/blob/master/BEP153.md) | Creates native staking protocol |
3+
| Release | BEP | Functionality |
4+
| ---------------------------------------------------------------- | -------------------------------------------------------------- | ----------------------------------------------------- |
5+
| [v1.0.6](https://github.com/bnb-chain/bsc/releases/tag/v1.0.6) | [84](https://github.com/bnb-chain/BEPs/blob/master/BEP84.md) | Issue or bind BEP2 with existing BEP20 tokens |
6+
| [v1.1.5](https://github.com/bnb-chain/bsc/releases/tag/v1.1.5) | [93](https://github.com/bnb-chain/BEPs/blob/master/BEP93.md) | Introduce new block synchronization protocol |
7+
| [v1.1.5](https://github.com/bnb-chain/bsc/releases/tag/v1.1.5) | [95](https://github.com/bnb-chain/BEPs/blob/master/BEP95.md) | Establish real-time burning mechanism |
8+
| [v1.1.11](https://github.com/bnb-chain/bsc/releases/tag/v1.1.11) | [127](https://github.com/bnb-chain/BEPs/blob/master/BEP127.md) | Implement "Temporary Maintenance" mode for validators |
9+
| [v1.1.11](https://github.com/bnb-chain/bsc/releases/tag/v1.1.11) | [131](https://github.com/bnb-chain/BEPs/blob/master/BEP131.md) | Expand validator set with "Candidate" validators |
10+
| [v1.1.18](https://github.com/bnb-chain/bsc/releases/tag/v1.1.11) | [153](https://github.com/bnb-chain/BEPs/blob/master/BEP153.md) | Develop native staking protocol |

‎learn_evm/cips_forks.md‎

Lines changed: 24 additions & 24 deletions
Original file line numberDiff line numberDiff line change
@@ -1,25 +1,25 @@
1-
The following lists every CIP associated to a Celo fork. Celo is an EVM-compatible chain.
1+
The following list presents every CIP associated with a Celo fork. Celo is an EVM-compatible chain.
22

3-
| Fork | CIP/EIP | What it does |
4-
| ----------------------------------------------------------------------------------- | ------------------------------------------------------------------------------------------------------------ | ---------------------------------------------------------------- |
5-
| [Churrito](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0024.md) | [EIP 211](https://eips.ethereum.org/EIPS/eip-211) | Create `RETURNDATASIZE` and `RETURNDATACOPY` opcodes |
6-
| [Donut](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0027.md) | [CIP 25](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0025.md) | Add Ed25519 precompile |
7-
| [Donut](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0027.md) | [CIP 31 - _copied from EIP-2539_](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0031.md) | Add precompile for BLS12-381 curve operations |
8-
| [Donut](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0027.md) | [CIP 30 - _copied from EIP-2539_](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0030.md) | Add precompile for BLS12-377 curve operations |
9-
| [Donut](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0027.md) | [CIP 20](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0020.md) | Add extensible hash function precompile |
10-
| [Donut](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0027.md) | [CIP 21](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0021.md) | Add governable lookback window |
11-
| [Donut](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0027.md) | [CIP 22](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0022.md) | Upgrade epoch SNARK data |
12-
| [Donut](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0027.md) | [CIP 26](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0026.md) | Add precompile to return BLS pubkey of given validator |
13-
| [Donut](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0027.md) | [CIP 28](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0028.md) | Split etherbase into separate addresses |
14-
| [Donut](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0027.md) | [CIP 35](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0035.md) | Add support for Ethereum-compatible transactions |
15-
| [Espresso](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0041.md) | [EIP 2565](https://eips.ethereum.org/EIPS/eip-2565) | Define gas cost of ModExp precompile |
16-
| [Espresso](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0041.md) | [CIP 48 - _modified from EIP 2929_](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0048.md) | Gas repricing |
17-
| [Espresso](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0041.md) | [EIP 2718](https://eips.ethereum.org/EIPS/eip-2718) | Introduce typed transaction envelope |
18-
| [Espresso](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0041.md) | [EIP 2930](https://eips.ethereum.org/EIPS/eip-2930) | Introduce optional access lists |
19-
| [Espresso](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0041.md) | [CIP 42 - _modified from EIP 1559_](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0042.md) | Fee market changes |
20-
| [Espresso](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0041.md) | [EIP 3529](https://eips.ethereum.org/EIPS/eip-3529) | Reduction in gas refunds |
21-
| [Espresso](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0041.md) | [EIP 3541](https://eips.ethereum.org/EIPS/eip-3541) | Reject deployment of contract code starting with the `0xEF` byte |
22-
| [Espresso](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0041.md) | [CIP 43](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0043.md) | Block Context |
23-
| [Espresso](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0041.md) | [CIP 47](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0047.md) | Modify round change timeout formula |
24-
| [Espresso](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0041.md) | [CIP 45](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0045.md) | Modify transaction fee check |
25-
| [Espresso](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0041.md) | [CIP 50](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0050.md) | Make replay protection optional |
3+
| Fork | CIP/EIP | What it does |
4+
| ----------------------------------------------------------------------------------- | ------------------------------------------------------------------------------------------------------------ | ----------------------------------------------------------------- |
5+
| [Churrito](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0024.md) | [EIP 211](https://eips.ethereum.org/EIPS/eip-211) | Creates `RETURNDATASIZE` and `RETURNDATACOPY` opcodes |
6+
| [Donut](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0027.md) | [CIP 25](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0025.md) | Adds Ed25519 precompile |
7+
| [Donut](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0027.md) | [CIP 31 - _copied from EIP-2539_](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0031.md) | Adds precompile for BLS12-381 curve operations |
8+
| [Donut](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0027.md) | [CIP 30 - _copied from EIP-2539_](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0030.md) | Adds precompile for BLS12-377 curve operations |
9+
| [Donut](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0027.md) | [CIP 20](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0020.md) | Adds extensible hash function precompile |
10+
| [Donut](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0027.md) | [CIP 21](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0021.md) | Adds governable lookback window |
11+
| [Donut](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0027.md) | [CIP 22](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0022.md) | Upgrades epoch SNARK data |
12+
| [Donut](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0027.md) | [CIP 26](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0026.md) | Adds precompile to return BLS pubkey of given validator |
13+
| [Donut](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0027.md) | [CIP 28](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0028.md) | Splits etherbase into separate addresses |
14+
| [Donut](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0027.md) | [CIP 35](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0035.md) | Adds support for Ethereum-compatible transactions |
15+
| [Espresso](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0041.md) | [EIP 2565](https://eips.ethereum.org/EIPS/eip-2565) | Defines gas cost of ModExp precompile |
16+
| [Espresso](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0041.md) | [CIP 48 - _modified from EIP 2929_](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0048.md) | Gas repricing |
17+
| [Espresso](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0041.md) | [EIP 2718](https://eips.ethereum.org/EIPS/eip-2718) | Introduces typed transaction envelope |
18+
| [Espresso](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0041.md) | [EIP 2930](https://eips.ethereum.org/EIPS/eip-2930) | Introduces optional access lists |
19+
| [Espresso](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0041.md) | [CIP 42 - _modified from EIP 1559_](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0042.md) | Fee market changes |
20+
| [Espresso](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0041.md) | [EIP 3529](https://eips.ethereum.org/EIPS/eip-3529) | Reduction in gas refunds |
21+
| [Espresso](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0041.md) | [EIP 3541](https://eips.ethereum.org/EIPS/eip-3541) | Rejects deployment of contract code starting with the `0xEF` byte |
22+
| [Espresso](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0041.md) | [CIP 43](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0043.md) | Incorporates Block Context |
23+
| [Espresso](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0041.md) | [CIP 47](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0047.md) | Modifies round change timeout formula |
24+
| [Espresso](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0041.md) | [CIP 45](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0045.md) | Modifies transaction fee check |
25+
| [Espresso](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0041.md) | [CIP 50](https://github.com/celo-org/celo-proposals/blob/master/CIPs/cip-0050.md) | Makes replay protection optional |

0 commit comments

Comments
 (0)