Binance Square

Veridise

Veridise is a proven leader in auditing ZK circuits, smart contracts & blockchains. Learn more at www.veridise.com.
0 Đang theo dõi
135 Người theo dõi
89 Đã thích
7 Đã chia sẻ
Bài đăng
·
--
Picus đã nhận được một chút tình yêu từ cuộc gọi Ethproofs #3 của @ethereum 👀 Cảm ơn @drakefjustin!
Picus đã nhận được một chút tình yêu từ cuộc gọi Ethproofs #3 của @ethereum 👀 Cảm ơn @drakefjustin!
Hai lỗi ZK phổ biến nhất mà chúng tôi gặp là gì? Và làm thế nào để tránh chúng? @FormallyJon chia sẻ trên podcast @HouseofZK
Hai lỗi ZK phổ biến nhất mà chúng tôi gặp là gì? Và làm thế nào để tránh chúng? @FormallyJon chia sẻ trên podcast @HouseofZK
Các phần nào của mã nguồn là mục tiêu hàng đầu trong các cuộc kiểm toán bảo mật ZK? @FormallyJon chia sẻ trong podcast @HouseofZK.
Các phần nào của mã nguồn là mục tiêu hàng đầu trong các cuộc kiểm toán bảo mật ZK? @FormallyJon chia sẻ trong podcast @HouseofZK.
Chúng tôi vui mừng thông báo về công việc kiểm toán bảo mật của chúng tôi với @Monero, một dự án lâu dài trong lĩnh vực bảo mật. Ngoài ra, chúng tôi muốn làm rõ và giải quyết một số tuyên bố và sự hiểu lầm liên quan đến công việc của chúng tôi. 1/8
Chúng tôi vui mừng thông báo về công việc kiểm toán bảo mật của chúng tôi với @Monero, một dự án lâu dài trong lĩnh vực bảo mật.

Ngoài ra, chúng tôi muốn làm rõ và giải quyết một số tuyên bố và sự hiểu lầm liên quan đến công việc của chúng tôi.

1/8
Bạn có tò mò về 3 vụ hack blockchain hàng đầu trong 2 tuần qua không? Đây là: Câu chuyện tiếp tục bên dưới 🧵
Bạn có tò mò về 3 vụ hack blockchain hàng đầu trong 2 tuần qua không? Đây là:

Câu chuyện tiếp tục bên dưới 🧵
Kiểm toán ZK ≠ kiểm toán hợp đồng thông minh. Điều gì làm cho chúng khác nhau? @FormallyJon giải thích trên podcast @HouseofZK.
Kiểm toán ZK ≠ kiểm toán hợp đồng thông minh. Điều gì làm cho chúng khác nhau? @FormallyJon giải thích trên podcast @HouseofZK.
Blog mới: Làm thế nào để bạn xây dựng một ứng dụng zkVM an toàn—và làm thế nào để bạn kiểm toán một ứng dụng như vậy? (Phần III trong chuỗi bảo mật zkVM của chúng tôi). Chúng tôi đi qua một ví dụ cụ thể sử dụng @RiscZero, và chỉ ra những yếu tố bảo mật quan trọng trong phát triển ứng dụng ZK thực tế. Chủ đề 🧵 1/6
Blog mới: Làm thế nào để bạn xây dựng một ứng dụng zkVM an toàn—và làm thế nào để bạn kiểm toán một ứng dụng như vậy? (Phần III trong chuỗi bảo mật zkVM của chúng tôi).

Chúng tôi đi qua một ví dụ cụ thể sử dụng @RiscZero, và chỉ ra những yếu tố bảo mật quan trọng trong phát triển ứng dụng ZK thực tế.

Chủ đề 🧵

1/6
Khi chúng tôi bắt đầu làm việc trên công cụ ZK, không có gì khả dụng. @FormallyJon chia sẻ hành trình công cụ zero-knowledge của chúng tôi trong buổi phỏng vấn @HouseofZK.
Khi chúng tôi bắt đầu làm việc trên công cụ ZK, không có gì khả dụng. @FormallyJon chia sẻ hành trình công cụ zero-knowledge của chúng tôi trong buổi phỏng vấn @HouseofZK.
Khi chúng tôi bắt đầu làm việc trên công cụ ZK, không có gì có sẵn. @FormallyJon chia sẻ hành trình công cụ zero-knowledge của chúng tôi.
Khi chúng tôi bắt đầu làm việc trên công cụ ZK, không có gì có sẵn. @FormallyJon chia sẻ hành trình công cụ zero-knowledge của chúng tôi.
Những gì đã dẫn chúng tôi đến việc phát triển Vanguard, trình phân tích tĩnh của chúng tôi, và làm thế nào chúng tôi đã mở rộng nó ra ngoài Solidity? @FormallyJon giải thích trên podcast @HouseofZK.
Những gì đã dẫn chúng tôi đến việc phát triển Vanguard, trình phân tích tĩnh của chúng tôi, và làm thế nào chúng tôi đã mở rộng nó ra ngoài Solidity? @FormallyJon giải thích trên podcast @HouseofZK.
Cannes, bạn thật tuyệt vời! Cảm ơn tất cả mọi người đã ghé thăm gian hàng của chúng tôi, và cảm ơn @EthCC đã tổ chức cho chúng tôi. Dưới đây là một bữa tiệc hình ảnh từ tuần vừa qua 🌞
Cannes, bạn thật tuyệt vời! Cảm ơn tất cả mọi người đã ghé thăm gian hàng của chúng tôi, và cảm ơn @EthCC đã tổ chức cho chúng tôi. Dưới đây là một bữa tiệc hình ảnh từ tuần vừa qua 🌞
Khám phá 3 câu chuyện bảo mật blockchain hàng đầu trong hai tuần qua! Câu chuyện tiếp tục bên dưới 🧵
Khám phá 3 câu chuyện bảo mật blockchain hàng đầu trong hai tuần qua!

