Sở thích và chuyên môn

Việc kiểm tra nghiêm ngặt đã trở thành một phần không thể thiếu của bất kỳ dây chuyền sản xuất phần mềm nào. Nhưng nó chỉ có thể giúp chúng ta đến một mức độ nhất định. Việc bổ sung kiểm tra với các công cụ và kỹ thuật dựa trên phương pháp chính thức và phân tích chương trình có giá trị to lớn, đặc biệt khi mã nguồn phát triển tự nhiên và trở nên khổng lồ. Tôi theo đuổi đam mê trong lĩnh vực xác minh chính thức và phân tích chương trình để hiểu và nhận ra tính mạnh mẽ của phần mềm đối với tất cả các mối đe dọa có thể.

Việc đưa thêm tư duy khoa học vào một ngôn ngữ lập trình luôn giúp cộng đồng nhà phát triển có những bước nhảy vọt. Các điều kiện bảo đảm có hiệu lực ngay lập tức tại thời gian biên dịch (với các IDE thông minh ngay tại thời điểm lập trình!). Rust, Golang, Lập trình chức năng là những minh chứng cho điều này, và gần đây hơn là Movelang dành cho blockchain. Chúng tôi tại Supra muốn thúc đẩy và hướng dẫn các nhà phát triển cơ sở hạ tầng cũng như các nhà phát triển dapp hướng tới sự trừu tượng, dễ dàng và đơn giản hơn, nhưng đồng thời vẫn đảm bảo an toàn và hiệu suất.

Các giao thức phân tán là nền tảng của các hệ thống phần mềm hiện đại. Việc xây dựng và bảo mật những thiết kế cơ bản này rất quan trọng và ngày càng trở nên cần thiết hơn. Tại Supra, chúng tôi xem xét tất cả các giao thức phân tán từ góc độ gốc rễ và đóng góp những hiểu biết cốt lõi để cả ngành công nghiệp và cộng đồng đều được hưởng lợi.

Bình luận

CEO của chúng tôi, Joshua Tobkin, đã thấm sâu tư duy "nghiên cứu trước" vào tổ chức. Thông qua các sáng kiến, tư duy tiên phong và hiểu biết cốt lõi của mình, anh đã định hướng nhóm nghiên cứu hướng tới việc kết hợp sự hiểu biết sâu rộng với tính ứng dụng thực tế. Chúng tôi đã phát minh ra một nhóm giao thức đồng thuận có thông lượng cao, độ trễ thấp, có thể mở rộng để hỗ trợ định vị Supra là IntraLayer.

Chúng tôi đã suy nghĩ cẩn thận về động lực của giao thức bridge (Bridge Protocol) có độ bảo mật cao từ mô hình Rational thực tế hơn và tạo ra một nhóm giao thức bridge một cách cẩn thận cũng như phân tích chúng một cách nghiêm ngặt bằng cách sử dụng các kỹ thuật lý thuyết trò chơi.

Ấn phẩm nghiên cứu chọn lọc