Vinay Devabhakthuni
Project Ownerhttps://www.linkedin.com/in/vinay-devabhakthuni-b642bb90/
We propose a novel AGI hardware stack combining RISC-V microarchitectures, symbolic reasoning runtimes and zero-knowledge proof systems (RISC Zero). This enables decentralized, verifiable AGI agents to run on edge devices like phones, drones or sensors. Our stack supports MeTTa logic, outputs cryptographic proofs of decision-making and includes an SDK for SingularityNET integration. Optional neuromorphic hooks enable hybrid reasoning. All components are open-source, scalable and optimized for low-power, trustless deployment.
The purpose of this RFP is to identify, assess, and experiment with novel computing paradigms that could enhance AGI system performance and efficiency. By focusing on alternative architectures, this research aims to overcome computational bottlenecks in recursive reasoning, probabilistic inference, attention allocation, and large-scale knowledge representation. Bids are expected to range from $40,000 - $80,000.
In order to protect this proposal from being copied, all details are hidden until the end of the submission period. Please come back later to see all details.
Establish the foundational architecture for the AGI hardware stack. Select RISC-V hardware targets (real or emulated) and build a functional prototype of a symbolic reasoning runtime compatible with MeTTa-style logic.
A documented architecture design, working symbolic logic interpreter (basic MeTTa or equivalent) running on QEMU/emulator or low-power RISC-V board and initial logic test cases.
$20,000 USD
- Finalized architecture document (hardware + runtime + proof layer plan) - Symbolic interpreter runs on RISC-V (real/emulated) with ≥ 3 test cases - Code published in a versioned repository with initial documentation
Integrate the RISC Zero zkVM into the symbolic runtime layer, enabling cryptographic proof-of-execution for AGI decisions. The focus is on verifying that an agent followed its encoded logic.
A prototype integration between the runtime and RISC Zero zkVM, demonstrating generation of zero-knowledge proofs for logic evaluation paths e.g., A DAG traversal or rule execution.
$20,000 USD
- Functional proof-of-execution output from symbolic runtime - Proof size ≤ 150KB; generation time ≤ 5 seconds (for test cases) - Public test suite demonstrating ZKP behavior with example logic
Develop a QEMU/Docker-based simulation environment and an SDK that allows developers to package and deploy symbolic AGI logic to RISC-V edge targets. This includes CLI tools and integration hooks.
A developer SDK and CLI tool to deploy logic modules, a simulation testbed with runtime and proof layer integration and example workflows for deployment and testing.
$20,000 USD
- CLI tool enables logic packaging and deployment in simulation - QEMU/Docker testbed runs integrated stack (runtime + zkVM) - Documentation + 1 tutorial covering agent deployment and testing
Complete project with performance benchmarks, power profiling (if hardware used) and public release of all components. Include integration demo for SingularityNET-compatible agents and onboarding materials.
Performance report, public GitHub repository with MIT/Apache 2.0 license, final codebase, user docs and demo AGI agent. Optional delivery of a recorded demo or live walkthrough.
$20,000 USD
- Benchmark report: symbolic ops/sec, ZKP latency, resource usage - Code, SDK, and docs publicly accessible and reproducible - Demo agent integrated with SingularityNET container/interface
Reviews & Ratings
Please create account or login to write a review and rate.
Check back later by refreshing the page.
© 2025 Deep Funding
Join the Discussion (0)
Please create account or login to post comments.