Rust implementations of ‘RFC 9591: Two-Round Threshold Schnorr Signatures with FROST’.
Awesome Rust Cryptography
Showcase of notable cryptography libraries developed in Rust
How Our Rust-to-Zig Rewrite is Going
For the past year and a half, the team building Roc's compiler has been rewriting our 300,000 lines of Rust code into Zig, for reasons I'll recap below. We recently passed an exciting milestone: feature parity with the original compiler!
Announcing Rust 1.96.1 | Rust Blog
Empowering everyone to build reliable and efficient software.
An early look at tailscale-rs, a tsnet library in Rust
We've launched an experimental Rust library for Tailscale via tsnet. Help test tailscale-rs and shape it with your feedback.
magic-wormhole/magic-wormhole.rs
Rust implementation of Magic Wormhole, with new features and enhancements
rfcs/atproto/001-private-content.md at main · knasher/rfcs
Technical RFCs and design proposals for protocols and systems - knasher/rfcs
nix-community/fenix
Rust toolchains and rust-analyzer nightly for Nix [maintainers=@figsoda, @winterqt, @eureka-cpu]
The Rust Programming Language - The Rust Programming Language
by Steve Klabnik, Carol Nichols, and Chris Krycho, with contributions from the Rust Community
Place Capability Graphs: A General-Purpose Model of Rust’s Ownership and Borrowing Guarantees
Rust’s novel type system has proved an attractive target for verification and program analysis tools, due to the rich guarantees it provides for controlling aliasing and mutability. However, fully understanding, extracting and exploiting these guarantees is subtle and challenging: existing models for Rust’s type checking either support a smaller idealised language disconnected from real-world Rust code, or come with severe limitations in terms of precise modelling of Rust borrows, composite types storing them, function signatures and loops.
badge.blue — CID-First Attestation Specification
Specification for CID-first attestations on AT Protocol records. Inline and remote cryptographic signatures with replay-attack prevention.
In Search of Hardness
Protocol studies, the next crypto cycle, and the next age of the world
Cache8063/atauth
AT Protocol (Bluesky) authentication library for Rust, TypeScript, and Node.js