Explore the Momentum ecosystem and earn $1.015M in rewards
discoveryBanners
Chủ đề thịnh hành
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico-23,1%
USELESS
USELESS-21,24%
IKUN
IKUN-30,7%
gib
gib-22,39%
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk-3,85%
ALON
ALON-7,95%
LAUNCHCOIN
LAUNCHCOIN-8,71%
GOONC
GOONC-22,94%
KLED
KLED-0,64%
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP+15,67%
Boopa
Boopa-2,06%
PORK
PORK-17,21%
header
Veridise
Tăng cường bảo mật blockchain với Phương pháp chính thức — Các công cụ và kiểm tra bảo mật hàng đầu trong ngành cho các hợp đồng thông minh, blockchain và không có kiến thức.
Veridise
Veridise22:39 19 thg 8
Chúng tôi rất vui mừng thông báo ra mắt LLZK, một biểu diễn trung gian mã nguồn mở (IR) cho các mạch không biết. Hãy nghĩ đến LLVM, nhưng dành cho ZK. Được xây dựng bởi @VeridiseInc và được hỗ trợ bởi một khoản tài trợ từ @ethereumfndn, LLZK hiện đã có mặt trên GitHub. Chủ đề 🧵 1/4
8,32K
Veridise
Veridise15 thg 7, 2025
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ụ không kiến thức của chúng tôi tại @HouseofZK cuộc phỏng vấn.
638
Veridise
Veridise11 thg 7, 2025
Điều gì đã khiến chúng tôi phát triển Vanguard, máy phân tích tĩnh của chúng tôi và chúng tôi đã mở rộng nó ra ngoài Solidity như thế nào? @FormallyJon giải thích trên podcast @HouseofZK.
607
Veridise
Veridise8 thg 7, 2025
Cannes, bạn thật tuyệt vời! Cảm ơn tất cả những người đã ghé qua gian hàng của chúng tôi và @EthCC đã tiếp đón chúng tôi. Đây là một bữa tiệc trực quan trong tuần 🌞
3,21K
Veridise
Veridise2 thg 7, 2025
Lời chào từ @EthCC — @KFerles CTO của chúng tôi đang chia sẻ cách chúng tôi cung cấp tính xác định lâu dài cho zkVM như @RiscZero
798
Veridise
Veridise1 thg 7, 2025
Xem tổng quan về các công cụ ZK của Veridis và cái nhìn thoáng qua về những gì tiếp theo. @IsilDillig chia sẻ định hướng tương lai của chúng tôi tại sự kiện @a16zcrypto.
337
Veridise
Veridise30 thg 6, 2025
Các 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 sâu sắc từ bài báo nghiên cứu gần đây của chúng tôi.
333
Veridise
Veridise29 thg 6, 2025
Làm thế nào để chúng ta giữ cho mạch ZK vững chắc và xác định trong quá trình kiểm toán? Người đồng sáng lập của chúng tôi @IsilDillig chia sẻ thông tin chi tiết về việc kết hợp phân tích tĩnh và bộ giải SMT trong các công cụ ZK của chúng tôi.
450
Veridise
Veridise28 thg 6, 2025
Các mạch bị hạn chế 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 đặt ra mối đe dọa lớn hơn: các mạch bị hạn chế hoặc bị hạn chế quá mức? @IsilDillig phá vỡ nó.
351
Veridise đã đăng lại
PLDI
PLDI28 thg 6, 2025
Cuối cùng nhưng không kém phần quan trọng, Giải thưởng Nhà nghiên cứu trẻ SIGPLAN Robin Milner cũng đã được công bố tại PLDI. Năm nay, giải thưởng thuộc về Işıl Dillig (@IsilDillig), người có nghiên cứu đã có những đóng góp sâu sắc và sâu rộng vào việc phân tích, xác minh và tổng hợp ⭐️ chương trình
1,6K