Jack Grigg f57b93f8e0 book: Fix various small bugs and add some missing constraints		2022-05-10 20:26:30 +00:00
..
src	book: Fix various small bugs and add some missing constraints	2022-05-10 20:26:30 +00:00
.gitignore	…
Makefile	…
book.toml	Migrate to `halo2_gadgets` crate in subdir	2022-01-27 23:08:01 +00:00
edithtml.sh	…
macros.txt	Add draft of halo2 security proof to the formal protocol description	2022-04-25 11:59:29 -06:00