search

kkrt-labs / kakarot-ssj

Kakarot zkEVM - rewrite in the latest version of Cairo
https://www.kakarot.org
MIT License
114 stars 53 forks source link

feat: include the bug reports of Kakarot v0 in the development of Kakarot v1 #324

Open Eikix opened 10 months ago

Eikix commented 10 months ago

The past few months, we've investigated the EVM conformance of Kakarot v0. Some issues linked to EVM equivalence are still open on this repo and deserve the utmost attention when developing on Kakarot v1.

We must not reintroduce the same unexpected behaviour in our Cairo rewrite of the EVM.

Here is the list of issues to monitor and keep in mind when developing each opcode and feature for our system:

### Tasks
- [ ] https://github.com/kkrt-labs/kakarot/issues/628
- [ ] https://github.com/kkrt-labs/kakarot/issues/695
- [ ] https://github.com/kkrt-labs/kakarot/issues/678
- [ ] https://github.com/kkrt-labs/kakarot/issues/681
- [ ] https://github.com/kkrt-labs/kakarot/issues/680
- [ ] https://github.com/kkrt-labs/kakarot/issues/689
- [ ] https://github.com/kkrt-labs/kakarot/issues/684
- [ ] https://github.com/kkrt-labs/kakarot/issues/683
- [ ] https://github.com/kkrt-labs/kakarot/issues/691
- [ ] https://github.com/kkrt-labs/kakarot/issues/693
- [ ] https://github.com/kkrt-labs/kakarot/issues/700
- [ ] https://github.com/kkrt-labs/kakarot/issues/688
Eikix commented 10 months ago

Important update: we are gathering some bugs in the Kakarot v0 codebase, we need to make sure each issue and each PR in Kakarot-ssj is aware of the lists of known bugs. Look at this tracking issue everytime you take an issue and check your issue isn't targeted by a known bug.