Skip to content
View kingfathur's full-sized avatar
0 followers · 2 following

Block or report kingfathur

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Stars

Showing results

inference-labs-inc / n-ary_notebooks

Notebooks covering mathematical analysis of ZKP building blocks, algorithm implementations of various proof systems, and protocol optimization techniques.

Jupyter Notebook 1,409 20 Updated Jan 20, 2026

inference-labs-inc / JSTprove

JSTprove - Fast, verifiable AI

Rust 971 14 Updated Apr 23, 2026

inference-labs-inc / dsperse

Distributed zkML

Rust 988 12 Updated May 25, 2026

inference-labs-inc / inference-network

Proof of Inference - Trustless AI verification

Solidity 1,482 27 Updated Dec 11, 2025

inference-labs-inc / zkml-blueprints

Mathematical formulations and circuit designs for zero-knowledge proofs.

1,536 24 Updated Jan 28, 2026

inference-labs-inc / subnet-2

Verifiable inference on Bittensor

Rust 2,113 121 Updated Jun 9, 2026

warden-protocol / wardenprotocol

Monorepo for the Warden Protocol.

TypeScript 2,171 188 Updated Jun 1, 2026

tangle-network / tangle

The Layer 1 blockchain for on-demand services.

Rust 361 35 Updated Dec 4, 2025

tangle-network / blueprint

A powerful toolkit for building distributed systems and infrastructure as code.

Rust 340 10 Updated Jun 15, 2026

deepseek-ai / DeepSeek-R1

92,000 11,716 Updated Jun 27, 2025