A compilation of patterns and best practices for the smart contract programming language Solidity

Decentralised Ethereum Liquid Staking Protocol.

Official repository for core projects comprising the Celo platform

Cryptographic Primitives for Blockchain Systems (solidity, cairo, C and rust)

Core smart contracts for GEB

Gas-efficient contract for distributing any amount of any ERC20 token to a weighted list of addresses of arbitrary size.

Solidity library for verifying IPFS hashes

Smart contracts to practice your (WH) hacking skills.

Community Staking Module is the first ever permissionless staking module in Lido

Solidity implementation of Nova proving system verifier

Extremely performant EVM oracle utilizing aggregated Schnorr signatures

Implementation of elliptic curve operations on G2 for alt_bn128 in Solidity.

Honk Verifier in Solidity

A minimal based rollup implementation that is easy to understand and extend

A flashloan module for Gnosis Safe.

Collection of helpful smart contracts to build Suapps

Remote Attestation VErification

Delay Function Verification Smart Contract

Keccak-f[1600] permutation in the EVM

Solidity libraries and contracts for verifying WHIR proofs on the EVM.

Version 2 of ZKaggle, 🏆 Finalist of ETHGlobal FVM Space Warp Hack

Solidity implementation of the Renegade darkpool