Grass.io是一个去中心化的带宽市场。用户可以将他们多余的带宽出售给使用它从互联网上抓取数据的人工智能公司。目前已经有超过200万的个人ip网络地址，只有实时在线的用户才可以获得Grass积分。
已获得$3.5M的种子轮融资，由PolychainCapital和TribeCapital领投，BitscaleCaptial，Typhonv等参与。Tokenomics未公布，据团队成员称预计年底发token。
GagaNode是下一代去中心化住宅带宽市场，旨在通过Web3.0技术缓解全球IPv4地址短缺问题。目前对于各大系统（包括移动端）客户端有较好的支持。代码已开源。
OceanProtocol允许任何拥有抢手数据集的人将他们的数据标记化并在OceanMarket上提供，用户可以创建代表其数据的数据NFT，并使用数据代币购买。可以通过构建AI交易机器人，质押token，参加数据挑战赛参与。
创始人BrucePon梅赛德斯奔驰工作了5年以上，在MIT、牛津大学、纽约大学和欧洲管理学院（ESMT）进行了客座讲座，并在区块链、加密货币和去中心化技术方面进行了200多次公开演讲。在全球拥有超过35名顾问。
通过将ZK引入到机器学习领域，允许在不透露信息的情况下，快速验证模型的计算正确性。对模型的去信任验证使得zkml可以作为一种去信任的代理，或者被运用在一些隐私场景，比如以Worldcoin为代表的应用层。
同时，机器学习有可能通过ZK的方式被运行在智能合约中，让智能合约实现更强大的自动化与灵活性；同时，ML模型作为一个黑匣子，其去信任问题也可以通过ZK验证解决。
如上，ZkML的基础设施部分分为了以ModulusLabs为代表的链上ML，以及Giza、EZKL为代表的可信推断证明服务，此外还包括以RiscZero和Axiom为代表的协处理器。这个赛道目前还比较早期，需要考量其技术能力与团队背景。
WorldCoin由OpenAI推出，需要用户扫描他们的虹膜生成唯一ID。未来，生物识别ID可以通过使用加密存储在个人设备上自我保管，所需的模型用于本地验证这些生物识别信息。用户可以提供他们的生物识别信息的证明，而无需透露自己的身份，从而抵御女巫攻击，同时确保隐私。是目前AI领域的龙头。Worldcoin已经从a16z、KhoslaVentures、BainCapitalCrypto、BlockchainCapital和TigerGlobal等投资者的多轮融资中筹集了超过25000万美元。
目前活跃用户超过100万人。使用设备验证的WorldID或经过Orb验证的WorldID在DRiP上进行身份验证，并立即解锁奖励Droplet。
EZKL是开源的，通过生成零知识证明证明模型产生了某些结果，而不必揭示模型本身。过去几个月，EZKL在增强zkML解决方案方面取得了重大进展，主要侧重于降低成本、提高安全性和加快证明生成速度。例如，2023年11月，EZKL集成了一个新的开源GPU库，可将聚合证明时间缩短35%；今年1月，EZKL发布了Lilith，这是一种软件解决方案，用于在使用EZKL证明时集成高性能计算集群和编排并发作业系统。目前官宣了与OP进行合作。
JasonMorton是EZKL首席执行官，也是加州大学伯克利分校数学博士、密歇根大学经济学学士。
Giza是一个基于StarkNet构建的机器学习平台。除了提供用于创建可验证的机器学习模型的工具外，Giza还计划实现相当于HuggingFace的web3，为zkML协作和模型共享开放用户市场，并最终集成去中心化计算产品。近期GizaDatasets为Web3数据集框架，针对ML工作流程进行了优化，并以模型训练为目的进行结构化。
Giza于2022年10月由CemDagdelen、FranAlgaba和RençKorzay创立。完成了由CoinFund领投的300万美元Pre-Seed轮融资，CoinFund领投，StarkWare、TAVentures和ArringtonCapital参投。Giza尚未发币。
RiscZero提供一种新型的ZK虚拟机（ZKVM），使开发者能够在保护隐私的同时执行任意计算。BrianRetford是RISCZero的联合创始人兼首席执行官。此前，他曾担任Vertex.AI的联合创始人兼首席技术官。并曾在谷歌担任软件工程经理。已完成4000万美元A轮融资，BlockchainCapital，BainCapitalCrypto，Geometry，AlchemyVentures，IOSGVentures参与。
RISCZero的两个主要产品是zkVM和Bonsai。zkVM是一个RISCZero的零知识虚拟机，它允许用户证明任意Rust代码的正确执行。底层是zk-STARK；BonsaiNetwork是RISCZero的L2。应用程序将协同处理请求发送到BonsaiRelay，然后将证明请求转发到Bonsai证明服务。RISCZerozkVM执行程序并生成证明来验证代码的正确执行，任何人都可以验证。随后，BonsaiRelay在链上发布证明，应用程序通过回调函数接收结果。
Modulus正在开发一种专为人工智能模型量身定制的新的zk-proof技术。Modulus在11月推出了Remainder，这是一个专门为降低AI模型成本和证明时间而构建的专业零知识证明器，旨在使项目能够经济上可行地大规模集成模型到他们的智能合约中。
ModulusLabs的领导团队成员有DanielShorr、NicholasCosby和RyanCao。DanielShorr是该公司的联合创始人兼首席执行官。他就读于斯坦福大学，以其领导力和公开演讲技巧而闻名。
融资情况：在BainCapitalCrypto的带领下筹集了1200万美元的种子轮资金；BainCapitalCrypto领投，BlockchainCapital，galaxy，DELPHIVENTURES，FigmentCapitalIOSGCENTURES参与，完成了4000万美元的A轮融资。
2024年，ModulusLabs将发布ModulusAPI，其代码库将为开源的。ModulusLabs计划在2024年Q1和Q2将该产品集成到各种dApp中。
PiSquared使用零知识证明（ZK）技术来验证任何程序的执行正确性，无需依赖于特定的编程语言（PL）或虚拟机（VM）。其基于K框架和匹配逻辑，提供一种通用且高效的验证方法。旨在实现区块链、语言和应用程序的无缝互操作性。
Kframework是一个类似形式化验证的框架，过程是按照Kframework的要求写出源码执行的spec，Kframework可以证明源码是否是符合spec。可以兼容多种语言，这也是PiSquaredgeneralverify的底层支持；Proof实现逻辑是Kframework形式化验证会输出mathematicsproofs，PiSquared将验证这个mathematicsproofs的过程用zk电路实现，并可生成证明，该证明可以在链上被验证；因此，PiSquared可以被用来给智能合约做链上可信证明：通过链下Kframework生成证明并把验证过程zk化，可以在链上验证proofofproof，相当于给智能合约做形式化验证的，即链上可校验的代码审计。这也是PiSquared项目的Nearterm预期实现的功能，提供合约的审计和开发者验证工具。其官方github中展示的benchmark也证明了这个逻辑确实大部分可行，但是过于复杂的逻辑会消耗更多的时间或计算资源。
基于这套验证逻辑可实现对交易的验证，即把交易、合约、执行和产生proof的过程全部放到链下，通过Kframework和proofofproof服务生成zkproof。所有的validator不再维护一条chain，而改为验证zkproof来做状态转移，完成链下执行链上校验的业务逻辑。
目前正在募资5.3M$，估值50M$。FDV是$200,000,000，团队占比12%，1-4年的FDV成长因子是1.5。
以上就是2024年AI币有哪些？AI板块潜力币介绍的全部内容，望能这篇2024年AI币有哪些？AI板块潜力币介绍可以帮助您解决问题，能够解决大家的实际问题是非常好学习网一直努力的方向和目标。