Skip to content

Commit 8ae6216

Browse files
montylymontyly
committed
Merge branch 'master' into code-maturity
2 parents e6171c0 + 6894814 commit 8ae6216

File tree

16 files changed

+209
-132
lines changed

16 files changed

+209
-132
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

‎.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: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -81,6 +81,7 @@
8181
- [How to test bytecode-only contracts](./program-analysis/echidna/advanced/testing-bytecode.md)
8282
- [How to use hevm cheats to test permit](./program-analysis/echidna/advanced/hevm-cheats-to-test-permit.md)
8383
- [How to seed Echidna with unit tests](./program-analysis/echidna/advanced/end-to-end-testing.md)
84+
- [How to fuzz contracts with external libraries](./program-analysis/echidna/advanced/working-with-libraries.md)
8485
- [Understanding and using `multi-abi`](./program-analysis/echidna/advanced/using-multi-abi.md)
8586
- [Fuzzing tips](./program-analysis/echidna/fuzzing_tips.md)
8687
- [Frequently Asked Questions](./program-analysis/echidna/frequently_asked_questions.md)

‎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 & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1,12 +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): A guide to performing arithmetic checks in the EVM
7+
- [Arithmetic Checks](./arithmetic-checks.md): Guide to performing arithmetic checks in the EVM
88
- [Yellow Paper Guidance](yellow-paper.md): Symbol reference for more easily reading the Ethereum yellow paper
9-
- [Forks <> EIPs](eips_forks.md): Summarize the EIPs included in each fork
10-
- [Forks <> CIPs](cips_forks.md): Summarize the CIPs and EIPs included in each Celo fork _(EVM-compatible chain)_
11-
- [Upgrades <> TIPs](tips_upgrades.md): Summarize the TIPs included in each TRON upgrade _(EVM-compatible chain)_
12-
- [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/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)