Contest Proposal: Radiance-DEX Smart Contract Formal Verification Phase 1 (Attempt 2)
The contestants shall provide the Phase 1 of formal verification of the central Radiance-DEX smart contracts
Ended
before
Starting
September 14, 2021
before
Voting
Oct 01, 11:59 pm
before
Ending
Oct 11, 11:59 pm
before
Submissions
1 submission
Jury
In development
Winners
No submissions
Voting statistics
across all submissions
Places
3
Avg. rating
0.00
Points
0
Votes
0
Got something to say?
We are waiting for your message in the chat!