RafaelAPB

croc

Easily and securely send things from one computer to another :crocodile: :package:

Bend

A massively parallel, high-level programming language

talent-plan

open source training courses about distributed database and distributed systems

openrazer

Open source driver and user-space daemon to control Razer lighting and other features on GNU/Linux

100-exercises-to-learn-rust

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

secureum-mind_map

Central Repository for the Epoch 0 coursework and quizzes. Contains all the content, cross-referenced and linked.

ideas-for-projects-people-would-use

Every time I have an idea, I write it down. These are a collection of my top software ideas -- problems I think enough people have that don't have solutions. I expect you can reach a decent userbase if marketed correctly, as I am surely not the only one with these problems.

merkletreejs

🌱 Construct Merkle Trees and verify proofs in JavaScript.

execution-specs

Specification for the Execution Layer. Tracking network upgrades.

core

High-performance, well-tested & documented core libraries for Ethereum, in Rust

alloy

Transports, Middleware, and Networks for the Alloy project

CAIPs

Chain Agnostic Improvement Proposals

zkml

zkPoEX

zkPoEX enables white hat hackers to report live vulnerabilities in smart contracts while maintaining the confidentiality of the exploit, facilitating efficient communication and collaboration between hackers and project owners for a more secure DeFi ecosystem.

hyperplonk

contracts

LI.FI Smart Contracts

HotShot

zk-Harness

Benchmarking framework for general purpose zero-knowledge proofs languages and libraries

zkalc

A web tool that helps you compare and visualize the performance of cryptographic operations

zk-languages

Introduction to various ZK languages

smart-accounts

xchain

Cross-chain interop research, funded by Optimism Governance.

Blockchain-and-Cryptocurrency-Forensics

Blockchain & Cryptocurrency Forensics

SoKSPBlockchainInterop

Kaviar

Compliance-enabling currency mixer enabled by Privacy Pools

research

Research on possible improvements on contracts, circuits and JavaScript libraries.

model_checking_on_hedged_cross_chain_transactions

defi-api-examples

ICBC24_Tutorial_Compute-Offchain-Verify-Onchain

Hands-on material for the tutorial "Compute Offchain, Verify Onchain: How to Build zk-DApps with Circom and ZoKrates" offered at ICBC24

portal

fully fledged web3.0 identity system with enhanced privacy and control for users