{"id":19154993,"url":"https://github.com/argumentcomputer/sphinx","last_synced_at":"2026-04-02T17:16:26.027Z","repository":{"id":251402123,"uuid":"807707092","full_name":"argumentcomputer/sphinx","owner":"argumentcomputer","description":"An observatory fork of SP1","archived":false,"fork":false,"pushed_at":"2025-02-11T04:33:48.000Z","size":221576,"stargazers_count":68,"open_issues_count":29,"forks_count":7,"subscribers_count":5,"default_branch":"dev","last_synced_at":"2025-04-19T19:34:58.390Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"","language":"Rust","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"apache-2.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/argumentcomputer.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":"CONTRIBUTING.md","funding":null,"license":"LICENSE-APACHE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2024-05-29T16:09:42.000Z","updated_at":"2025-04-16T14:50:38.000Z","dependencies_parsed_at":"2024-08-29T21:25:05.033Z","dependency_job_id":"f893e317-e3f4-4100-ad47-280fdf9f5056","html_url":"https://github.com/argumentcomputer/sphinx","commit_stats":null,"previous_names":["argumentcomputer/sphinx"],"tags_count":8,"template":false,"template_full_name":null,"purl":"pkg:github/argumentcomputer/sphinx","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/argumentcomputer%2Fsphinx","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/argumentcomputer%2Fsphinx/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/argumentcomputer%2Fsphinx/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/argumentcomputer%2Fsphinx/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/argumentcomputer","download_url":"https://codeload.github.com/argumentcomputer/sphinx/tar.gz/refs/heads/dev","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/argumentcomputer%2Fsphinx/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":31311266,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-04-02T12:59:32.332Z","status":"ssl_error","status_checked_at":"2026-04-02T12:54:48.875Z","response_time":89,"last_error":"SSL_connect returned=1 errno=0 peeraddr=140.82.121.5:443 state=error: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2024-11-09T08:29:07.506Z","updated_at":"2026-04-02T17:16:26.009Z","avatar_url":"https://github.com/argumentcomputer.png","language":"Rust","funding_links":[],"categories":["Technical details","Rust"],"sub_categories":[],"readme":"# Sphinx\n\n![](./assets/sphinx.jpg)\n*[Natasha De Vere](https://www.flickr.com/photos/col_and_tasha/6060947569/in/photostream/), [Attribution (CC BY 2.0)](https://creativecommons.org/licenses/by/2.0/)*\n\nSphinx is an open-source zero-knowledge virtual machine (zkVM) that can prove\nthe execution of [RISC-V](https://en.wikipedia.org/wiki/RISC-V) bytecode, with\ninitial tooling support for programs written in\n[Rust](https://en.wikipedia.org/wiki/Rust_(programming_language)). Additionally,\nSphinx aims to support other reduction engines, including the evaluator for the\n[Lurk programming language](https://www.argument.xyz) , which could be extended\nto other functional languages like JavaScript or Lean.\n\n## Acknowledgements\n\nSphinx builds on the work of many organizations who have supported and\ncontributed to open-source software. These organizations, and many others not\nlisted, exemplify the principle that zero-knowledge cryptography is not a\nzero-sum game, and that when we make our work freely available for others to\nbuild on, the whole world benefits:\n\n- [Wormhole Foundation](https://wormhole.foundation/) who has generously\n  supported the project from the beginning both through awarding Argument a [contributor\n  grant](https://wormhole.foundation/blog/wormhole-foundation-awards-contributor-grant-to-lurk-lab-to-bring-trustless-transfers-to-wormhole-with-zk-proofs),\n  and through their broader ecosystem work.\n- [Succinct Labs](https://www.succinct.xyz), a fellow Wormhole ecosystem\n  [contributor](https://wormhole.foundation/blog/wormhole-foundation-awards-contributor-grant-to-supranational-for-wormhole-zk-hardware-acceleration),\n  whose [SP1](https://github.com/succinctlabs/sp1) zkVM developed a novel\n  approach to integrating custom precompile acceleration and integrated this\n  with work from Risc Zero, Valida, Polygon and others to create an excellent\n  packaged developer experience. Sphinx is a fork of SP1\n- [Risc Zero](https://www.risczero.com/), who developed and maintain the\n  [riscv32im-risc0-zkvm-elf](https://doc.rust-lang.org/nightly/rustc/platform-support/riscv32im-risc0-zkvm-elf.html)\n  Rust toolchain and related tooling.\n- [Delendum](https://delendum.xyz/writings/2023-05-10-zkvm-design.html) and [Lita Foundation](https://www.lita.foundation/), whose [Valida\n  zkVM](https://github.com/valida-xyz/valida) influenced the cross-table lookup\n  architecture, prover, borrow macro, and chip design of SP1.\n- [Polygon Zero](https://polygon.technology/about) whose\n  [Plonky3](https://github.com/Plonky3/Plonky3) STARK toolkit powers much of the\n  above projects.\n\nWe sincerely thank all these teams and projects, and we are committed to\nupstreaming our contributions wherever possible.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fargumentcomputer%2Fsphinx","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fargumentcomputer%2Fsphinx","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fargumentcomputer%2Fsphinx/lists"}