René's URL Explorer Experiment


Title: verifiable-computing · GitHub Topics · GitHub

Open Graph Title: Build software better, together

X Title: GitHub

Description: GitHub is where people build software. More than 150 million people use GitHub to discover, fork, and contribute to over 420 million projects.

Open Graph Description: GitHub is where people build software. More than 150 million people use GitHub to discover, fork, and contribute to over 420 million projects.

X Description: GitHub is where people build software. More than 150 million people use GitHub to discover, fork, and contribute to over 420 million projects.

Opengraph URL: https://github.com

X: github

direct link

Domain: github.com

route-pattern/topics/:topic_name(.:format)
route-controllertopics
route-actionshow
fetch-noncev2:8da5d6f6-e18a-8d06-55f0-37d97e253a6d
current-catalog-service-hash78339b992060a6a11548e4f18438b88c3ea1eec1b6705962d1fd145365fa2db1
request-id8E7C:26D44C:C37789:106B0FA:6A4C544B
html-safe-nonce2cc4ee911799989d8069dfc46c666fc33fdb07beef6541a04725f1b1ee7f3d2d
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiI4RTdDOjI2RDQ0QzpDMzc3ODk6MTA2QjBGQTo2QTRDNTQ0QiIsInZpc2l0b3JfaWQiOiI3MjA4NzIxNDM4MzYxODAxODAzIiwicmVnaW9uX2VkZ2UiOiJpYWQiLCJyZWdpb25fcmVuZGVyIjoiaWFkIn0=
visitor-hmac555f6065a0cbe3b469251d9835f0f7b1309a29afb5111a21998908a1b5eee334
github-keyboard-shortcutscopilot
google-site-verificationApib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I
octolytics-urlhttps://collector.github.com/github/collect
fb:app_id1401488693436528
apple-itunes-appapp-id=1477376905, app-argument=https://github.com/topics/verifiable-computing
og:site_nameGitHub
og:imagehttps://github.githubassets.com/assets/github-octocat-13c86b8b336d.png
og:image:typeimage/png
og:image:width1200
og:image:height620
twitter:site:id13334762
twitter:creatorgithub
twitter:creator:id13334762
twitter:cardsummary_large_image
twitter:imagehttps://github.githubassets.com/assets/github-logo-55c5b9a1fe52.png
twitter:image:width1200
twitter:image:height1200
hostnamegithub.com
expected-hostnamegithub.com
None3d11bb817438277de2a940854450e83a7d32b6aeb5014e9e6b00a6423900251c
turbo-cache-controlno-preview
turbo-body-classeslogged-out env-production page-responsive
disable-turbofalse
browser-stats-urlhttps://api.github.com/_private/browser/stats
browser-errors-urlhttps://api.github.com/_private/browser/errors
release14099438da5379150f15a2892474c7c7e6c0e55e
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://github.com/topics/verifiable-computing#start-of-content
https://github.com/
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Ftopics%2Fverifiable-computing
GitHub CopilotWrite better code with AIhttps://github.com/features/copilot
GitHub Copilot appDirect agents from issue to mergehttps://github.com/features/ai/github-app
MCP RegistryNewIntegrate external toolshttps://github.com/mcp
ActionsAutomate any workflowhttps://github.com/features/actions
CodespacesInstant dev environmentshttps://github.com/features/codespaces
IssuesPlan and track workhttps://github.com/features/issues
Code ReviewManage code changeshttps://github.com/features/code-review
GitHub Advanced SecurityFind and fix vulnerabilitieshttps://github.com/security/advanced-security
Code securitySecure your code as you buildhttps://github.com/security/advanced-security/code-security
Secret protectionStop leaks before they starthttps://github.com/security/advanced-security/secret-protection
Why GitHubhttps://github.com/why-github
Documentationhttps://docs.github.com
Bloghttps://github.blog
Changeloghttps://github.blog/changelog
Marketplacehttps://github.com/marketplace
View all featureshttps://github.com/features
Enterpriseshttps://github.com/enterprise
Small and medium teamshttps://github.com/team
Startupshttps://github.com/enterprise/startups
Nonprofitshttps://github.com/solutions/industry/nonprofits
App Modernizationhttps://github.com/solutions/use-case/app-modernization
DevSecOpshttps://github.com/solutions/use-case/devsecops
DevOpshttps://github.com/solutions/use-case/devops
CI/CDhttps://github.com/solutions/use-case/ci-cd
View all use caseshttps://github.com/solutions/use-case
Healthcarehttps://github.com/solutions/industry/healthcare
Financial serviceshttps://github.com/solutions/industry/financial-services
Manufacturinghttps://github.com/solutions/industry/manufacturing
Governmenthttps://github.com/solutions/industry/government
View all industrieshttps://github.com/solutions/industry
View all solutionshttps://github.com/solutions
AIhttps://github.com/resources/articles?topic=ai
Software Developmenthttps://github.com/resources/articles?topic=software-development
DevOpshttps://github.com/resources/articles?topic=devops
Securityhttps://github.com/resources/articles?topic=security
View all topicshttps://github.com/resources/articles
Customer storieshttps://github.com/customer-stories
Events & webinarshttps://github.com/resources/events
Ebooks & reportshttps://github.com/resources/whitepapers
Business insightshttps://github.com/solutions/executive-insights
GitHub Skillshttps://skills.github.com
Documentationhttps://docs.github.com
Customer supporthttps://support.github.com
Community forumhttps://github.com/orgs/community/discussions
Trust centerhttps://github.com/trust-center
Partnershttps://github.com/partners
View all resourceshttps://github.com/resources
GitHub SponsorsFund open source developershttps://github.com/sponsors
Security Labhttps://securitylab.github.com
Maintainer Communityhttps://maintainers.github.com
Acceleratorhttps://github.com/accelerator
GitHub Starshttps://stars.github.com
Archive Programhttps://archiveprogram.github.com
Topicshttps://github.com/topics
Trendinghttps://github.com/trending
Collectionshttps://github.com/collections
Enterprise platformAI-powered developer platformhttps://github.com/enterprise
GitHub Advanced SecurityEnterprise-grade security featureshttps://github.com/security/advanced-security
Copilot for BusinessEnterprise-grade AI featureshttps://github.com/features/copilot/copilot-business
Premium SupportEnterprise-grade 24/7 supporthttps://github.com/premium-support
Pricinghttps://github.com/pricing
Search syntax tipshttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
documentationhttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Ftopics%2Fverifiable-computing
Sign up https://github.com/signup?ref_cta=Sign+up&ref_loc=header+logged+out&ref_page=%2Ftopics%2Fverifiable-computing&source=header
Reloadhttps://github.com/topics/verifiable-computing
Reloadhttps://github.com/topics/verifiable-computing
Reloadhttps://github.com/topics/verifiable-computing
Explorehttps://github.com/explore
Topicshttps://github.com/topics
Trendinghttps://github.com/trending
Collectionshttps://github.com/collections
Eventshttps://github.com/events
GitHub Sponsorshttps://github.com/sponsors/explore
Star https://github.com/login?return_to=%2Ftopic.verifiable-computing
All 15 https://github.com/topics/verifiable-computing
Rust 6 https://github.com/topics/verifiable-computing?l=rust
Python 4 https://github.com/topics/verifiable-computing?l=python
JavaScript 2 https://github.com/topics/verifiable-computing?l=javascript
WebAssembly 1 https://github.com/topics/verifiable-computing?l=webassembly
Most stars https://github.com/topics/verifiable-computing?o=desc&s=stars
Fewest stars https://github.com/topics/verifiable-computing?o=asc&s=stars
Most forks https://github.com/topics/verifiable-computing?o=desc&s=forks
Fewest forks https://github.com/topics/verifiable-computing?o=asc&s=forks
Recently updated https://github.com/topics/verifiable-computing?o=desc&s=updated
Least recently updated https://github.com/topics/verifiable-computing?o=asc&s=updated
microsofthttps://github.com/microsoft
Spartanhttps://github.com/microsoft/Spartan
Star 866 https://github.com/login?return_to=%2Fmicrosoft%2FSpartan
Code https://github.com/microsoft/Spartan
Issues https://github.com/microsoft/Spartan/issues
Pull requests https://github.com/microsoft/Spartan/pulls
cryptography-libraryhttps://github.com/topics/cryptography-library
rust-libraryhttps://github.com/topics/rust-library
zksnarkshttps://github.com/topics/zksnarks
nizkhttps://github.com/topics/nizk
zero-knowledge-proofshttps://github.com/topics/zero-knowledge-proofs
verifiable-computinghttps://github.com/topics/verifiable-computing
ProjectZKMhttps://github.com/ProjectZKM
zkmhttps://github.com/ProjectZKM/zkm
Star 133 https://github.com/login?return_to=%2FProjectZKM%2Fzkm
Code https://github.com/ProjectZKM/zkm
Issues https://github.com/ProjectZKM/zkm/issues
Pull requests https://github.com/ProjectZKM/zkm/pulls
mipshttps://github.com/topics/mips
zkphttps://github.com/topics/zkp
verifiable-computinghttps://github.com/topics/verifiable-computing
zkvmhttps://github.com/topics/zkvm
Layr-Labshttps://github.com/Layr-Labs
eigensdk-rshttps://github.com/Layr-Labs/eigensdk-rs
Star 95 https://github.com/login?return_to=%2FLayr-Labs%2Feigensdk-rs
Code https://github.com/Layr-Labs/eigensdk-rs
Issues https://github.com/Layr-Labs/eigensdk-rs/issues
Pull requests https://github.com/Layr-Labs/eigensdk-rs/pulls
Discussions https://github.com/Layr-Labs/eigensdk-rs/discussions
rusthttps://github.com/topics/rust
sdkhttps://github.com/topics/sdk
ethereumhttps://github.com/topics/ethereum
avshttps://github.com/topics/avs
verifiable-computinghttps://github.com/topics/verifiable-computing
eigenlayerhttps://github.com/topics/eigenlayer
restakinghttps://github.com/topics/restaking
JaniAnttonenhttps://github.com/JaniAnttonen
proof_of_latencyhttps://github.com/JaniAnttonen/proof_of_latency
Star 7 https://github.com/login?return_to=%2FJaniAnttonen%2Fproof_of_latency
Code https://github.com/JaniAnttonen/proof_of_latency
Issues https://github.com/JaniAnttonen/proof_of_latency/issues
Pull requests https://github.com/JaniAnttonen/proof_of_latency/pulls
p2phttps://github.com/topics/p2p
vdfhttps://github.com/topics/vdf
dynamic-routinghttps://github.com/topics/dynamic-routing
verifiable-delay-functionshttps://github.com/topics/verifiable-delay-functions
verifiable-computinghttps://github.com/topics/verifiable-computing
LBruynehttps://github.com/LBruyne
ZKPediahttps://github.com/LBruyne/ZKPedia
Star 6 https://github.com/login?return_to=%2FLBruyne%2FZKPedia
Code https://github.com/LBruyne/ZKPedia
Issues https://github.com/LBruyne/ZKPedia/issues
Pull requests https://github.com/LBruyne/ZKPedia/pulls
cryptographyhttps://github.com/topics/cryptography
wikipediahttps://github.com/topics/wikipedia
zero-knowledgehttps://github.com/topics/zero-knowledge
zksnarkhttps://github.com/topics/zksnark
nizkhttps://github.com/topics/nizk
verifiable-computationhttps://github.com/topics/verifiable-computation
zkphttps://github.com/topics/zkp
verifiable-computinghttps://github.com/topics/verifiable-computing
plonkhttps://github.com/topics/plonk
zero-knowledge-proofhttps://github.com/topics/zero-knowledge-proof
groth16https://github.com/topics/groth16
interactive-proofshttps://github.com/topics/interactive-proofs
xQiratNLhttps://github.com/xQiratNL
VLDPhttps://github.com/xQiratNL/VLDP
Star 2 https://github.com/login?return_to=%2FxQiratNL%2FVLDP
Code https://github.com/xQiratNL/VLDP
Issues https://github.com/xQiratNL/VLDP/issues
Pull requests https://github.com/xQiratNL/VLDP/pulls
differential-privacyhttps://github.com/topics/differential-privacy
zero-knowledgehttps://github.com/topics/zero-knowledge
zksnarkhttps://github.com/topics/zksnark
verifiable-computinghttps://github.com/topics/verifiable-computing
shuffle-modelhttps://github.com/topics/shuffle-model
input-authenticityhttps://github.com/topics/input-authenticity
edgerun-techhttps://github.com/edgerun-tech
edgerunhttps://github.com/edgerun-tech/edgerun
Star 1 https://github.com/login?return_to=%2Fedgerun-tech%2Fedgerun
Code https://github.com/edgerun-tech/edgerun
Issues https://github.com/edgerun-tech/edgerun/issues
Pull requests https://github.com/edgerun-tech/edgerun/pulls
rusthttps://github.com/topics/rust
identityhttps://github.com/topics/identity
storagehttps://github.com/topics/storage
protocolhttps://github.com/topics/protocol
p2phttps://github.com/topics/p2p
wasmhttps://github.com/topics/wasm
self-hostinghttps://github.com/topics/self-hosting
proofshttps://github.com/topics/proofs
ui-toolkithttps://github.com/topics/ui-toolkit
edge-computinghttps://github.com/topics/edge-computing
local-firsthttps://github.com/topics/local-first
verifiable-computinghttps://github.com/topics/verifiable-computing
eldenparkhttps://github.com/eldenpark
verifiable-computinghttps://github.com/eldenpark/verifiable-computing
Star 1 https://github.com/login?return_to=%2Feldenpark%2Fverifiable-computing
Code https://github.com/eldenpark/verifiable-computing
Issues https://github.com/eldenpark/verifiable-computing/issues
Pull requests https://github.com/eldenpark/verifiable-computing/pulls
ethereumhttps://github.com/topics/ethereum
web3https://github.com/topics/web3
enshttps://github.com/topics/ens
verifiable-computinghttps://github.com/topics/verifiable-computing
veritaschainhttps://github.com/veritaschain
vap-spechttps://github.com/veritaschain/vap-spec
Star 1 https://github.com/login?return_to=%2Fveritaschain%2Fvap-spec
Code https://github.com/veritaschain/vap-spec
Issues https://github.com/veritaschain/vap-spec/issues
Pull requests https://github.com/veritaschain/vap-spec/pulls
frameworkhttps://github.com/topics/framework
regtechhttps://github.com/topics/regtech
tamper-evidenthttps://github.com/topics/tamper-evident
verifiable-computinghttps://github.com/topics/verifiable-computing
audit-trailshttps://github.com/topics/audit-trails
ai-governancehttps://github.com/topics/ai-governance
open-standardshttps://github.com/topics/open-standards
ai-provenancehttps://github.com/topics/ai-provenance
ai-audithttps://github.com/topics/ai-audit
cryptographic-logginghttps://github.com/topics/cryptographic-logging
veritaschainhttps://github.com/topics/veritaschain
Enigma-Memoryhttps://github.com/Enigma-Memory
enigma-memoryhttps://github.com/Enigma-Memory/enigma-memory
Star 0 https://github.com/login?return_to=%2FEnigma-Memory%2Fenigma-memory
Code https://github.com/Enigma-Memory/enigma-memory
Issues https://github.com/Enigma-Memory/enigma-memory/issues
Pull requests https://github.com/Enigma-Memory/enigma-memory/pulls
privacyhttps://github.com/topics/privacy
mcphttps://github.com/topics/mcp
cloudflare-workershttps://github.com/topics/cloudflare-workers
verifiable-computinghttps://github.com/topics/verifiable-computing
ai-memoryhttps://github.com/topics/ai-memory
WholesumNethttps://github.com/WholesumNet
clienthttps://github.com/WholesumNet/client
Star 0 https://github.com/login?return_to=%2FWholesumNet%2Fclient
Code https://github.com/WholesumNet/client
Issues https://github.com/WholesumNet/client/issues
Pull requests https://github.com/WholesumNet/client/pulls
Discussions https://github.com/WholesumNet/client/discussions
p2phttps://github.com/topics/p2p
verifiable-computinghttps://github.com/topics/verifiable-computing
risc0https://github.com/topics/risc0
prover-networkhttps://github.com/topics/prover-network
Cruxia-Labshttps://github.com/Cruxia-Labs
er1-spechttps://github.com/Cruxia-Labs/er1-spec
Star 0 https://github.com/login?return_to=%2FCruxia-Labs%2Fer1-spec
Code https://github.com/Cruxia-Labs/er1-spec
Issues https://github.com/Cruxia-Labs/er1-spec/issues
Pull requests https://github.com/Cruxia-Labs/er1-spec/pulls
json-schemahttps://github.com/topics/json-schema
ed25519https://github.com/topics/ed25519
attestationhttps://github.com/topics/attestation
ai-safetyhttps://github.com/topics/ai-safety
ai-agentshttps://github.com/topics/ai-agents
verifiable-computinghttps://github.com/topics/verifiable-computing
offline-verificationhttps://github.com/topics/offline-verification
AblemanMosaichttps://github.com/AblemanMosaic
ugkhttps://github.com/AblemanMosaic/ugk
Star 0 https://github.com/login?return_to=%2FAblemanMosaic%2Fugk
Code https://github.com/AblemanMosaic/ugk
Issues https://github.com/AblemanMosaic/ugk/issues
Pull requests https://github.com/AblemanMosaic/ugk/pulls
pythonhttps://github.com/topics/python
provenancehttps://github.com/topics/provenance
zero-dependencyhttps://github.com/topics/zero-dependency
governancehttps://github.com/topics/governance
audit-trailhttps://github.com/topics/audit-trail
hash-chainhttps://github.com/topics/hash-chain
software-assurancehttps://github.com/topics/software-assurance
verifiable-computinghttps://github.com/topics/verifiable-computing
fail-closedhttps://github.com/topics/fail-closed
cryptographic-verificationhttps://github.com/topics/cryptographic-verification
governance-kernelhttps://github.com/topics/governance-kernel
admissibilityhttps://github.com/topics/admissibility
ugkhttps://github.com/topics/ugk
receipt-chainhttps://github.com/topics/receipt-chain
constitutional-computinghttps://github.com/topics/constitutional-computing
Jeevan-04https://github.com/Jeevan-04
Invarianthttps://github.com/Jeevan-04/Invariant
Star 0 https://github.com/login?return_to=%2FJeevan-04%2FInvariant
Code https://github.com/Jeevan-04/Invariant
Issues https://github.com/Jeevan-04/Invariant/issues
Pull requests https://github.com/Jeevan-04/Invariant/pulls
tcghttps://github.com/topics/tcg
cryptographyhttps://github.com/topics/cryptography
reference-monitorhttps://github.com/topics/reference-monitor
trusted-computinghttps://github.com/topics/trusted-computing
runtime-securityhttps://github.com/topics/runtime-security
policy-enforcementhttps://github.com/topics/policy-enforcement
verifiable-computinghttps://github.com/topics/verifiable-computing
llm-governancehttps://github.com/topics/llm-governance
ai-accountabilityhttps://github.com/topics/ai-accountability
deterministic-aihttps://github.com/topics/deterministic-ai
deterministic-runtimehttps://github.com/topics/deterministic-runtime
cryptographic-audithttps://github.com/topics/cryptographic-audit
execution-kernelhttps://github.com/topics/execution-kernel
proof-of-executionhttps://github.com/topics/proof-of-execution
model-audit-trailhttps://github.com/topics/model-audit-trail
safe-llm-executionhttps://github.com/topics/safe-llm-execution
helixprojectai-codehttps://github.com/helixprojectai-code
HELIX-TTD-DBC-SUITCASE-v0.3https://github.com/helixprojectai-code/HELIX-TTD-DBC-SUITCASE-v0.3
Star 0 https://github.com/login?return_to=%2Fhelixprojectai-code%2FHELIX-TTD-DBC-SUITCASE-v0.3
Code https://github.com/helixprojectai-code/HELIX-TTD-DBC-SUITCASE-v0.3
Issues https://github.com/helixprojectai-code/HELIX-TTD-DBC-SUITCASE-v0.3/issues
Pull requests https://github.com/helixprojectai-code/HELIX-TTD-DBC-SUITCASE-v0.3/pulls
Discussions https://github.com/helixprojectai-code/HELIX-TTD-DBC-SUITCASE-v0.3/discussions
cryptographyhttps://github.com/topics/cryptography
yubikeyhttps://github.com/topics/yubikey
ed25519https://github.com/topics/ed25519
ai-safetyhttps://github.com/topics/ai-safety
human-in-the-loophttps://github.com/topics/human-in-the-loop
post-quantumhttps://github.com/topics/post-quantum
digital-identityhttps://github.com/topics/digital-identity
append-onlyhttps://github.com/topics/append-only
verifiable-computinghttps://github.com/topics/verifiable-computing
ai-governancehttps://github.com/topics/ai-governance
constitutional-aihttps://github.com/topics/constitutional-ai
agentic-aihttps://github.com/topics/agentic-ai
auditabilityhttps://github.com/topics/auditability
sovereign-aihttps://github.com/topics/sovereign-ai
structural-alignmenthttps://github.com/topics/structural-alignment
stateless-designhttps://github.com/topics/stateless-design
helix-ttdhttps://github.com/topics/helix-ttd
cryptographic-custodyhttps://github.com/topics/cryptographic-custody
no-orphaned-agentshttps://github.com/topics/no-orphaned-agents
reef-substratehttps://github.com/topics/reef-substrate
Curate this topic https://github.com/github/explore/tree/master/CONTRIBUTING.md?source=add-description-verifiable-computing
Learn more https://docs.github.com/en/articles/classifying-your-repository-with-topics
https://github.com
Termshttps://docs.github.com/site-policy/github-terms/github-terms-of-service
Privacyhttps://docs.github.com/site-policy/privacy-policies/github-privacy-statement
Securityhttps://github.com/security
Statushttps://www.githubstatus.com/
Communityhttps://github.community/
Docshttps://docs.github.com/
Contacthttps://support.github.com?tags=dotcom-footer

Viewport: width=device-width

URLs of crawlers that visited me.