RISC-V prover system

Golang Secure Coding Practices guide

Official repository for the Security Frameworks by SEAL. Currently under development, not a release.

source code of Pier Two Pectra batch deposit contract

A self-paced course to learn Rust, one exercise at a time.

🦀 Small exercises to get you used to reading and writing Rust code!

Curate an inifinite media library

Symbiotic Relay

the blockchain for payments

Code and content from the Move community.

Claude Code is an agentic coding tool that lives in your terminal, understands your codebase, and helps you code faster by executing routine tasks, explaining complex code, and handling git workflo…

This repository contains 47,398 smart contracts extracted from the Ethereum network.

SlowMist's open - sourced guide for Web3 projects. It details security practices across development, release, operation, and incident response, aiming to boost project security.

Create a Stark prover & verifier from zero

This Bash script calculates the Safe transaction hashes by retrieving transaction details from the Safe transaction service API and computing both the domain and message hashes using the EIP-712 st…

A resource for anyone interested in understanding and unlocking the potential of zk-SNARKs, from beginners to experts.

An interpreter for Rust's mid-level intermediate representation

Fast linters runner for Go

Optimism is Ethereum, scaled.

A proof of authority middleware for verifiable services