Pinned Repositories
curve-v2-analysis
flash-thaw
formal-methods-curriculum
Formal methods training program with an emphasis on software in the blockchain & decentralized financed (DeFi) industry
forumstyle
Stylometry for online forums (CS229 project)
fund-eq-of-dai-certora
Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.
klab
no-haircut-condition
primitive-sim
simulate-curve-with-test
kmbarry1's Repositories
kmbarry1/flash-thaw
kmbarry1/fund-eq-of-dai-certora
Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.
kmbarry1/no-haircut-condition
kmbarry1/curve-v2-analysis
kmbarry1/primitive-sim
kmbarry1/formal-methods-curriculum
Formal methods training program with an emphasis on software in the blockchain & decentralized financed (DeFi) industry
kmbarry1/forumstyle
Stylometry for online forums (CS229 project)
kmbarry1/klab
kmbarry1/simulate-curve-with-test
kmbarry1/crop
kmbarry1/curve-analysis
kmbarry1/dh-cover-2020-12-28
kmbarry1/protocol-contracts
Protocol contracts implementing the core logic of the protocol, deployed on ZetaChain and on connected chains
kmbarry1/simple-immutable
kmbarry1/sstore2
Faster & cheaper contract key-value storage for Ethereum Contracts