Release rscrypto v0.4.0 · loadingalias/rscrypto · GitHub
//releases/show" data-turbo-transient="true" />
Skip to content
Search or jump to...
Search code, repositories, users, issues, pull requests...
-->
Search
Clear
Search syntax tips
Provide feedback
--><br>We read every piece of feedback, and take your input very seriously.
Include my email address so I can be contacted
Cancel
Submit feedback
Saved searches
Use saved searches to filter your results more quickly
-->
Name
Query
To see all available qualifiers, see our documentation.
Cancel
Create saved search
Sign in
//releases/show;ref_cta:Sign up;ref_loc:header logged out"}"<br>Sign up
Appearance settings
Resetting focus
You signed in with another tab or window. Reload to refresh your session.<br>You signed out in another tab or window. Reload to refresh your session.<br>You switched accounts on another tab or window. Reload to refresh your session.
Dismiss alert
{{ message }}
loadingalias
rscrypto
Public
Notifications<br>You must be signed in to change notification settings
Fork
Star<br>30
rscrypto v0.4.0
Latest
Latest
Compare
Choose a tag to compare
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
Uh oh!
There was an error while loading. Please reload this page.
No results found
View all tags
loadingalias
released this
09 Jun 22:24
v0.4.0
This tag was signed with the committer’s verified signature .
loadingalias<br>loadingalias
SSH Key Fingerprint: tJ8Cd3aEWFm3WQuXiLyqhyb9VSo1W2c5AzXv+ZvXOXA<br>Verified
Learn about vigilant mode.
78df8f4
This commit was signed with the committer’s verified signature .
loadingalias<br>loadingalias
SSH Key Fingerprint: tJ8Cd3aEWFm3WQuXiLyqhyb9VSo1W2c5AzXv+ZvXOXA<br>Verified
Learn about vigilant mode.
0.4.0 - 2026-06-09
🏗️ Build
add light and full push preflight commands ci: harden BINSEC solver setup and CT diagnostics (5a8c2eb)
👷 CI
load BINSEC proof relocation sections (6421da9)
build BINSEC proof harnesses as non-PIE (783eac4)
preinstall BINSEC solver system packages (df71e54)
harden manual CT DudeCT filters (55ca702)
add s390x AES AEAD DudeCT trace cases (53812a5)
add AES-GCM-SIV DudeCT trace cases (5e6a24f)
add DudeCT filters for targeted CT runs (fcc326e)
scope RSA CT evidence and pass BINSEC SMT timeout auth: harden RSA modular import fixed-width output (c93dc79)
📦 Other Changes
workspace: refresh release package metadata, ignore rules, and lockfile pins ci: bump action pins and harden check, coverage, and fuzz scripts docs: align release docs, CT policy, examples, and module snippets with 0.3.1 benchmarks: refresh 2026-06-09 overview and README perf chart (147c747)
aead: align aegis256 AES helper cfgs on POWER and s390x ci: repair CT asm heuristic parsing and RISC-V BINSEC policy docs: narrow RISC-V CT evidence claims (7dbf097)
crypto: harden asm dispatch and backend equivalence gates (643dd44)
aead: batch s390x AES-GCM-SIV CTR keystream blocks ci: route AES AEAD CT evidence through secret-only probes (e9676b7)
hashes: fix Blake2b diag multiblock oracle (053c810)
auth: clear CT helper slice lints hashes: clear Blake2b diagnostic slice lints (32f0e12)
auth: align RSA keygen with FIPS 186-5 A.1.3 (5ceb703)
Assets
Loading
Uh oh!
There was an error while loading. Please reload this page.
-->
All reactions
You can’t perform that action at this time.