Stars
AFLNet: A Greybox Fuzzer for Network Protocols (https://thuanpv.github.io/publications/AFLNet_ICST20.pdf)
Ed25519 signature verification for Solana programs
Run any Linux process in a secure, unprivileged sandbox using Landlock. Think firejail, but lightweight, user-friendly, and baked into the kernel.
Firedancer is Jump Crypto's Solana validator software.
Common cryptographic library used in software at Mysten Labs.
Conformance test suite for the Solana protocol
Dafny is a verification-aware programming language
SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.
A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.
A more efficient implementation of Secp256k1 Recover for SVM
Learn to audit Solana programs and help secure the ecosystem. Take your security practices to the next level and get certified by Ackee Blockchain Security. It's free, too.
Open source Loom alternative. Beautiful, shareable screen recordings.
AWS-LC is a general-purpose cryptographic library maintained by the AWS Cryptography team for AWS and their customers. It іs based on code from the Google BoringSSL project and the OpenSSL project.
A node package for signing and verifying HTTP messages as per RFC 9421 - HTTP Message Signatures specification
Command-line, contract-based ethereum hardware wallet
WebAuthn, Simplified. A collection of TypeScript-first libraries for simpler WebAuthn integration. Supports modern browsers, Node, Deno, and more.
A chronological and (hopefully) complete list of reentrancy attacks to date.
ViroReact: The library for building AR and VR applications and experiences with React Native.