An opcode-oriented language that compiles to the EVM

Homestar is the individual node that makes up the Everywhere Computer network (similar to how IPFS Kubo, Iroh, Nabu, or other implementation nodes make up the IPFS network). It's written in Rust an…

Introductory lecture notes on programmable cryptography

Zcash Improvement Proposals

Educational framework exploring ergonomic, lightweight multi-agent orchestration. Managed by OpenAI Solution team.

A curated list of Zero Knowledge links, mostly focusing on blockchain.

Defy AI overlords in a blockchain-powered visual novel set in cyberpunk Singapore 2157.

A contract and an API server that allows you to respond with a single transaction completion.

The AI Code Editor

Bitcoin Core integration/staging tree

A set of case studies for the Wintermute Alpha Challenge

TFHE: Fast Fully Homomorphic Encryption Library over the Torus

React components for efficiently rendering large lists and tabular data

linear regression with nada on nillion using housing data

Noname: a programming language to write zkapps

Efficient Type Driven Smart Contract Interactions

A symbolic testing tool for EVM smart contracts

Morpho Blue Protocol

ZKsync fork of the LLVM framework.

🚀 Awesome Tauri Apps, Plugins and Resources

Using mutations to improve specs and test suites

Rust / Wasm framework for creating reliable and efficient web applications

weird erc20 tokens

The Ethereum Vault Connector (EVC) is a mediator between Vaults that may have borrowing functionality.

Guidelines and training material to write secure smart contracts