Veridise cho biết việc kiểm toán không tiết lộ thông tin có khả năng phát hiện ra các vấn đề quan trọng hơn.

Tổng quan về các công cụ ZK của Veridise và cái nhìn sơ lược về những điều sắp tới. @IsilDillig chia sẻ về định hướng tương lai của chúng tôi tại sự kiện @a16zcrypto. https://t.co/QlZNSm3ITO

Học trải nghiệm của @zktrivo (Trưởng nhóm Kỹ sư tại @o1_labs) trong việc làm việc với Veridise, và cách chúng tôi đã hỗ trợ cộng đồng @MinaProtocol. https://t.co/UHwJrgNbqt

Nghe kỹ cuộc hội thoại sâu sắc bên lửa với Rami Khalil (@hashcashier), Kỹ sư giao thức cao cấp tại @RiscZero và @boundless_xyz, khi chúng ta khám phá không gian thiết kế để xây dựng ứng dụng trên RISC Zero zkVM. Tổ chức bởi @FormallyJon từ @VeridiseInc. https://t.co/APpDCQesoR

🔍 Chúng tôi đang tuyển dụng! Hãy gia nhập Veridise với vị trí Trưởng phòng Tiếp thị Sản phẩm và dẫn dắt hoạt động tiếp thị cho AuditHub, nền tảng kiểm toán blockchain thế hệ mới của chúng tôi.Chúng tôi rất mong nhận được phản hồi từ bạn → Tìm mô tả công việc trên trang tuyển dụng của chúng tôi! https://t.co/NcvriPs8pM

Hãy tham gia cùng chúng tôi trong buổi trò chuyện thân mật và sâu sắc với Rami Khalil (@hashcashier), Kỹ sư giao thức cấp cao tại @RiscZero và @boundless_xyz, để thảo luận về không gian thiết kế để xây dựng các ứng dụng bằng cách sử dụng RISC Zero zkVM. Được tổ chức bởi @FormallyJon từ @VeridiseInc. Dấu thời gian: 0:00 - zkVM là gì, cụ thể là RISC Zero's zkVM? 03:04 - Trải nghiệm phát triển như thế nào và những lợi ích là gì? 06:01 - zkVM cung cấp những đảm bảo gì? 08:04 - Bạn có ý gì khi nói "đầu vào bị hạn chế"? 10:24 - Bạn có thể xây dựng các ứng dụng bảo mật với RISC Zero không? 11:11 - Bạn có thể duy trì quyền riêng tư khi sử dụng mạng lưới chứng minh không? 13:08 - Những ứng dụng mới nào hiện có thể thực hiện được nhờ zkVM? 17:22 - Boundless dành cho ai và cách thức hoạt động của việc chứng minh phi tập trung? 20:42 - Việc tích hợp RISC Zero tác động đến bảo mật của một giao thức như thế nào? 24:17 - Làm thế nào để bạn đảm bảo zkVM an toàn? 26:03 - Bạn có đang sử dụng các hệ thống tiền điện tử, ràng buộc và chứng minh tốt nhất không? 29:18 - Bạn có thể tận dụng tính song song dựa trên số lượng máy không? 30:17 - Bạn muốn thấy điều gì được xây dựng với RISC Zero? 30:47 - Giá trị của việc sử dụng FHE bên trong zkVM là gì? 32:28 - Bạn có lời khuyên nào cho các nhà phát triển xây dựng các ứng dụng dựa trên zkVM? 33:12 - Các ví dụ khi ZK proofs sẽ không mang lại lợi ích cho một ứng dụng? 34:45 - Lời khuyên bảo mật của Jon dành cho các nhà phát triển 40:02 - Có ai chia sẻ các trường hợp sử dụng thú vị cho Steel không? 46:37 - RISC Zero đang xây dựng những gì khác ngoài Boundless? 49:17 - Có ứng dụng sắp ra mắt nào ngoài Keccak không?

Panther Protocol Ra Mắt Mạng Thử Nghiệm Giới Hạn Mainnet Bảo Vệ Quyền Riêng Tư Trong DeFi Trên Polygon

🎥 Xem cuộc phỏng vấn của @FormallyJon với @alicelingl trên @HouseofZK — bao gồm câu chuyện nguồn gốc của Veridise, bộ công cụ bảo mật của chúng tôi, bảo mật zkVM, các mẫu lỗ hổng phổ biến và nhiều hơn nữa!

