{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"header_chain","owner":"ZeroSync","isFork":false,"description":"A STARK proof of Bitcoin's header chain","allTopics":[],"primaryLanguage":{"name":"Cairo","color":"#ff4a48"},"pullRequestCount":0,"issueCount":1,"starsCount":41,"forksCount":5,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-29T13:08:15.066Z"}},{"type":"Public","name":"ZeroSync","owner":"ZeroSync","isFork":false,"description":"A STARK proof to sync a Bitcoin full node in an instant.","allTopics":["bitcoin","starks","zkproof"],"primaryLanguage":{"name":"Cairo","color":"#ff4a48"},"pullRequestCount":0,"issueCount":2,"starsCount":392,"forksCount":53,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-25T12:21:02.395Z"}},{"type":"Public","name":"header_chain_parser","owner":"ZeroSync","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":3,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-15T15:26:27.404Z"}},{"type":"Public","name":"zerosync-verifier","owner":"ZeroSync","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":6,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-04T14:02:08.010Z"}},{"type":"Public","name":"ZeroSync_design","owner":"ZeroSync","isFork":false,"description":"ZeroSync logos and social media banners","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-13T16:56:47.744Z"}},{"type":"Public","name":"sandstorm","owner":"ZeroSync","isFork":true,"description":"Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":19,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-19T08:45:08.750Z"}},{"type":"Public","name":"ministark","owner":"ZeroSync","isFork":true,"description":"🏃‍♂️💨 GPU accelerated STARK prover built on <a class=\"user-mention\" data-hovercard-type=\"organization\" data-hovercard-url=\"/orgs/arkworks-rs/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/arkworks-rs\">@arkworks-rs</a>\n","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":29,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-12T07:09:27.459Z"}},{"type":"Public","name":"sha256_cairo_goldilocks","owner":"ZeroSync","isFork":false,"description":"A cairo implementation of sha256 for the goldilocks field","allTopics":[],"primaryLanguage":{"name":"Cairo","color":"#ff4a48"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-08-03T08:36:28.428Z"}},{"type":"Public","name":"header_chain_data","owner":"ZeroSync","isFork":false,"description":"Bitcoin's header chain","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-24T17:54:48.844Z"}},{"type":"Public","name":"old_ZeroSync_wasm","owner":"ZeroSync","isFork":false,"description":"The Giza STARK verifier and a ZeroSync proof parser compiled to WebAssembly","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":8,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-16T03:23:32.486Z"}},{"type":"Public","name":"giza","owner":"ZeroSync","isFork":true,"description":"A Cairo VM prover implemented using Winterfell","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":17,"forksCount":15,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-05-04T15:08:39.660Z"}},{"type":"Public","name":"winterfell","owner":"ZeroSync","isFork":true,"description":"A STARK prover and verifier for arbitrary computations","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":167,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-04-07T13:47:37.394Z"}},{"type":"Public","name":"air-script","owner":"ZeroSync","isFork":true,"description":"A domain-specific language for writing AIR constraints for Miden VM","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":9,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-12-08T15:56:40.383Z"}}],"repositoryCount":13,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}