DePool Contract Verification (Phase 2) | EverKit

에버스케일 거버넌스

자동

DePool Contract Verification (Phase 2)

에버스케일 컨테스트

#스마트계약

Contract proofs in Coq according to the specifications produced in Phase 1.

서브거버넌스

제출

6

장소

3

EVER 상금

750 000

정의

주소

제출 추가

종료됨

이전

시작되는 중

24 11월 2020

이전

투표중

11 12월, 04:59

이전

마무리 중

21 12월, 04:59

이전

제출물

6 제출

심사단

개발 중

우승자

제출이 없습니다

투표 상태

모든 제출에 걸쳐

장소

3

평균 점수

8.71

점수

13

투표

68

1

Seitaro

0:811...db0

제출일자

26 11월 2020, 03:25

0

14

0

거부됨

2

michael_kabanov

0:9c5...d9c

제출일자

01 12월 2020, 00:01

0

14

0

거부됨

3

0:478...43d

제출일자

01 12월 2020, 20:18

0

14

0

거부됨

4

0:9a3...231

제출일자

06 12월 2020, 05:47

0

14

0

거부됨

5

FreeTONFoundation

0:fff...8b0

제출일자

11 12월 2020, 00:06

2

3

7

거부됨

말씀해주실 사항이 있으신가요?

대화방에서 메시지를 주시면 감사하겠습니다!

에버스케일에 대해 더 알아보세요

저희의 SNS를 구독하시고 최신 소식을 놓치지 마십시오