{"id":34130832,"url":"https://github.com/actuallyachraf/zkstarks","last_synced_at":"2026-03-12T03:31:09.833Z","repository":{"id":57660333,"uuid":"235327942","full_name":"actuallyachraf/zkstarks","owner":"actuallyachraf","description":"A :pencil: literate and test-driven :bug: implementation of ZK-STARKs","archived":false,"fork":false,"pushed_at":"2020-04-18T14:55:18.000Z","size":258,"stargazers_count":42,"open_issues_count":0,"forks_count":10,"subscribers_count":2,"default_branch":"master","last_synced_at":"2025-12-17T11:26:31.755Z","etag":null,"topics":["starks","zk-starks","zkp","zkstarks"],"latest_commit_sha":null,"homepage":"","language":"Go","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/actuallyachraf.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null}},"created_at":"2020-01-21T11:36:19.000Z","updated_at":"2025-08-22T03:37:05.000Z","dependencies_parsed_at":"2022-09-07T06:23:06.459Z","dependency_job_id":null,"html_url":"https://github.com/actuallyachraf/zkstarks","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/actuallyachraf/zkstarks","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/actuallyachraf%2Fzkstarks","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/actuallyachraf%2Fzkstarks/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/actuallyachraf%2Fzkstarks/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/actuallyachraf%2Fzkstarks/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/actuallyachraf","download_url":"https://codeload.github.com/actuallyachraf/zkstarks/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/actuallyachraf%2Fzkstarks/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":30414264,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-03-12T00:40:14.898Z","status":"online","status_checked_at":"2026-03-12T02:00:07.260Z","response_time":114,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"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":["starks","zk-starks","zkp","zkstarks"],"created_at":"2025-12-15T00:39:12.210Z","updated_at":"2026-03-12T03:31:09.828Z","avatar_url":"https://github.com/actuallyachraf.png","language":"Go","funding_links":[],"categories":[],"sub_categories":[],"readme":"# zkstarks\n\nThis is a test-driven implementation of zkSTARKs based on the recent tutorials\nby [StarkWare](https://github.com/starkware-industries/stark101).\n\nTo follow trough the implementations are separated into files and their respective\ntests reading the files and following the Python example will be more fruitful\nto your understanding.\n\nYou can see an example of the execution log [here](EXAMPLE.md).\n\nThe package implements both the primitives necessary for proof generation\nand we use tests to generates a full uncompressed proof of the following statement :\n\n```sh\nI know a field element *X* such that the 1023rd element of the FibonacciSq sequence is 2338775057.\n```\n\n## Usage\n\nThe program will take some time to run polynomial interpolation and evaluation\nare the most costly operations\n\n```sh\ngo test -v -gcflags=all=-d=checkptr=0\n```\n\n* P.S : The checkptr flag crashes due to an unsafe conversion in Go's SHA3 implementation [issue](https://github.com/golang/go/issues/37644)\n\n## Notes\n\nDue to some intricacies and differences between languages, the hash values are different\nfrom this implementation and the starkware one, we also use sha3 (Keccak-FIPS)\ninstead of sha256.\nThe difference in hash values is due to the internal encodings (Values to Bytes)\nused by Python and Go.\n\n## References\n\n- [Arithmetization I](https://medium.com/starkware/arithmetization-i-15c046390862)\n- [Arithmetization II](https://medium.com/starkware/arithmetization-ii-403c3b3f4355)\n- [Scalable Transparent and Post-Quantum Proofs](https://eprint.iacr.org/2018/046)\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Factuallyachraf%2Fzkstarks","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Factuallyachraf%2Fzkstarks","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Factuallyachraf%2Fzkstarks/lists"}