TOPLOC: is a novel method for verifiable inference that enables users to verify that LLM providers are using the correct model configurations and settings
☆52Apr 14, 2025Updated 10 months ago
Alternatives and similar repositories for toploc
Users that are interested in toploc are comparing it to the libraries listed below
Sorting:
- Solidity contracts for the decentralized Prime Network protocol☆26Jul 6, 2025Updated 7 months ago
- Asynchronous P2P communication backend for decentralized pipeline parallelism☆42Jun 9, 2025Updated 8 months ago
- Formalising the WASM spec in Lean☆28Nov 14, 2025Updated 3 months ago
- All-in-one environment to use Dria, the collective knowledge for AI.☆14Mar 15, 2024Updated last year
- ☆11Jan 17, 2024Updated 2 years ago
- Evaluation repository of wikipedia index with Dria☆10Mar 14, 2024Updated last year
- zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements☆21Feb 18, 2026Updated last week
- Reference application for MIX Blockchain.☆14Dec 10, 2022Updated 3 years ago
- Generic implementation of the Number Theoretic Transform in the context of cryptography applications☆14Aug 13, 2025Updated 6 months ago
- Modded vLLM to run pipeline parallelism over public networks☆40May 20, 2025Updated 9 months ago
- ***Notice: This repository is no longer maintained.*** InterPlanetary NFT Extensions (IPNFTX)☆14Sep 16, 2021Updated 4 years ago
- Hoon Git implementation☆11Jan 30, 2026Updated last month
- Public Litepaper for $DINERO☆15Apr 6, 2023Updated 2 years ago
- Python SDK for FirstBatch: Real-time personalization using vectorDBs☆17Nov 26, 2023Updated 2 years ago
- Libp2p / IPFS terminal-based chat☆14Jan 6, 2023Updated 3 years ago
- ☆15Jun 12, 2024Updated last year
- Secure and performant zkEVM compiled from evmone via zkLLVM☆16Jan 3, 2024Updated 2 years ago
- Official CLI and Python SDK for Prime Intellect - access GPU compute, remote sandboxes, RL environments, and distributed training infrast…☆161Updated this week
- OpenDiLoCo: An Open-Source Framework for Globally Distributed Low-Communication Training☆562Jan 13, 2025Updated last year
- A tool to scrape the ipfs network for information on the number of peers in the network.☆21Mar 22, 2024Updated last year
- Manage ML configuration with pydantic☆16Updated this week
- Projects from the Succinct ZK Residency☆20Oct 23, 2024Updated last year
- A modern, flexible library for sending ethereum transactions.☆22Mar 4, 2023Updated 2 years ago
- Random research and simulations☆16Mar 22, 2019Updated 6 years ago
- SIMD quantization kernels☆93Sep 7, 2025Updated 5 months ago
- Merkle tree optimized for lists of sequentially appended data and its proofs☆40Dec 30, 2022Updated 3 years ago
- Nova: Recursive SNARKs without trusted setup☆44Aug 21, 2023Updated 2 years ago
- Anonymous Proof of Ethereum Address Ownership☆43Sep 23, 2024Updated last year
- A custom lightweight entrypoint for Solana programs.☆21Jul 5, 2024Updated last year
- Merkle-Mountain-Range library☆17Nov 14, 2022Updated 3 years ago
- PhonePi MCP enables seamless integration between desktop AI tools and your smartphone, providing 23+ direct actions including SMS messagi…☆31Apr 15, 2025Updated 10 months ago
- A zkML framework for ensuring the integrity of computational graphs using Circle STARK proofs☆54Sep 3, 2025Updated 5 months ago
- Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption☆48May 7, 2025Updated 9 months ago
- nilAI is the core offering of Nillion SecretLLM a TEE-based AI inference service.☆31Feb 16, 2026Updated 2 weeks ago
- ☆137Mar 20, 2025Updated 11 months ago
- [DEPRECATED] Textile Photos... for desktop!☆20Feb 26, 2020Updated 6 years ago
- Wraps the Urbit ship http api exposing it as an easy-to-use Rust crate.☆24Oct 24, 2021Updated 4 years ago
- Uniswap V4 Vanity Miner☆30May 31, 2025Updated 9 months ago
- Index data into queriable collections using IPLD Prolly Trees☆24Sep 12, 2024Updated last year