New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[project] Initial commit #1933

Closed

joshlf wants to merge 1 commit into main from Ia44334d7f4705156301ee303c967fd84111ac3df

Member

joshlf commented Oct 18, 2024 •

edited

Loading

This PR is on branch projection.

[project] Initial commit #1933


          [project] Initial commit

5e188d2

gherrit-pr-id: Ia44334d7f4705156301ee303c967fd84111ac3df

joshlf force-pushed the Ia44334d7f4705156301ee303c967fd84111ac3df branch from c7a6599 to 5e188d2 Compare

October 18, 2024 02:17

Member Author

joshlf commented Oct 18, 2024

Unfortunately it appears that this design has a soundness hole as described here.

joshlf closed this

joshlf deleted the Ia44334d7f4705156301ee303c967fd84111ac3df branch

October 18, 2024 05:47

joshlf mentioned this pull request

[project] Initial commit #1934

Open

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet