Michael Straka shared polynomial protocols developed with Alin Tomescu for string concatenation and substring extraction in R1CS circuits, code implemented in @Aptos Keyless circuit. Michael Straka在博客中分享了与Alin Tomescu合作开发的两个多项式协议,用于在R1CS电路中处理字符串连接和子字符串提取,代码实现用在了 @Aptos Keyless电路中。 マイケル・ストラカは、@Aptos Keyless circuitで実装されたコードにおいて、R1CS回路における文字列連結と部分文字列抽出のために開発した多項式プロトコルを共有しました。
@NexusLabs team released the Nexus specification document, providing detailed technical specifications and guidelines, also showing their considerations and constraints in designing the zkVM. @NexusLabs 团队发布了Nexus规范文档,提供了详细的技术规格和指南,从中也可以看到他们在设计zkVM时的考虑,以及详细的约束条件。 NexusLabsチームは、zkVMの設計における考慮事項と制約を示しつつ、詳細な技術仕様とガイドラインを提供するNexus仕様書をリリースしました。