LAGRANGE

LAGRANGE

52,483個推特粉絲

關注

Hyper-parallel ZK coprocessing. Verifiably compute over blockchain data at a big data scale and unlock new data-intensive and interoperable applications.

動態

分佈式自治系統引入了新的故障模式。單個受損節點即可影響集群行為。當系統協同運作時，協調的完整性至關重要。

現身舊金山 @OneRSAC。很高興能與來自 @awscloud、@IBM 和 @databricks 等各家合作伙伴交流。目前來看，人工智能的應用已滲透到各個領域，以下幾個方面值得關注： • 越來越多的攻擊依賴於欺騙手段（深度偽造、身份欺騙），而非直接破壞系統。 • 許多團隊的策略正在從試圖阻止每一次安全漏洞，轉變為假設系統已被入侵併迅速控制損失。此外，現在甚至有機器人提供安全建議，安全標準也在不斷提高。

重大技術里程碑。我們的 zkML 證明流程性能提升了 60%。準確率現已與 PyTorch 浮點數推理相當。 Gemma3 和 GPT2 等模型現在證明速度更快，同時保持了浮點數級別的精度。通過合併量化和查找操作並重構非線性層，我們在不犧牲正確性的前提下加速了證明過程。如果準確率下降，性能提升就毫無意義。現在，情況並非如此。

在任務關鍵型系統中，不確定性就是風險。如果自主代理無法共享一致的任務狀態，協調就會失效。而在分佈式系統中，微小的不一致也會迅速蔓延。

正在聖何塞參加英偉達全球技術大會 (GTC)。一些主題貫穿始終： • 人工智能的關注點正從模型訓練轉向實際部署 • 智能體系統正從回答問題轉向採取行動 • 英偉達正從芯片領域拓展到全棧解決方案——硬件、軟件和基礎設施看到像@QuantinuumQC、@EvidenceOpen 和 @Infleqtion 這樣的公司不斷突破計算的界限，有一點顯而易見：隨著人工智能應用於實際產品，討論的焦點正從性能轉向可靠性、控制和驗證。

密碼學將“相信我”變成了“證明給我看”。這是防禦人工智能不可或缺的升級。

@Consensus_HK 香港大會上週圓滿落幕。在為期五天的專題討論、邊會和機構交流中，一個主題貫穿始終：人工智能正在從演示走向部署，而部署需要可驗證性。

身在利雅得世界防務展現場報道本週的討論繼續圍繞如何在實際國防環境中部署人工智能，以及如何確保這些系統的可驗證性和可問責性展開。讓我們共同探討並構建： • 可驗證的推理 • 自主決策日誌的完整性 • 已部署人工智能的加密保障 • 關鍵任務系統的問責制

感謝你們今天的邀請。我們完全同意。我們正在構建一個在人工智能時代可驗證、可信賴的未來。 twitter.com/lagrangedev/status...

拉格朗日團隊即將前往香港參加共識大會。我們的業務拓展主管布萊恩·諾維爾 (Brian Novell) 將在大會上就可驗證人工智能、智能體系統、基礎設施和實際部署等主題發表演講。以下是我們的參會地點和註冊鏈接👇

Loading..