Flex Smart Contract Specification (Formal verification - Phase 1 Respin)
Everscale Contest
#SmartContracts
The contestants shall provide the Phase 1 of the formal verification (functional specification) of the Flex smart contracts
Ended
before
Starting
April 18, 2022
before
Voting
Jun 15, 11:59 pm
before
Ending
Jun 22, 11:59 pm
before
Submissions
3 submissions
Jury
In development
Winners
No submissions
Voting statistics
across all submissions
Places
3
Avg. rating
0.00
Points
0
Votes
0
—
UnboxedType
0:ef3...ad8
Submission date
Jun 15, 2022, 05:31 pm
0
0
0
0.00
0 points
—
SergePruvendo
0:0ca...1cf
Submission date
Jun 15, 2022, 11:31 pm
0
0
0
0.00
0 points
Got something to say?
We are waiting for your message in the chat!