lean consensus

[pheobeayo]

Wiki PR Checklist

Thank you for contributing to the Protocol Wiki! Before you open a PR, make sure to read information for contributors and take a look at the following checklist:

• Describe your changes, substitute this text with the information
  Wrote some content about state proving and the lean Ethereum roadmap/research
• If you are touching an existing piece of content, ask the relevant maintainer for review
• If you need feedback for your content from the wider community, share the PR in our Discord
• Review changes to ensure there are no typos, see instructions below
• closes lean consensus #462

[github-actions]

Hi @pheobeayo,

⚠️ Potential typos found in your pull request:

• 📄 ./docs/eps/intro.md (line(s) 21):
  1. ❌ excercises
• 📄 ./docs/eps/intro.md (line(s) 21):
  1. ❌ quizes
• 📄 ./docs/wiki/EL/el-specs.md (line(s) 1093):
  1. ❌ Finalisation
• 📄 ./docs/wiki/EL/el-data-structures-summary.md (line(s) 8,21):
  1. ❌ prev
• 📄 ./docs/wiki/EL/el-architecture.md (line(s) 305):
  1. ❌ backends
• 📄 ./docs/wiki/EL/el-architecture.md (line(s) 313,322):
  1. ❌ memtable
• 📄 ./docs/wiki/EL/el-architecture.md (line(s) 313,322):
  1. ❌ memtable
• 📄 ./docs/wiki/EL/el-architecture.md (line(s) 315):
  1. ❌ reimplementations
• 📄 ./docs/wiki/research/lean-ethereum-and-state-proving.md (line(s) 5):
  1. ❌ reframes
• 📄 ./docs/wiki/research/lean-ethereum-and-state-proving.md (line(s) 10):
  1. ❌ sublayers
• 📄 ./docs/wiki/research/lean-ethereum-and-state-proving.md (line(s) 29,182):
  1. ❌ leanroadmap
• 📄 ./docs/wiki/research/lean-ethereum-and-state-proving.md (line(s) 106):
  1. ❌ Pico
• 📄 ./docs/wiki/research/lean-ethereum-and-state-proving.md (line(s) 106):
  1. ❌ RTX
• 📄 ./docs/wiki/research/lean-ethereum-and-state-proving.md (line(s) 108):
  1. ❌ Brevis
• 📄 ./docs/wiki/research/lean-ethereum-and-state-proving.md (line(s) 108):
  1. ❌ ZisK
• 📄 ./docs/wiki/research/lean-ethereum-and-state-proving.md (line(s) 108):
  1. ❌ ZKM
• 📄 ./docs/wiki/research/lean-ethereum-and-state-proving.md (line(s) 110,186):
  1. ❌ ethproofs
• 📄 ./docs/wiki/research/lean-ethereum-and-state-proving.md (line(s) 114,183):
  1. ❌ Realtime
• 📄 ./docs/wiki/research/lean-ethereum-and-state-proving.md (line(s) 124):
  1. ❌ EF's
• 📄 ./docs/wiki/research/lean-ethereum-and-state-proving.md (line(s) 147):
  1. ❌ Plonky
• 📄 ./docs/wiki/research/lean-ethereum-and-state-proving.md (line(s) 148):
  1. ❌ Binius
• 📄 ./docs/wiki/research/lean-ethereum-and-state-proving.md (line(s) 114,183):
  1. ❌ Realtime
• 📄 ./docs/wiki/research/lean-ethereum-and-state-proving.md (line(s) 110,186):
  1. ❌ ethproofs
• 📄 ./docs/wiki/research/lean-ethereum-and-state-proving.md (line(s) 205):
  1. ❌ unproable
• 📄 ./docs/readme.md (line(s) 7,23):
  1. ❌ annualy
• 📄 ./docs/readme.md (line(s) 7,23):
  1. ❌ annualy

ℹ️ How to fix this error:

1. If these are actual typos:

   • Open the files at the specified line numbers and fix them

2. If these are names or one-off nouns:

   • Wrap them in <name> tags
   • Example: <name>Alex Pereira</name>
   • Use this for people's names or unique terms that appear rarely

