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

November 2021 - November 2021

Gerard Persoon
Hari
maxgrok
Brink.trade

Brink.trade

brink-core

November 2021 - December 2021

Alex Beregszaszi
Gerard Persoon
Hari
Locke

Locke

Locke Protocol

February 2022 - February 2022

0x111
Hari
Eric Wang
Overlay

Overlay

overlay-market contracts

February 2022 - March 2022

Hari
Gerard Persoon
Mudit Gupta
OpenSea

OpenSea

SeaDrop

August 2022 - August 2022

+2
Parth Patel
Hari
Devansh Bantham

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