Cuộc trò chuyện giữa Trưởng bộ phận Giáo dục ZKM @alicelingl và Jon Stephens của @VeridiseInc về việc ứng dụng các phương pháp bảo mật chính thức là điều bắt buộc phải nghe đối với bất kỳ ai đang xây dựng hạ tầng ZK 🤝

Quá trình xác minh chính thức SP1 đang được tiến hành. Chúng tôi rất vui mừng được chia sẻ những kết quả ban đầu từ sự hợp tác của chúng tôi với @VeridiseInc, một công ty hàng đầu trong lĩnh vực kiểm toán bảo mật ZK. https://t.co/dHp4TcmSsR

Gần đây, chúng tôi đã hợp tác với @SuccinctLabs để xác minh tính xác định của các mạch SP1 bằng Picus—công cụ xác minh chính thức của Veridise cho các mạch zero-knowledge. Đây là bước đầu tiên hướng tới việc xác minh chính thức toàn bộ SP1 zkVM 🧵 1/6 https://t.co/tVvSR8GPNn

💬 "Những trở ngại không thể ngăn cản bạn. Vấn đề không thể ngăn cản bạn. Quan trọng nhất, người khác không thể ngăn cản bạn. Chỉ có bạn mới có thể ngăn cản bạn." — Jeffrey Gitomer🐳 Đây là lý do tại sao các dự án được GAINS hậu thuẫn LUÔN VƯỢT TRỘI HƠN TẤT CẢ! 🔥Điểm nổi bật của tuần:🔗 @QuaiNetwork hợp tác với @StorkOracle💰 @InceptionLRT đã được @VeridiseInc kiểm toán🏠 @rwadepin đã đảm bảo được giấy phép đầy đủ ở UAE🏠 @zothdotio hợp tác với @0xThroughput🤖 @KvantsAI giới thiệu tính năng ‘Directional Strategy’🤖 @Lilypad_Tech hợp tác với @swan_chain🤖 @AgentXYZ_ai liên minh với @0xCapx

Thống nhất bảo mật mạng, một cách an toàn. Các ERC-4626 vaults của chúng tôi đã được @VeridiseInc kiểm toán thành công. ✓ Không có vấn đề nghiêm trọng nào và tất cả các phát hiện nhỏ đều đã được giải quyết Đọc toàn bộ phân tích chi tiết của cuộc kiểm toán bên dưới 🡣 https://t.co/AEctEzUPbC

Hạ tầng Dữ liệu Có thể Xác thực vLayer Công bố Ra Mắt Mainnet Chính Thức

Tham gia cùng chúng tôi trong buổi trò chuyện thân mật đầy thông tin chi tiết với @mjdklein, một kỹ sư phần mềm tại @aztecnetwork, khi chúng ta đi sâu vào ngôn ngữ lập trình @NoirLang — một thành phần quan trọng của Aztec Network. Được tổ chức bởi @FormallyJon từ @VeridiseInc. Dấu thời gian: 0:00 – Giới thiệu: Aztec & Noir language 0:57 – Tại sao Aztec xây dựng ngôn ngữ ZK của riêng mình 2:22 – Tổng quan về Noir và trải nghiệm nhà phát triển 3:20 – So sánh Noir với các ZK DSL khác 4:33 – Các hàm không ràng buộc 6:19 – Noir cung cấp những gì mà các zk DSL khác không có 7:00 – Các công cụ hiện đang thiếu trong Noir 8:24 – Hệ sinh thái Noir có thể phát triển như thế nào & các công cụ mới 9:19 – Lập trình meta trong Noir và những gì nó cho phép 11:28 – Cải thiện tính ngắn gọn & lập trình meta 13:56 – Ai có thể sử dụng Noir và liệu nó có bị ràng buộc với Aztec hay không 15:17 – Các loại lỗ hổng bảo mật hàng đầu cần quan tâm 17:15 – Công việc được thực hiện để đảm bảo các lần tối ưu hóa hợp lệ 18:20 – Các cân nhắc về xác minh chính thức (bộ giải SMT) 19:18 – Các loại lỗi mà nhà phát triển có thể vô tình gây ra 21:18 – Entropy có thể dẫn đến rò rỉ quyền riêng tư như thế nào 23:35 – Các biện pháp bảo vệ được tích hợp trong Noir để ngăn chặn các vấn đề như vậy 24:50 – Mức độ phổ biến của các lỗ hổng như vậy có thể như thế nào 26:13 – So sánh các mạch Noir với zkVM về quyền riêng tư 28:16 – So sánh hệ thống chứng minh cục bộ với mạng lưới chứng minh 29:36 – Cách nhà phát triển có thể đánh giá xem bộ giải SMT có phù hợp với họ hay không

