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 RangesZeroWei
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-ExchangeGroth 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, lambdaclasscoordination-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, StarkNetPowFri 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