After a year learning and working on Lean, here’s our first post on it: If it compiles, it is correct (almost): an introduction to Lean 4 for ZK systems and Engineering.

Twitter

Sau một năm học tập và làm việc với Lean, đây là bài đăng đầu tiên của chúng tôi về chủ đề này: Nếu biên dịch được thì nó (gần như) chính xác: Giới thiệu về Lean 4 dành cho hệ thống và kỹ thuật của ZK.

Giá Bitcoin đã chạm mốc 60.000 đô la vào tuần trước. Theo mô hình lợi nhuận giảm dần, đây không chỉ là sự biến động nhỏ. Thị trường đang chạm đến điểm dễ tổn thương nhất trong toàn bộ chu kỳ bốn năm và khuôn khổ tăng trưởng theo hàm logarit.
Với mức tăng trưởng ở đỉnh chu kỳ Bitcoin đã bị thu hẹp đáng kể, một điều chỉnh hồi độ sâu hơn nữa lịch sử sẽ hoàn toàn làm mất đi sức hấp dẫn của các chu kỳ kinh điển của nó.
Đây không phải là dự đoán; đây là một định luật toán học.
Sự chuyển động đi lên ở đỉnh của chu kỳ đang bị nén lại.
Các đỉnh cao lịch sử Bitcoin qua các chu kỳ khác nhau:
• 2013: ~1.242 đô la • 2017: ~19.700 đô la • 2021: ~...

55.000 đô la sẽ là cứu cánh cho Bitcoin.

Chính phủ vừa ban hành Nghị quyết số 23/NQ-CP sau phiên họp Chính phủ thường kỳ tháng 1/2026, trong đó nhấn mạnh yêu cầu điều hành chính sách tiền tệ chủ động, linh hoạt và hiệu quả, phối hợp chặt chẽ...

Chính phủ Việt Nam thúc đẩy vận hành sàn giao dịch vàng và tài sản mã hóa trước 28/2/2026

Lịch TGE / ICO đang dày lên rất nhanh. Nếu bạn theo dõi launch, ICO hoặc TGE, đây là danh sách nên lưu lại. Nhiều cái tên quen mặt chuẩn bị ra mắt chỉ trong vài tuần tới.
Các mốc đáng chú ý trong thán...