Hãy tham gia cùng chúng tôi trong buổi trò chuyện thân mật đầy thông tin chi tiết với @mjdklein, một kỹ sư phần mềm tại @aztecnetwork, khi chúng ta đi sâu vào ngôn ngữ lập trình @NoirLang—một thành phần quan trọng của Aztec Network. Được tổ chức bởi @FormallyJon từ @VeridiseInc. Dấu thời gian: 00:00 - Giới thiệu: Aztec & Noir language 00:57 - Tại sao Aztec xây dựng ngôn ngữ ZK của riêng mình 02:22 - Tổng quan về Noir và trải nghiệm nhà phát triển 03:20 - So sánh Noir với các ZK DSL khác 04:33 - Các hàm không ràng buộc 06:19 - Noir cung cấp những gì mà các zk DSL khác không có 07:00 - Các công cụ hiện đang thiếu trong Noir 08:24 - Hệ sinh thái Noir có thể phát triển như thế nào & các công cụ mới 09:19 - Lập trình meta trong Noir và những gì nó cho phép 11:28 - Cải thiện tính ngắn gọn & lập trình meta 13:56 - Ai có thể sử dụng Noir và liệu nó có bị ràng buộc với Aztec hay không 15:17 - Các loại lỗ hổng bảo mật hàng đầu 17:15 - Công việc được thực hiện để đảm bảo các lần tối ưu hóa hợp lệ 18:20 - Cân nhắc về xác minh chính thức (bộ giải SMT) 19:18 - Các loại lỗi mà nhà phát triển có thể vô tình gây ra 21:18 - Cách entropy có thể dẫn đến rò rỉ quyền riêng tư 23:35 - Các biện pháp bảo vệ được tích hợp trong Noir để ngăn chặn các vấn đề như vậy 24:50 - Mức độ phổ biến của các lỗ hổng bảo mật như vậy 26:13 - So sánh mạch Noir với zkVM về quyền riêng tư 28:16 - So sánh hệ thống chứng minh cục bộ với mạng lưới chứng minh 29:36 - Cách nhà phát triển có thể đánh giá xem bộ giải SMT có phù hợp với họ hay không

Hãy tham gia cùng chúng tôi trong buổi trò chuyện thân mật đầy thông tin chi tiết với @mjdklein, một kỹ sư phần mềm tại @aztecnetwork, khi chúng ta đi sâu vào ngôn ngữ lập trình @NoirLang — một thành phần quan trọng của Aztec Network. Được tổ chức bởi @FormallyJon từ @VeridiseInc. Dấu thời gian: 0:00 - Giới thiệu: Aztec & ngôn ngữ Noir 00:57 -  Tại sao Aztec xây dựng ngôn ngữ ZK của riêng mình 02:22  - Tổng quan về Noir và trải nghiệm nhà phát triển 03:20  - Noir so sánh với các ZK DSL khác như thế nào 04:33  - Các hàm không ràng buộc 06:19  - Noir cung cấp những gì mà các zk DSL khác không có 07:00  -  Các công cụ hiện đang thiếu trong Noir 08:24  - Hệ sinh thái Noir có thể phát triển như thế nào & các công cụ mới 09:19  -  Lập trình meta trong Noir và những gì nó cho phép 11:28  - Cải thiện tính ngắn gọn & lập trình meta 13:56  - Ai có thể sử dụng Noir và liệu nó có bị ràng buộc với Aztec hay không 15:17  - Các loại lỗ hổng nào được ưu tiên hàng đầu 17:15  - Công việc được thực hiện để đảm bảo các lần tối ưu hóa hợp lệ 18:20 - Các cân nhắc về xác minh chính thức (bộ giải SMT) 19:18  - Các loại lỗi mà nhà phát triển có thể vô tình gây ra 21:18 - Cách entropy có thể dẫn đến rò rỉ quyền riêng tư 23:35 - Các biện pháp bảo vệ được tích hợp trong Noir để ngăn chặn các vấn đề như vậy 24:50 -  Mức độ phổ biến của các lỗ hổng như vậy có thể như thế nào 26:13  - Mạch Noir so với zkVM về quyền riêng tư 28:16  - Hệ thống chứng minh cục bộ so với mạng chứng minh 29:36  -  Cách nhà phát triển có thể đánh giá xem bộ giải SMT có phù hợp với họ hay không

