ENTITY
curve25519-dalek
curve25519-dalek
PulseAugur coverage of curve25519-dalek — every cluster mentioning curve25519-dalek across labs, papers, and developer communities, ranked by signal.
Total · 30d
1
2 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
1
2 over 90d
TIER MIX · 90D
TOPICS
SENTIMENT · 30D
1 day(s) with sentiment data
RECENT · PAGE 1/1 · 2 TOTAL
-
AI system automates verification of production cryptographic libraries
Researchers have developed CryptoProver, an AI system designed to automatically verify the correctness of production cryptographic libraries. This system synthesizes internal specifications and proofs from high-level AP…
-
AI models improve code generation with new verification techniques
Researchers have developed new methods to improve the ability of large language models to generate correct code and proofs. One approach, TTRL-CoCoV, uses confidence-conditioned verification to enhance coverage and accu…