Chủ đề thịnh hành
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
Informal Systems 🌱
Đối tác hàng đầu trong thiết kế giao thức và cơ sở hạ tầng chuỗi chéo | Kiểm toán | Trình xác thực | Ấp @cyclesmoney | Hỗ trợ các dự án giai đoạn đầu @informalvc
Bạn có thể mô tả chính xác "trạng thái đúng" của hệ thống của bạn là gì không? Nếu có, bạn có một bất biến quy nạp. Điều đó có nghĩa là hệ thống của bạn ít có khả năng làm những điều xấu và bạn đang gần hơn đến việc chứng minh điều đó.
Chúng tôi đã viết một hướng dẫn về cách để đạt được điều đó ⬇️
616
Informal Systems 🌱 đã đăng lại
Người dùng DeFi dành quá nhiều thời gian để tìm kiếm lợi suất, cân bằng lại giữa các nền tảng khi tỷ lệ thay đổi, cầu nối tài sản, bọc các sản phẩm phái sinh, v.v.
Chúng tôi đang xây dựng một giải pháp cho phép họ gửi tiền và nhận được lợi suất thấp rủi ro cao nhất có sẵn trên thị trường tại bất kỳ thời điểm nào.
1,07K
Sự đồng thuận Alpenglow mới của Solana giờ đã có một thông số Quint.
Thay vì giải thích giao thức, chúng tôi cung cấp cho bạn các công cụ để tự mình hiểu nó. Bài viết trên blog giúp bạn bắt đầu với các công cụ tương tác và thách thức bạn xây dựng các kịch bản mà trong đó các nút Byzantine gây ra sự bất đồng.
Bạn có thể phá vỡ sự đồng thuận không? ⬇️
2,07K
.@josef_widder phân tích lý do tại sao bảo mật bắt đầu từ thiết kế, không chỉ là xem xét mã, trên @MacrocosmPod ↴
10 thg 7, 2025
Thiết kế hệ thống, Các mối đe dọa bảo mật & Kiểm toán với @informalinc 's @josef_widder
0:00 Giới thiệu & Vai trò
1:26 Nền tảng học thuật
4:19 Kiểm toán trước Crypto
7:07 Bản chất của bảo mật
9:22 Thiết kế so với Xây dựng
12:15 Giới hạn của Kiểm toán
14:51 Mô hình mối đe dọa
17:21 Bảo mật lâu dài
20:13 Phạm vi Kiểm toán
23:28 Rủi ro Full Stack
26:23 Đồng thuận & SCs
28:54 Cầu & Lớp
31:00 Tendermint & Rust
35:01 Xây dựng Giao thức
38:52 Đặc tả chính thức
42:29 Suy nghĩ về Anoma
43:29 Quy trình Kiểm toán
46:02 Lựa chọn Ngôn ngữ
48:56 Tham gia sớm
52:16 Chi phí & Giá trị
831
Hàng đầu
Thứ hạng
Yêu thích