Skynet CertiK Light
Search Icon
Skynet CertiK User
Quest Arena
OpenMath: Formal Verification for DeSci Discovery
OpenMath: Formal Verification for DeSci Discovery
An invitation to explore the OpenMath DeSci platform, the mathematical Decentralized Science (DeSci) hub. This Quest challenges researchers, provers, and formal methods experts to engage in the verification of mathematical proofs, accelerating discovery through transparent, immutable, and incentivized collaboration. OpenMath is jointly introduced by Shentu Chain and CertiK, positioning mathematical truth at the center of the Web3 ecosystem.
Launch Date and Time
To be determined, please check back later.
Total Rewards
OpenMath: Formal Verification for DeSci Discovery
17,750
CTK
KYC Regional Restrictions
Due to U.S. regulations, users from the following regions cannot complete KYC verification: Cuba, Iran, North Korea, Russia, Syria, and parts of Ukraine.
Rewards
Tiered Rules
You've earned 0 Skynet Badges and will start in the Bronze Bronze tier for this Arena.
/quest-arena-gold-medal.svg
Gold
Top 1 - 10
75
CTK
/quest-arena-silver-medal.svg
Silver
Top 11 - 50
35
CTK
/quest-arena-bronze-medal.svg
Bronze
1950 Seats
Shared
15,600
CTK
KYC is required to claim the rewards.
Restrictions apply.
Rewards are determined by a random draw after completing the Arena. Winning is not guaranteed.View More.
Arena Seat Map
Seats Taken
0 / 2000
Share and Invite Friends!
Invite your friends to join this limited-time event!
OR