3. If these are valid terms:

   • Add them to wordlist.txt (one word per line)
   • Terms must be plain text without spaces/special chars
   • The list is case-insensitive

4. If these are code terms:

   • Wrap them in backticks (`) in your markdown

ℹ️ Checking for typos locally

1. Install aspell for your platform
2. Navigate to project root and run:

for f in **/*.md ; do echo $f ; aspell --lang=en_US --mode=markdown --home-dir=. --personal=wordlist.txt --ignore-case=true --camel-case --add-sgml-skip nospellcheck list < $f | sort | uniq -c ; done

Learn more about wordlist format

[github-actions]

Hi @pheobeayo,

⚠️ Potential typos found in your pull request:

• 📄 ./docs/wiki/EL/el-specs.md (line(s) 1093):
  1. ❌ Finalisation
• 📄 ./docs/wiki/EL/el-data-structures-summary.md (line(s) 8,21):
  1. ❌ prev
• 📄 ./docs/wiki/EL/el-architecture.md (line(s) 305):
  1. ❌ backends
• 📄 ./docs/wiki/EL/el-architecture.md (line(s) 313,322):
  1. ❌ memtable
• 📄 ./docs/wiki/EL/el-architecture.md (line(s) 313,322):
  1. ❌ memtable
• 📄 ./docs/wiki/EL/el-architecture.md (line(s) 315):
  1. ❌ reimplementations
• 📄 ./docs/wiki/research/lean-ethereum-and-state-proving.md (line(s) 5):
  1. ❌ reframes
• 📄 ./docs/wiki/research/lean-ethereum-and-state-proving.md (line(s) 10):
  1. ❌ sublayers
• 📄 ./docs/wiki/research/lean-ethereum-and-state-proving.md (line(s) 29,182):
  1. ❌ leanroadmap
• 📄 ./docs/wiki/research/lean-ethereum-and-state-proving.md (line(s) 106):
  1. ❌ Pico
• 📄 ./docs/wiki/research/lean-ethereum-and-state-proving.md (line(s) 106):
  1. ❌ RTX
• 📄 ./docs/wiki/research/lean-ethereum-and-state-proving.md (line(s) 108):
  1. ❌ Brevis
• 📄 ./docs/wiki/research/lean-ethereum-and-state-proving.md (line(s) 108):
  1. ❌ ZisK
• 📄 ./docs/wiki/research/lean-ethereum-and-state-proving.md (line(s) 108):
  1. ❌ ZKM
• 📄 ./docs/wiki/research/lean-ethereum-and-state-proving.md (line(s) 110,186):
  1. ❌ ethproofs
• 📄 ./docs/wiki/research/lean-ethereum-and-state-proving.md (line(s) 114,183):
  1. ❌ Realtime
• 📄 ./docs/wiki/research/lean-ethereum-and-state-proving.md (line(s) 124):
  1. ❌ EF's
• 📄 ./docs/wiki/research/lean-ethereum-and-state-proving.md (line(s) 147):
  1. ❌ Plonky
• 📄 ./docs/wiki/research/lean-ethereum-and-state-proving.md (line(s) 148):
  1. ❌ Binius
• 📄 ./docs/wiki/research/lean-ethereum-and-state-proving.md (line(s) 114,183):
  1. ❌ Realtime
• 📄 ./docs/wiki/research/lean-ethereum-and-state-proving.md (line(s) 110,186):
  1. ❌ ethproofs
• 📄 ./docs/wiki/research/lean-ethereum-and-state-proving.md (line(s) 205):
  1. ❌ unproable
• 📄 ./docs/readme.md (line(s) 7,23):
  1. ❌ annualy
• 📄 ./docs/readme.md (line(s) 7,23):
  1. ❌ annualy

ℹ️ How to fix this error:

1. If these are actual typos:

   • Open the files at the specified line numbers and fix them

2. If these are names or one-off nouns:

   • Wrap them in <name> tags
   • Example: <name>Alex Pereira</name>
   • Use this for people's names or unique terms that appear rarely

3. If these are valid terms:

   • Add them to wordlist.txt (one word per line)
   • Terms must be plain text without spaces/special chars
   • The list is case-insensitive

4. If these are code terms:

   • Wrap them in backticks (`) in your markdown

