Cryptuon Research's repositories
deepfake-detection-network
Decentralized Deepfake Detection Blockchain Network using Dynamic Algorithm management
decentralised-web3-value-accrual
Centralized Intermediation in a Decentralized Web3 Economy: Value Accrual and Extraction
fairflow-protocol-paper
FairFlow Protocol: Equitable Maximal Extractable Value (MEV) mitigation in Ethereum
generalised-depin-protocol
Generalised DePIN Protocol: A Framework for Decentralized Physical Infrastructure Networks
tesseract-paper
Towards Universal Atomic Composability: A Formal Model for Multi-Rollup Environments on Ethereum
farcaster-py
A Python SDK for the Farcaster network
halmos
A symbolic testing tool for EVM smart contracts
helios
A fast, secure, and portable light client for Ethereum
Lasso
The lookup singularity. Based on Spartan; built on Arkworks.
magi
A blazing fast OP Stack rollup client written in Rust
mev-boost
MEV-Boost allows Ethereum validators to source high-MEV blocks from a competitive builder marketplace