zkEVM/Lean: Post Quantum and future of Lean

EPS

Last modified: Thursday, 16 April 2026, 11:14 AM

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.	119	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.		347	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		403	55	15	783.0 KB