Câu chuyện tiếp tục bên dưới 🧵
Bỏ lỡ bài nói chuyện của @KFerles tại @EthCC, "Tính xác định zkVM kéo dài: Từ kiểm toán đến xác minh liên tục"? Xem toàn bộ bài thuyết trình ở đây, chúng tôi đã có một phòng đầy người!
Bỏ lỡ bài nói chuyện của @KFerles tại @EthCC, "Tính xác định zkVM kéo dài: Từ kiểm toán đến xác minh liên tục"? Xem toàn bộ bài thuyết trình ở đây, chúng tôi đã có một phòng đầy người!
Ngày 1 tại @EthCC đã kết thúc — và tất cả quà tặng trong bức ảnh? Đã biến mất. Con gấu mèo là một trong những lựa chọn yêu thích của đám đông 🦝 Chúng tôi vẫn còn một vài món quà, vì vậy hãy ghé qua vào ngày mai nếu bạn có thời gian!
Ngày 1 tại @EthCC đã kết thúc — và tất cả quà tặng trong bức ảnh? Đã biến mất. Con gấu mèo là một trong những lựa chọn yêu thích của đám đông 🦝

Chúng tôi vẫn còn một vài món quà, vì vậy hãy ghé qua vào ngày mai nếu bạn có thời gian!
Lời chào từ @EthCC — Giám đốc công nghệ của chúng tôi @KFerles đang chia sẻ cách chúng tôi cung cấp tính xác định lâu dài cho zkVMs như @RiscZero
Lời chào từ @EthCC — Giám đốc công nghệ của chúng tôi @KFerles đang chia sẻ cách chúng tôi cung cấp tính xác định lâu dài cho zkVMs như @RiscZero
Bài viết blog mới! Xác định các lỗ hổng phổ biến trong zkVMs (đây là Phần II trong Chuỗi Bảo mật zkVM của chúng tôi) Trong khi zkVMs giúp trừu tượng hóa sự phức tạp của ZK, chúng không loại bỏ tất cả các cạm bẫy 🧵
Bài viết blog mới! Xác định các lỗ hổng phổ biến trong zkVMs
(đây là Phần II trong Chuỗi Bảo mật zkVM của chúng tôi)

Trong khi zkVMs giúp trừu tượng hóa sự phức tạp của ZK, chúng không loại bỏ tất cả các cạm bẫy 🧵
Nhận cái nhìn tổng quan về các công cụ ZK của Veridise và một cái nhìn thoáng qua về những gì sắp tới. @IsilDillig chia sẻ hướng đi tương lai của chúng tôi tại sự kiện @a16zcrypto.
Nhận cái nhìn tổng quan về các công cụ ZK của Veridise và một cái nhìn thoáng qua về những gì sắp tới. @IsilDillig chia sẻ hướng đi tương lai của chúng tôi tại sự kiện @a16zcrypto.
Công cụ phát hiện ZK của chúng tôi trước đây đã hết thời gian trên 30% mạch ZK. Chúng tôi đã giải quyết vấn đề này như thế nào? @IsilDillig chia sẻ những hiểu biết từ bài báo nghiên cứu gần đây của chúng tôi.
Công cụ phát hiện ZK của chúng tôi trước đây đã hết thời gian trên 30% mạch ZK. Chúng tôi đã giải quyết vấn đề này như thế nào? @IsilDillig chia sẻ những hiểu biết từ bài báo nghiên cứu gần đây của chúng tôi.
Làm thế nào chúng ta giữ cho các mạch ZK vững chắc và xác định trong quá trình kiểm toán? Đồng sáng lập của chúng tôi @IsilDillig chia sẻ những hiểu biết về việc kết hợp phân tích tĩnh và các bộ giải SMT trong các công cụ ZK của chúng tôi.
Làm thế nào chúng ta giữ cho các mạch ZK vững chắc và xác định trong quá trình kiểm toán? Đồng sáng lập của chúng tôi @IsilDillig chia sẻ những hiểu biết về việc kết hợp phân tích tĩnh và các bộ giải SMT trong các công cụ ZK của chúng tôi.
Liệu các mạch bị ràng buộc quá mức có phải là một thách thức trong các mạch không kiến thức? Cái nào gây ra mối đe dọa lớn hơn: các mạch bị ràng buộc dưới mức hay các mạch bị ràng buộc quá mức? @IsilDillig phân tích điều đó.
Liệu các mạch bị ràng buộc quá mức có phải là một thách thức trong các mạch không kiến thức?

Cái nào gây ra mối đe dọa lớn hơn: các mạch bị ràng buộc dưới mức hay các mạch bị ràng buộc quá mức? @IsilDillig phân tích điều đó.
Đăng nhập để khám phá thêm nội dung
Tham gia cùng người dùng tiền mã hóa toàn cầu trên Binance Square
⚡️ Nhận thông tin mới nhất và hữu ích về tiền mã hóa.
💬 Được tin cậy bởi sàn giao dịch tiền mã hóa lớn nhất thế giới.
👍 Khám phá những thông tin chuyên sâu thực tế từ những nhà sáng tạo đã xác minh.
Email / Số điện thoại
Sơ đồ trang web
Tùy chọn Cookie
Điều khoản & Điều kiện