- Ethereum Mainnet
- https://kevincharm.com
- @kevincharm
Highlights
- Pro
Block or Report
Block or report kevincharm
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseLanguage
Sort by: Recently starred
Starred repositories
Arithmetic and polynomial operations in finite fields.
A minimal KZG polynominal commitment library with a Solidity verifier
EIP-1559 gas estimation library, using the estimation strategy of MyCrypto.
A typescript package to execute JavaScript and TypeScript code in a webassembly quickjs sandbox
A Spotify player in the terminal with full feature parity
Zero-Knowledge Proof Systems Circuit Compiler
MUD is a framework for building autonomous worlds
Container runtimes on macOS (and Linux) with minimal setup
Incentives For Transforming Ethereum Validator Dynamics
World's first implementation of a (possibly) secure witness encryption scheme. Uses the CLT13 multilinear map.
Experimental folding schemes library
A Solidity implementation of Halo2's Pasta curves
Nova Verifier in Circom so it can be verified onChain
📡 PostgreSQL LISTEN & NOTIFY for node.js that finally works.
P256 signature verification solidity contract
Dafny is a verification-aware programming language
TFHE-rs: A Pure Rust implementation of the TFHE Scheme for Boolean and Integer Arithmetics Over Encrypted Data.
The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve
Poseidon hash function implemented in Solidity
Verify any text in any sent or received email, cryptographically and via only trusting the sending mailserver.
Cryptographic Primitives for Blockchain Systems (solidity, cairo, C and rust)