John's repositories
Acala
Acala - cross-chain DeFi hub and stablecoin based on Substrate for Polkadot and Kusama.
axiom-v1-contracts
Axiom smart contracts
bc_template
Hardhat Solidity Development Template
bonsai-foundry-template
Bonsai starter template for foundry / forge
Ed25519
Solidity implementation of Ed25519 verification
elliptic
Fast Elliptic Curve Cryptography in plain javascript
foundry
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
halo2-scaffold
Basic scaffolding for setting up and writing a Halo2 ZK circuit
horizon
Horizon - a trustless harmony to ethereum bridge
l2gateway-demo
A simple demonstration of a proposed L2 gateway specification
one-wallet
1wallet - unconventional keyless, non-custodial wallet secured by Google Authenticator. EVM-compatible, smart contract operated, with composable security.
openzeppelin-contracts
OpenZeppelin Contracts is a library for secure smart contract development.
optimism
Optimism is Ethereum, scaled.
r1cs-tutorial
Tutorial for writing constraints in the `arkworks` framework
risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
risc0-tutorial
Repo for ZK Hack III - 5 Checking Passwords (RISC Zero Live Coding Example)
sdk
Javascript SDK of Harmony protocol.
substrate-parachain-template
A new Cumulus-based Substrate node, ready for hacking.
zk-fibonacci
Zero Knowledge Halo2 Fibonacci example