Veridise Re-poster

Lịch sử, nghiên cứu bảo mật trong không gian ZK đã rất phân tán. Nếu bạn phát triển một tiện ích cụ thể cho Circom, tài nguyên đó hoàn toàn không mang lại giá trị gì cho các đội Halo2. Tương tự, việc chọn làm việc với Noir có nghĩa là các nhà phát triển Circom hoàn toàn bị bỏ rơi. Bởi vì ngành công nghiệp thiếu một nền tảng chung để xây dựng, nghiên cứu xuất sắc không thể tránh khỏi bị kẹt trong các môi trường riêng lẻ. May mắn thay, sự ra mắt của LLZK đang hoàn toàn chuyển đổi toàn bộ động lực này.

LLZK giờ đây đã có tổ chức GitHub riêng, tách biệt khỏi Veridise.

Quỹ Ethereum đã tài trợ hai vòng. Galois đã đóng góp một backend độc lập.

Các dự án cộng đồng được xây dựng trên IR có thể sống ở đó. Bạn muốn thấy gì?

Đây là một cái nhìn táo bạo về bức tranh hiện tại. Thách thức lớn nhất chưa được giải quyết mà ZK tooling đang đối mặt thực ra không liên quan gì đến hiệu suất. Thay vào đó, vấn đề cơ bản là thiếu một nền tảng chung. Bởi vì không có một lớp cơ bản toàn cầu, mỗi hệ sinh thái riêng lẻ buộc phải xây dựng khung bảo mật của riêng mình từ đầu. Mình rất muốn nghe ý kiến của bạn về tình huống này. Bạn có chia sẻ quan điểm này không, hay bạn cho rằng những lo ngại về sự phân mảnh có thể bị phexh đại quá mức?

Chúng tôi rất vui mừng thông báo rằng LLZK V1.0 đã chính thức có sẵn cho công chúng. Được thiết kế như một đại diện trung gian chia sẻ, khung này hỗ trợ đặc biệt cho công cụ bảo mật ZK. Các nhà phát triển sẽ thấy rằng bất kỳ ngôn ngữ lập trình nào được biên dịch xuống LLZK đều ngay lập tức mở khóa khả năng của ZK Vanguard cho phân tích tĩnh và Picus cho xác minh chính thức. Lợi thế lớn ở đây là bạn có thể sử dụng những tài nguyên này một cách liền mạch, hoàn toàn tránh được việc phải tái tạo bất kỳ công cụ nào từ đầu. Tính đến thời điểm ra mắt này, các frontend đang hoạt động của chúng tôi hiện có Halo2 và Circom. Để tìm hiểu sâu hơn về phiên bản này, vui lòng truy cập thông báo đầy đủ tại <a>https://veridise.com/blog/veridise-announcements/llzk-v1-0-a-new-phase-for-zk-shared-infrastructure/</a>

Trong khi ở EthCC, câu hỏi phổ biến nhất mà mọi người đặt ra là cách thức xác minh chính thức so với kiểm toán AI.

Hai phương pháp này thực sự tìm cách trả lời những câu hỏi hoàn toàn khác nhau. Trí tuệ nhân tạo được thiết kế để phát hiện các mẫu đã biết. Tuy nhiên, xác minh chính thức cung cấp một mức độ đảm bảo hoàn toàn khác bằng cách chứng minh rằng các thuộc tính cụ thể vẫn đúng trong mọi đầu vào có thể.

Rõ ràng là lĩnh vực nghiên cứu này đã phát triển vượt xa việc chỉ là một chủ đề ngách. Củng cố tầm quan trọng rộng rãi của nó, Quỹ Ethereum đã chính thức cam kết 2 triệu đô la cho sự tiến bộ của các phương pháp chính thức.

Một vấn đề bị bỏ qua đang âm thầm ảnh hưởng đến hệ sinh thái của công cụ bảo mật ZK ngày nay, đó là sự phân mảnh nghiêm trọng. Các nhà phát triển hiện đang bị buộc phải điều hướng một bộ công cụ hoàn toàn độc nhất cho mỗi hệ thống chứng minh và ngôn ngữ lập trình khác nhau mà họ gặp phải. Thực tế này có nghĩa là cơ sở hạ tầng nền tảng phải được xây dựng lại từ đầu nhiều lần. Cuối cùng, khả năng của một nhóm phát triển trong việc phát hiện lỗi mạch một cách thành công không bao giờ phụ thuộc vào ngôn ngữ ZK cụ thể mà họ quyết định áp dụng.

Đội ngũ của chúng tôi đã đến Cannes cho @EthCC hôm nay. Chúng tôi nhiệt liệt mời bạn ghé thăm gian hàng Veridise, nằm ở tầng 3 của Palais des Festivals. Nếu bạn đang phát triển các ứng dụng trên chuỗi và muốn có một cuộc trò chuyện về bảo mật, nhân viên của chúng tôi sẽ có mặt cả ngày để kết nối với bạn. Bạn sẽ có cơ hội độc đáo để nói chuyện trực tiếp với những chuyên gia chính xác đã thực hiện thành công hơn 100 cuộc kiểm toán.

Nếu bạn tham gia cùng chúng tôi tại EthCC[9] ở Cannes, chúng tôi hoan nghênh bạn tận dụng những Buổi Tư Vấn Rủi Ro Nhà Sáng Lập miễn phí của chúng tôi. Diễn ra tại gian hàng của chúng tôi vào ngày 30 và 31 tháng 3, các buổi này kéo dài 15 phút và được dẫn dắt bởi CEO của Veridise, @FormallyJon. Dưới đây là cái nhìn chi tiết về những gì xảy ra ngay khi bạn bước vào phòng.

