Hari

Hari

CEO, co-founder Cantina and Spearbit

@hrkrshnn
Spearbit

lsr

Public earnings

$0


Public findings

0


Achievements


Skillset

Formal VerificationC++MathSolidity

Worked with

OpenSea
Paradigm
Overlay
Locke
Brink.trade
Leo Alt
Gerard Persoon
Alex Beregszaszi
StErMi
Dravee
Hrishikesh Bhat

Biography

I'm Hari. Before founding Spearbit & Cantina, I used to build the Solidity programming language at the Ethereum Foundation. It is the #1 programming language for building Smart Contracts on Ethereum and Ethereum-compatible blockchains by a large margin (approx 90%).

I have a background in pure Mathematics. I know one or two things about algebraic topology, hyperbolic geometry, their intersection with discrete math, and other obscure math. I also helped build a linear programming solver (simplex) at ZIB.

Private reviews

View all
Engagement
Project title
Timeframe
Researchers
Brink.trade

Brink.trade

brink-core brink-verifiers

Nov 2021 - Nov 2021

Gerard Persoon
Hari
maxgrok
Brink.trade

Brink.trade

brink-core

Nov 2021 - Dec 2021

Alex Beregszaszi
Gerard Persoon
Hari
Locke

Locke

Locke Protocol

Feb 2022 - Feb 2022

0x111
Hari
Eric Wang
Overlay

Overlay

overlay-market contracts

Feb 2022 - Mar 2022

Hari
Gerard Persoon
Mudit Gupta
OpenSea

OpenSea

SeaDrop

Aug 2022 - Aug 2022

+2
Parth Patel
Hari
Devansh Bantham