Sean Bowe 1ea7aa1b89 Fix order of \epsilon bound.		2022-04-25 13:40:31 -06:00
..
src	Fix order of \epsilon bound.	2022-04-25 13:40:31 -06:00
.gitignore	Initialise empty mdBook	2020-12-04 16:13:04 +00:00
Makefile	Add book/Makefile for local HTML generation.	2020-12-26 15:33:59 +00:00
book.toml	Migrate to `halo2_gadgets` crate in subdir	2022-01-27 23:08:01 +00:00
edithtml.sh	Add book/Makefile for local HTML generation.	2020-12-26 15:33:59 +00:00
macros.txt	Add draft of halo2 security proof to the formal protocol description	2022-04-25 11:59:29 -06:00