Chúc mừng @MinaProtocol về cột mốc quan trọng trong việc ra mắt tiêu chuẩn NFT!Để đảm bảo an toàn cho tiêu chuẩn NFT, Mina Foundation đã hợp tác với @VeridiseInc để thực hiện kiểm toán bảo mật, và hiện tại đã hoàn thành ✅Hãy cùng khám phá 🧵1/7 https://t.co/LbGzTkJisJ

Tiêu chuẩn NFT của Mina đã ra mắt!Sau khi hoàn tất kiểm toán bởi @VeridiseInc, tiêu chuẩn này đã sẵn sàng để sử dụng, nhằm tạo và quản lý NFT trên Mina Protocol.Nhà phát triển @dfst_io đã làm việc chăm chỉ – họ đã ra mắt tiêu chuẩn cùng với một thị trường NFT (@minanft_io) VÀ một nền tảng phát hành Token tùy chỉnh không cần code dành cho Mina 🤯Tiêu chuẩn NFT này cho phép các cơ chế đúc linh hoạt, chức năng thị trường tích hợp sẵn, cùng các tính năng bảo mật ZK đặc biệt!Tìm hiểu thêm → https://t.co/CHH8wUOFJ4Xem tài liệu để bắt đầu → https://t.co/ZVZkfrNul7

Chúng tôi vui mừng thông báo rằng việc kiểm tra an ninh hạ tầng của Panther Protocol đã được @VeridiseInc hoàn thành thành công. Bản kiểm tra của Veridise đánh dấu một cột mốc quan trọng đối với Panther khi hệ sinh thái Panther chuẩn bị cho mainnet. https://t.co/mXrn9oRxJw https://t.co/NckAnjhrvM

Friends With Benefitsは、イノベーション開発に真剣に取り組んでいます。 「これは業界にとって良い転換点です。新たな開発者の波をこの分野に呼び込む機会があります」と、@GregBresnitz @fwbtweetsは述べています。 @btschillerが報告します。 https://t.co/xZEx2ZBPpd

『フレンズ・ウィズ・ベネフィッツ』の進化：カジュアルから意味のある関係へ

💘 Tookey: あなたのWeb3のキューピッド！完璧なWeb3の相手を探していますか？ @SkaleNetwork と @UplandMe に聞いてみてください — 彼らはTookey X-Spaceを通じて出会いました！😉TookeyはWeb3プロジェクトをすべての正しい方法でつなげます：✅ ONS (One-Night Stand) – 短期間の、拘束のないコラボ。✅ FWB (Friends With Benefits) – 「試してみて、どこに行くか見てみましょう。」✅ Relationship – 戦略的パートナーシップ、Web3の力のカップル。💡 あなたのWeb3ラブストーリーが欲しいですか？ 下に「Match」とコメントしてください！😎🔹 Web3ビルダーのための専用Telegramグループに招待します。🔹 私たちのスペースの数百人の創業者にあなたのプロジェクトを紹介します。バレンタインデーを画期的なパートナーシップについて考えましょう！

Friends With Benefitsは、新しいタイプの文化機関で、新興技術の採用を促進しています。インターネット上で形成されたFWBは、5,500人以上のグローバルメンバーを持ち、合計で10万以上の文化プロデューサー、新興技術開発者、アーリーアダプターを対象としたクロスチャネルオーディエンスを有しています。インフラ企業、消費者ブランド、プロトコル、コミュニティと提携して、ユーザー採用戦略を構築し、文化的ポジショニングを作成し、製品のローンチを展開します。私たちの活動内容：コンテンツ＆体験型マーケティングコールドスタート問題の解決ユーザー獲得＆保持コミュニティ構築戦略的アドバイザリー私たちの方法：URL → IRLアクティベーションFWB FESTインキュベーターマーケティングキャンペーン思想的リーダーシップソーシャルネットワーク以上の存在FWBは新しい種類のソーシャルネットワークとして設立されました。4年後、私たちのネットワークは5,500人以上のグローバルメンバーシップと広範な新興技術エコシステムを活用して、文化的なゴー・トゥ・マーケットソリューションを提供するように進化しました。私たちと一緒に働きましょう partnerships@fwb.help

