Nhóm phương pháp hình thức tại @Nethermind vẫn đang làm việc hết sức mình! Chúng tôi sẵn sàng hỗ trợ và xác minh tính đúng đắn của giao thức của bạn, hãy liên hệ với tôi, @JulekSU hoặc @PetarMax.
Bài viết này được dịch máy
Xem bản gốc
Julian Sutherland
@JulekSU
02-24
Some things happening in the Nethermind formal verification team this week:
- @fastreedsolomon and I are kicking off formalisation of STIR and WHIR IOPPs as part of ArkLib (https://github.com/Verified-zkEVM/ArkLib…)
- Developing an augmented version of Certiplonk that scales better, we're
Từ Twitter
Tuyên bố từ chối trách nhiệm: Nội dung trên chỉ là ý kiến của tác giả, không đại diện cho bất kỳ lập trường nào của Followin, không nhằm mục đích và sẽ không được hiểu hay hiểu là lời khuyên đầu tư từ Followin.
Thích
Thêm vào Yêu thích
Bình luận
Chia sẻ
