DePool Contract Verification (Phase 2)
Contract proofs in Coq according to the specifications produced in Phase 1.
Ended
before
Starting
November 24, 2020
before
Voting
Dec 11, 04:59 am
before
Ending
Dec 21, 04:59 am
before
Submissions
6 submissions
Jury
In development
Winners
No submissions
Voting statistics
across all submissions
Places
3
Avg. rating
8.71
Points
13
Votes
68
1
Seitaro
0:811...db0
Submission date
Nov 26, 2020, 03:25 am
0
14
0
Rejected
2
michael_kabanov
0:9c5...d9c
Submission date
Dec 01, 2020, 12:01 am
0
14
0
Rejected
3
Submission date
Dec 01, 2020, 08:18 pm
0
14
0
Rejected
4
Submission date
Dec 06, 2020, 05:47 am
0
14
0
Rejected
5
FreeTONFoundation
0:fff...8b0
Submission date
Dec 11, 2020, 12:06 am
2
3
7
Rejected
Got something to say?
We are waiting for your message in the chat!