mohammed08

Mohammed 08

I’ve attended a few ETH Global hackathons and ETH Prague. Worked on various projects ranging from protocol layer special purpose ethereum testnet to cross chain defi And financial NFTs and more recently a privacy cross chain DEX. Recently been exploring rust based cryptography libraries and circom and keen to explore some DEFI related zk ideas combined with smart contracts in a hands-on hackathon.

Projects

0RiRi0

Computational verification of Orderbook matchingRust, risc0, Merkle Mountain Ranges

ZeroWei

Ecash implementation on Etherum: Enabling private, 1 wei tx with 0 cost.Solidity, Vue.js, Python, Ethereum, Web3.py, Blind Signatures, BitcoinScript, Blinded Diffie-Hellman-Key-Exchange

Groth makers

Aim to build a groth16 verifier in o1js. To do that, we built upon the recent foreign field arithmatics implementation in snarky library + lambda class. Not completed. Still at bn254 implementation.o1js, lambdaclass

coordination-play

Coordination-play is a tool kit that enables any entity to spin up organizations that dont depend on traditional legal document enabling coordination between contributors, investors and collaborators.React, Figma, Cairo, StarkNet

PowFri Chicken

Replace the traditional FRI grinding with BTC POW to achieve 80 bits of security in a Bitcoin UTXO that has a BitVM fri verifier in spending conditions.BitVM library, bitcoin-rust

Skills

Python
Solidity
Rust