19 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Alex Bakon	ff78d035d9	Bump libcrux deps to the latest version	2025-10-02 10:13:34 -07:00
gram-signal	2086a70990	Apt-get update before installing.	2025-10-02 09:37:09 -07:00
maximebuyse	506ff9cf94	Hax update and proof improvements.	2025-10-02 09:29:32 -07:00
gram-signal	99a759a3fd	Log SPQR initial (and possibly renogiated) versions on session initiation.	2025-07-24 11:59:03 -07:00
Jordan Rose	597cfa57ee	Turn off libcrux-ml-kem features we aren't using ... Co-authored-by: Rolfe Schmidt <rolfe@signal.org>	2025-07-22 15:38:13 -06:00
gram-signal	d6c1073468	Run proverif proofs in GitHub actions.	2025-06-04 09:13:47 -07:00
gram-signal	2d836ec9bd	Update license and Rust min-version.	2025-05-30 16:22:18 -07:00
Rolfe Schmidt	7939191aa0	comment out compromises for faster execution.	2025-05-30 16:22:10 -07:00
Rolfe Schmidt	f941e02eaf	fix time query	2025-05-30 16:32:56 -06:00
maximebuyse	0623ccc229	Switch to hax 0.3.1.	2025-05-30 15:30:55 -07:00
gram-signal	cff58d922a	Don't provide keys when we could version-negotiate to v0.	2025-05-30 10:46:26 -07:00
Graeme Connell	ea2d65a896	Update some dependencies, clean deps up.	2025-05-22 16:36:03 -07:00
gram-signal	e1918a86fc	Change discard-epoch logic to be based on send epoch.	2025-05-22 15:42:45 -07:00
maximebuyse	246944b3e7	Fix hax proofs.	2025-05-22 10:18:25 -07:00
gram-signal	5f54d921ec	Make the SPQR chain configurable by the requester.	2025-05-16 14:21:56 -07:00
gram-signal	1b1811d3fb	Clean up unused errors.	2025-05-15 11:29:44 -07:00
gram-signal	bf340caccc	Add an empty() constructor for SerializedState.	2025-05-15 11:29:38 -07:00
gram-signal	4db079990e	Clear send keys for old epochs when we start sending in a new one.	2025-05-08 16:05:09 -07:00
Graeme Connell	02c99a6b24	Squashed history.	2025-05-01 10:28:23 -07:00