FESTから生中継で、Friends With Benefitsとの提携を発表できることに興奮しています。‘.fwb’のトップレベルドメイン（TLD）を申請します🤝提携の詳細はこちらでご覧ください：🔗 https://t.co/SZfZpY9B9a https://t.co/RKyNMDQhy3

🚨 10,000 USDC #Raffle Live! 🔔 @archwayHQ Friends with Benefits #campaign が @Galxe での報酬 #raffle で開始します！ - 100人の勝者 - 各100 #USDC。@archwayHQ に参加して X https://t.co/YGjGDHUANq

🚨 10000 USDC のラッフルがライブ中！ 🚨🧧 Archway の Friends with Benefits キャンペーンの初のバウンティラッフルが @Galxe でライブ中！- 100 名の勝者- 各自 100 USDC🤔 何を待っているのですか？ラッフルに参加しましょう👇https://t.co/84LbnjYyyY https://t.co/3xG625sFX2

おはよう、ラブバードたち！🎊 @MEXC_Officialによって、Friends with Benefitsキャンペーンの最初のリスティングが発表されました🎁 10,000 USDCが、私たちの@Galxeバッジ保持者の中で、7月27日午後1時（UTC）に抽選されます🔶 まだバッジをミントしていない場合でも、参加するのはまだ遅くありません！ https://t.co/vRGWnkyFrH

もし見逃した場合、@_TheNFTDaily と Archway が集まり、Galxe の 'Friends with Benefits' キャンペーンについて話し合いました。🚀 こちらでご覧ください！⬇️ https://t.co/3ebqX6sREW

🔔 The NFT Daily x @archwayHQ - UTC 1時 今日 5日 🟠🎙Archwayが番組に戻ってくるので、ぜひご覧ください！@Galxeによる「Friends with Benefits」キャンペーンを発見し、次の展開についての情報をゲットしましょう 👀@archwayHQをXでフォローしてください#stake #web3 #token #tokens #crypto #w3coins #news https://t.co/PMdkshBJyT

📣 準備はいいですか！ 「Friends with Benefits」キャンペーンのAMAが本日後ほど行われます。 🔸 Archwayと@Galxeに参加して、バッジを獲得し、報酬を請求し、最新情報などを学びましょう！👀 📆 本日午後4時30分（UTC）にお会いしましょう！ https://t.co/3d6ra3ZSIj

📣 日付を保存してください！ 「Friends with Benefits」キャンペーンのAMAは、T-24時間で始まります。 🔸 Archwayと@Galxeに参加して、バッジを獲得し、報酬を請求する方法を学びましょう。さらなるアルファ情報もお楽しみに👀 📆 明日、6月26日、UTC午後4時30分にお会いしましょう！ https://t.co/3d6ra40qxR

@archwayHQの「Friends with Benefits」キャンペーンについて質問がありますか？ @Galxeが提供するチームQ&Aに参加してください！ 🗓 日付: 6月26日 🕒 時間: 午後4時30分 UTC。 @archwayHQをXで参加してください#stake #web3 #token #tokens #crypto #w3coins #news https://t.co/nPgDT4MUUn

❤️ 初デートの時間です！ ❤️🔸 @Galxe が提供する Archway の「Friends with Benefits」キャンペーンについて、チームに質問してください。🗓️ 日付：6月26日🕒 時間：午後4時30分 UTChttps://t.co/N546ArrwKd https://t.co/EZqvwe8Mrw

愛を探すのは大変なことがあります💔。そこで、Archwayの「Friends with Benefits」キャンペーンのために便利なユーザーガイドを作成しました。 🔸 どのようにしてNFTバッジとUSDC報酬を獲得できるかを🧵でチェックしてください ⬇️ #galxe #archwayHQ https://t.co/6jfqSj6xFp

🚀 ArchwayのFriends with Benefitsキャンペーンが開始されました！🚀 この夏、@Galxeでクエストを完了してArchwayに恋をしましょう。 🔸 限定のArchway NFTバッジとUSDC報酬を獲得しましょう！💎🌟 https://t.co/xV2q97eL0U https://t.co/E7yDC6Kyrw

Oyster LabsのTONベースの電話の第2波が登場しました！ 第1波はファウンダーエディションと呼ばれ、第2波はFWB（Friends With Benefits）エディションと呼ばれています。 予約注文が開始され、$TONで支払うことができるようになりました！ https://t.co/s50RmxFGY4