ℹ️ Checking for typos locally

1. Install aspell for your platform
2. Navigate to project root and run:

for f in **/*.md ; do echo $f ; aspell --lang=en_US --mode=markdown --home-dir=. --personal=wordlist.txt --ignore-case=true --camel-case --add-sgml-skip nospellcheck list < $f | sort | uniq -c ; done

Learn more about wordlist format

[github-actions]

Hi @pheobeayo,

⚠️ Potential typos found in your pull request:

• 📄 ./docs/eps/intro.md (line(s) 21):
  1. ❌ excercises
• 📄 ./docs/eps/intro.md (line(s) 21):
  1. ❌ quizes
• 📄 ./docs/wiki/EL/el-specs.md (line(s) 1093):
  1. ❌ Finalisation
• 📄 ./docs/wiki/EL/el-data-structures-summary.md (line(s) 8,21):
  1. ❌ prev
• 📄 ./docs/wiki/EL/el-architecture.md (line(s) 305):
  1. ❌ backends
• 📄 ./docs/wiki/EL/el-architecture.md (line(s) 313,322):
  1. ❌ memtable
• 📄 ./docs/wiki/EL/el-architecture.md (line(s) 313,322):
  1. ❌ memtable
• 📄 ./docs/wiki/EL/el-architecture.md (line(s) 315):
  1. ❌ reimplementations
• 📄 ./docs/wiki/research/lean-ethereum-and-state-proving.md (line(s) 108):
  1. ❌ Brevis
• 📄 ./docs/wiki/research/lean-ethereum-and-state-proving.md (line(s) 108):
  1. ❌ ZisK
• 📄 ./docs/wiki/research/lean-ethereum-and-state-proving.md (line(s) 108):
  1. ❌ ZKM
• 📄 ./docs/wiki/research/lean-ethereum-and-state-proving.md (line(s) 110,186):
  1. ❌ ethproofs
• 📄 ./docs/wiki/research/lean-ethereum-and-state-proving.md (line(s) 147):
  1. ❌ Plonky
• 📄 ./docs/wiki/research/lean-ethereum-and-state-proving.md (line(s) 148):
  1. ❌ Binius
• 📄 ./docs/wiki/research/lean-ethereum-and-state-proving.md (line(s) 29,182):
  1. ❌ leanroadmap
• 📄 ./docs/wiki/research/lean-ethereum-and-state-proving.md (line(s) 110,186):
  1. ❌ ethproofs
• 📄 ./docs/wiki/research/lean-ethereum-and-state-proving.md (line(s) 205):
  1. ❌ unprovable
• 📄 ./docs/readme.md (line(s) 7,23):
  1. ❌ annualy
• 📄 ./docs/readme.md (line(s) 7,23):
  1. ❌ annualy

ℹ️ How to fix this error:

1. If these are actual typos:

   • Open the files at the specified line numbers and fix them

2. If these are names or one-off nouns:

   • Wrap them in <name> tags
   • Example: <name>Alex Pereira</name>
   • Use this for people's names or unique terms that appear rarely

3. If these are valid terms:

   • Add them to wordlist.txt (one word per line)
   • Terms must be plain text without spaces/special chars
   • The list is case-insensitive

4. If these are code terms:

   • Wrap them in backticks (`) in your markdown

ℹ️ Checking for typos locally

1. Install aspell for your platform
2. Navigate to project root and run:

for f in **/*.md ; do echo $f ; aspell --lang=en_US --mode=markdown --home-dir=. --personal=wordlist.txt --ignore-case=true --camel-case --add-sgml-skip nospellcheck list < $f | sort | uniq -c ; done

Learn more about wordlist format

[github-actions]

Hi @pheobeayo,

⚠️ Potential typos found in your pull request:

• 📄 ./docs/wiki/pectra-faq.md (line(s) 59,63,65,121,150,152,186,197,199):
  1. ❌ sys
• 📄 ./docs/wiki/pectra-faq.md (line(s) 59,63,65,121,150,152,186,197,199):
  1. ❌ sys
