Built on Percolator by TolyFork of github.com/aeyakovenko/percolator

Prediction Markets

Trade on the outcome of real-world events. Formally verified risk engine.

Active Markets

Total Volume

$5,267,500

Fees Generated

$0.00

Engine

Percolator

Verification

Kani

Sort:

Loading markets...

Precipitator is a prediction market protocol built on Percolator by Anatoly Yakovenko (Toly). Formally verified with Kani.

Devnet demo. Not financial advice. Not audited for production use.