Bạn có đang hoạt động mà không có lộ trình an ninh rõ ràng không? Bạn có thể giải quyết hiệu quả vấn đề này trong sự kiện EthCC sắp tới.

Chúng tôi sẽ tổ chức một số buổi Tư vấn Rủi ro của Người sáng lập có hạn tại Cannes vào ngày 30-31 tháng 3. Thông qua một cuộc thảo luận tập trung với Giám đốc điều hành của chúng tôi, bạn sẽ nhận được những hiểu biết quý giá về việc xác định các rủi ro thực sự của bạn, quyết định quy trình nào cần tự động hóa, và biết chính xác khi nào nên lên lịch kiểm toán.

Mục tiêu của chúng tôi là đảm bảo bạn rời cuộc họp với sự rõ ràng có thể hành động được thay vì chỉ đơn giản là lắng nghe một bài thuyết trình bán hàng. Vui lòng gửi một tin nhắn trực tiếp đến @VeridiseInc để kết nối.

https://veridise.com/blog/news/veridise-ethcc-2026-meet-the-team-pushing-blockchain-security-forward/

Bạn có kế hoạch tham dự @EthCC ở Cannes từ ngày 30 tháng 3 đến 2 tháng 4 không? Chúng tôi rất vui mừng thông báo rằng chúng tôi sẽ tặng 2 vé vào cửa toàn phần cho sự kiện sắp tới.

Để đảm bảo cơ hội thắng của bạn là hoàn toàn đơn giản. Chỉ cần đảm bảo bạn đang theo dõi tài khoản @VeridiseInc và hãy repost thông điệp này. Chúng tôi sẽ chính thức bốc thăm người thắng cuộc vào ngày 28 tháng 3.

Khi bạn đang ở hội nghị, chúng tôi rất mong bạn ghé thăm gian hàng của chúng tôi. @AuditHubDev, đối tác của chúng tôi, sẽ có mặt tại chỗ để tổ chức một cuộc thi an ninh tương tác. Hãy đến để thử thách kiến thức ngành của bạn và nhận một số hàng hóa tuyệt vời để mang về nhà.

Chúng tôi đang trên đường đến ETHDenver ✈️. Trong suốt thời gian ở đó, chúng tôi đang tiến hành một Đánh Giá An Ninh Mini giới hạn (trực tiếp). Xin lưu ý rằng số lượng chỗ ngồi đang giảm, chỉ còn đúng 2 chỗ. Vui lòng xem chi tiết bên dưới và gửi tin nhắn để đặt lịch hẹn của bạn.

Chúng tôi đang tìm kiếm một Quản lý Phát triển Kinh doanh để gia nhập Veridise. Vị trí có trách nhiệm cao này mang đến cho bạn ảnh hưởng trực tiếp đến sự phát triển, định vị và mở rộng của công ty chúng tôi. Chúng tôi rất vui được nghe từ bạn, vì vậy xin vui lòng tìm mô tả công việc trên trang nghề nghiệp của chúng tôi.

Nếu bạn đang phát triển một dự án đổi mới và có kế hoạch tham dự ETHDenver, hãy dành một chút thời gian để suy ngẫm. Trước khi lên lịch kiểm toán hoặc triển khai thêm mã, điều quan trọng là xác định xem bạn đang bảo vệ các thành phần phù hợp theo đúng thứ tự. Đội ngũ của chúng tôi sẵn sàng thực hiện Đánh Giá Bảo Mật Mini 60 phút trong suốt sự kiện ETHDenver. 🧵

1/3

🔐 Phát triển trên @AleoHQ? Trong khi hồ sơ rất mạnh mẽ, chúng cũng dễ bị lạm dụng.

Trong Phần II của loạt bài Hồ sơ trong Leo, Mark Anthony @epizeuxius, Nhà phân tích An ninh tại @VeridiseInc, xem xét những cạm bẫy phổ biến trong việc xử lý hồ sơ.

Tìm liên kết đến bài viết đầy đủ bên dưới 🧵

1/3

🔐 Cách thức hoạt động của trạng thái riêng tư trong @AleoHQ? Trong bài viết blog gần đây nhất của chúng tôi, Mark Anthony @epizeuxius, một nhà phân tích bảo mật tại @VeridiseInc, phân tích các bản ghi trong Leo — nguyên thủy trung tâm làm nền tảng cho sự riêng tư & khả năng mở rộng của Aleo.

Liên kết đến bài viết đầy đủ ở dưới 🧵

1/3

Bạn đang muốn tránh những cuộc trò chuyện lễ hội điển hình? Chúng tôi có giải pháp hoàn hảo cho bạn! 🎄

Tham gia các cuộc trò chuyện bên lò sưởi của Veridise, nơi chúng tôi tham gia vào những cuộc thảo luận kỹ thuật sâu sắc với những người đổi mới đang định hình tương lai của Web3. Dàn khách mời của chúng tôi bao gồm các khách mời danh tiếng từ @ethereumfndn, @StellarOrg, @RiscZero, @boundless_xyz và @aztecnetwork. Theo dõi các cuộc trò chuyện trên kênh YouTube của chúng tôi.

Giáng sinh vui vẻ! Chúc năm tới mang lại cho bạn sự an toàn và sức khỏe. 🎄