• 📄 ./docs/wiki/EL/el-specs.md (line(s) 1093):
  1. ❌ Finalisation
• 📄 ./docs/wiki/EL/el-data-structures-summary.md (line(s) 8,21):
  1. ❌ prev
• 📄 ./docs/wiki/EL/el-architecture.md (line(s) 305):
  1. ❌ backends
• 📄 ./docs/wiki/EL/el-architecture.md (line(s) 313,322):
  1. ❌ memtable
• 📄 ./docs/wiki/EL/el-architecture.md (line(s) 313,322):
  1. ❌ memtable
• 📄 ./docs/wiki/EL/el-architecture.md (line(s) 315):
  1. ❌ reimplementations
• 📄 ./docs/wiki/research/lean-ethereum-and-state-proving.md (line(s) 110,186):
  1. ❌ ethproofs
• 📄 ./docs/wiki/research/lean-ethereum-and-state-proving.md (line(s) 110,186):
  1. ❌ ethproofs
• 📄 ./docs/readme.md (line(s) 7,23):
  1. ❌ annualy
• 📄 ./docs/readme.md (line(s) 7,23):
  1. ❌ annualy

ℹ️ How to fix this error:

1. If these are actual typos:

   • Open the files at the specified line numbers and fix them

2. If these are names or one-off nouns:

   • Wrap them in <name> tags
   • Example: <name>Alex Pereira</name>
   • Use this for people's names or unique terms that appear rarely

3. If these are valid terms:

   • Add them to wordlist.txt (one word per line)
   • Terms must be plain text without spaces/special chars
   • The list is case-insensitive

4. If these are code terms:

   • Wrap them in backticks (`) in your markdown

ℹ️ Checking for typos locally

1. Install aspell for your platform
2. Navigate to project root and run:

for f in **/*.md ; do echo $f ; aspell --lang=en_US --mode=markdown --home-dir=. --personal=wordlist.txt --ignore-case=true --camel-case --add-sgml-skip nospellcheck list < $f | sort | uniq -c ; done

Learn more about wordlist format

[github-actions]

Hi @pheobeayo,

⚠️ Potential typos found in your pull request:

• 📄 ./docs/wiki/pectra-faq.md (line(s) 59,63,65,121,150,152,186,197,199):
  1. ❌ sys
• 📄 ./docs/wiki/pectra-faq.md (line(s) 59,63,65,121,150,152,186,197,199):
  1. ❌ sys
• 📄 ./docs/wiki/EL/el-specs.md (line(s) 1093):
  1. ❌ Finalisation
• 📄 ./docs/wiki/EL/el-data-structures-summary.md (line(s) 8,21):
  1. ❌ prev
• 📄 ./docs/wiki/EL/el-architecture.md (line(s) 305):
  1. ❌ backends
• 📄 ./docs/wiki/EL/el-architecture.md (line(s) 313,322):
  1. ❌ memtable
• 📄 ./docs/wiki/EL/el-architecture.md (line(s) 313,322):
  1. ❌ memtable
• 📄 ./docs/wiki/EL/el-architecture.md (line(s) 315):
  1. ❌ reimplementations
• 📄 ./docs/readme.md (line(s) 7,23):
  1. ❌ annualy
• 📄 ./docs/readme.md (line(s) 7,23):
  1. ❌ annualy

ℹ️ How to fix this error:

1. If these are actual typos:

   • Open the files at the specified line numbers and fix them

2. If these are names or one-off nouns:

   • Wrap them in <name> tags
   • Example: <name>Alex Pereira</name>
   • Use this for people's names or unique terms that appear rarely

3. If these are valid terms:

   • Add them to wordlist.txt (one word per line)
   • Terms must be plain text without spaces/special chars
   • The list is case-insensitive

4. If these are code terms:

   • Wrap them in backticks (`) in your markdown

ℹ️ Checking for typos locally

1. Install aspell for your platform
2. Navigate to project root and run:

for f in **/*.md ; do echo $f ; aspell --lang=en_US --mode=markdown --home-dir=. --personal=wordlist.txt --ignore-case=true --camel-case --add-sgml-skip nospellcheck list < $f | sort | uniq -c ; done

Learn more about wordlist format