9 Commits

Author	SHA1	Message	Date
Jaremy Creechley	ace23791a8	adding verification	2024-05-28 23:31:38 +01:00
Jaremy Creechley	ae01d061b7	adding verification	2024-05-28 23:30:16 +01:00
Jaremy Creechley	50d3ab84ea	adding verification	2024-05-28 23:27:17 +01:00
Jaremy Creechley	4fdddafccd	adding proof input outputs	2024-05-28 19:52:10 +01:00
Jaremy Creechley	6afbdfe958	adding proof input outputs	2024-05-28 15:57:28 +01:00
Jaremy Creechley	472fbefc5f	proving wiring	2024-05-28 15:39:17 +01:00
Jaremy Creechley	2fea35cecd	proving	2024-05-28 15:24:09 +01:00
Jaremy Creechley	8ed09117cc	updates	2024-05-27 14:47:24 +01:00
Jaremy Creechley	7db7db3bba	updates	2024-05-24 15:50:48 +03:00