project-everest/everquic-crypto

Security model and verified implementation of QUIC packet encryption in Low*, built over EverCrypt and EverParse.

F*Other
This is stars and forks stats for /project-everest/everquic-crypto repository. As of 29 Mar, 2024 this repository has 9 stars and 6 forks.

everquic-crypto F*/Low* implementation of QUIC header and packet protection, verified for memory safety, functional correctness and constant-time execution, and compiled to C. How to verify, extract and build EverQuic is implemented in F* in src/, and extracted to C in dist/EverQuic.c and dist/EverQuic.h. Then, to build the EverQuic static library, dist/libeverquic.a: Clone KaRaMeL from https://github.com/FStarLang/karamel and point the KRML_HOME environment variable to the KaRaMeL clone directory. In...
Read on GithubGithub Stats Page
repotechsstarsweeklyforksweekly
Sketchware-Pro/Sketchware-ProJavaOther72502210
stipub/stixfontsPerlPrologTeX5910420
companieshouse/ch.gov.ukPerlCSSJavaScript1020
katsujukou/purescript-halogen-helixPureScriptDhallJavaScript13000
CapnKitten/BetterDiscordSCSSCSSOther13607430
hwxi/CS320-2023-SpringStandard MLPythonTeX30340
circlefin/evm-cctp-contractsSolidityPythonOther72+3340
maple-labs/maple-core-v2SolidityOther1460190
http-tests/cache-testsXSLTJavaScriptHTML1030220
raselupm/desh-curiarBladePHPOther1070