15 Commits

Author	SHA1	Message	Date
Ryan MacArthur	6fe7a8a1f2	multiplexing shells for demo	2024-10-31 01:19:32 -07:00
Hendrik Eeckhaut	cb42b49074	eslint	2024-10-29 17:23:03 +01:00
Hendrik Eeckhaut	8556ffc337	interactive verifier typescript: readme + cleanup	2024-10-29 15:37:25 +01:00
Hendrik Eeckhaut	46a2585208	fix: Interactive verifier on alpha.7	2024-10-25 08:47:37 +02:00
Hendrik Eeckhaut	7551015519	feat: interactive prover in TypeScript	2024-10-25 08:11:25 +02:00
Hendrik Eeckhaut	a5a1f7ac7c	Merge branch 'main' into verifier-server	2024-09-03 22:46:33 +02:00
yuroitaki	f801e164b9	Update hyper and tlsn version for interactive verifier.	2024-09-03 10:59:44 +08:00
Pete Thomas	6dbc409663	Support passing additional HTTP headers into interactive_prove(). (#54)	2024-06-05 16:27:00 +02:00
Hendrik Eeckhaut	4a457877be	reorganized projects + debug data at prover side	2024-04-08 16:17:45 +02:00
Hendrik Eeckhaut	db0904988a	WIP: improve text in React app	2024-04-06 22:44:37 +02:00
Hendrik Eeckhaut	ec3be0d561	WIP: interactive prover in TypeScript/React	2024-04-06 18:00:14 +02:00
Hendrik Eeckhaut	1643bdb4fb	Use swapi.dev as TLS server instead of notary.pse.dev	2024-04-05 14:56:57 +02:00
Christopher Chong	4b29bf854a	Add prover.	2024-04-05 16:30:35 +08:00
Christopher Chong	2be01981b3	Remove Cargo.lock.	2024-04-04 21:16:45 +08:00
Christopher Chong	088ffcba66	Add verifier server.	2024-04-04 21:05:33 +08:00