Cork Protocol

@Corkprotocol

The rails for risk Price, hedge and transfer any observable onchain risk Backed by @RoadCapMgmt and @a16zcrypto CSX

Ethereum

cork.tech

Replies Reposts Media Articles

Pinned
Cork Protocol
@Corkprotocol
Jan 21
Cork has raised $5.5M to build the missing tokenized risk infrastructure for digital assets. Led by @RoadCapMgmt and @a16zcrypto CSX, Cork has raised from investors who recognize the market opportunity of introducing tokenized risk into the digital asset ecosystem.
169
Cork Protocol
@Corkprotocol
12h
"The gap is the invariant you forgot to write down. That is what a hacker goes looking for." @Pybast on what "formally verified" actually tells you. It is a real guarantee and a narrow one. A team specifies the rules that must always hold, the code becomes mathematics, and
Cork Protocol
@Corkprotocol
Sep 4
"You tell it that it cheated, and then it says it cannot reproduce it. So there was no issue." @Pybast on a small ritual that has become part of reviewing code at Cork. When someone suspects a bug, the fastest way to find out is to ask the model to attack it. Write the code
1
Cork Protocol
@Corkprotocol
Sep 3
Some of what we look at does not belong on a public timeline. The failure post-mortems, the positions nobody wants named, the pricing work that only makes sense at length. That goes to the newsletter. Link below. cork-research.beehiiv.com/p/would-you-tr…
Cork Protocol
@Corkprotocol
Sep 1
A loop works exactly the way it sounds. You deposit a yield bearing asset, borrow against it, use the proceeds to buy more of the same asset, and repeat. Each turn increases the exposure supported by the same initial capital. That raises the potential yield, while also making
GIF
1