TIP-3 Token Contract Verification (Phase 1)
Everscale Contest
#Development
Initial documentation for TIP-3 Token contract formal verification. Contestant should provide a set of specifications necessary in order to perform TIP-3 Token contract security audit and formal verification.
Ended
before
Starting
November 25, 2020
before
Voting
Dec 08, 04:59 am
before
Ending
Dec 18, 04:59 am
before
Submissions
6 submissions
Jury
In development
Winners
2 winners
Voting statistics
across all submissions
Places
5
Avg. rating
8.93
Points
143
Votes
64
1
SergePruvendo
0:d0e...5e3
Submission date
Dec 08, 2020, 12:47 am
Prize
50 000 EVER
9
0
4
10.00
90 points
2
Beched
0:b4a...81a
Submission date
Dec 08, 2020, 04:43 am
Prize
25 000 EVER
7
1
4
7.57
53 points
3
Seitaro
0:811...db0
Submission date
Nov 26, 2020, 03:21 am
0
13
0
Rejected
4
michael_kabanov
0:9c5...d9c
Submission date
Dec 01, 2020, 12:03 am
0
13
0
Rejected
5
Submission date
Dec 01, 2020, 12:20 am
0
13
0
Rejected
Got something to say?
We are waiting for your message in the chat!