Skip to main content
EPS
  • Home
  • Calendar
  • Protocol Studies
  • Cryptography of Ethereum
  • Lean and zkEVM
  • More
Log in
EPS
Home Calendar Protocol Studies Cryptography of Ethereum Lean and zkEVM
  1. Dashboard
  2. zkEVM/Lean
  3. leanSpec and tooling
  4. LeanSpec and Tooling

LeanSpec and Tooling

Completion requirements

Presentation by O 

p5qOndwbni4
 


• https://github.com/leanEthereum/leanSpec
• https://github.com/leanEthereum/pm
• https://github.com/leanEthereum/leanMetrics
• https://github.com/blockblaz/lean-quickstart
• https://github.com/ReamLabs/pqdevnet-observatory

Study Group Chat
Youtube playlist
epf.wiki
Submit Bug Report

Logo

  • 0.038882 secs
  • RAM: 3.8 MB
  • RAM peak: 4.7 MB
  • Included 509 files
  • Contexts for which filters were loaded: 1
  • Filters created: 12
  • Pieces of content filtered: 1
  • Strings filtered: 0
  • get_string calls: 89
  • DB reads/writes: 32/3
  • DB queries time: 0.00985 secs
  • ticks: 4 user: 2sys: 1 cuser: 0 csys: 0
  • Load average: 0.18
  • Session (core\session\file): 2.9 KB
  • Session wait: 0.000 secs
Mode Cache item Static H M Primary store H M S I/O
Req adhoc/filter_activitynames default_request 0 1 3 -
App core/capabilities ** static accel. ** 222 2 default_application 2 0 0 164.1 KB
App core/completion ** static accel. ** 0 1 default_application 1 0 0 1.3 KB
Ses core/coursecat default_session 0 3 4 -
App core/coursecattree ** static accel. ** 2 2 default_application 2 0 0 0.1 KB
Ses core/courseeditorstate default_session 0 2 3 -
App core/coursemodinfo default_application 3 0 0 9.8 KB
App core/databasemeta ** static accel. ** 1 4 default_application 4 0 0 19.6 KB
App core/eventinvalidation ** static accel. ** 0 1 default_application 1 0 0 0.1 KB
App core/fontawesomeiconmapping ** static accel. ** 0 1 default_application 1 0 0 24.9 KB
App core/langmenu ** static accel. ** 2 1 default_application 1 0 0 0.0 KB
Ses core/navigation_cache default_session 0 0 1 -
Ses core/navigation_expandcourse default_session 0 1 2 -
App core/observers ** static accel. ** 0 2 default_application 2 0 0 24.8 KB
App core/plugin_functions ** static accel. ** 1 16 default_application 16 0 0 2.9 KB
App core/plugin_manager default_application 1 0 0 15.0 KB
App core/roledefs ** static accel. ** 0 1 default_application 1 0 0 1.1 KB
App core/string ** static accel. ** 116 15 default_application 15 0 0 508.1 KB
Req core/tags default_request 0 2 2 -
App core/yuimodules default_application 3 0 0 8.9 KB
App theme_boost_magnific/css_cache default_application 2 0 0 1.6 KB
App theme_boost_magnific/data_cache default_application 1 0 0 0.7 KB
Store name Cache store H M S I/O
** static accel. ** 344 46 0 -
default_application cachestore_file 56 0 0 783.0 KB
default_request cachestore_static 0 3 5 -
default_session cachestore_session 0 6 10 -
Total 400 55 15 783.0 KB
Data retention summary
Get the mobile app