{"id":16678622,"url":"https://github.com/tarcieri/paradox","last_synced_at":"2025-04-09T21:33:29.529Z","repository":{"id":3857574,"uuid":"4942475","full_name":"tarcieri/paradox","owner":"tarcieri","description":"Experimental language for verifiable computation using zero-knowledge proofs","archived":false,"fork":false,"pushed_at":"2018-05-06T11:02:22.000Z","size":11,"stargazers_count":25,"open_issues_count":0,"forks_count":0,"subscribers_count":3,"default_branch":"master","last_synced_at":"2025-03-23T23:27:03.346Z","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/tarcieri.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null}},"created_at":"2012-07-08T00:12:19.000Z","updated_at":"2022-06-13T07:53:57.000Z","dependencies_parsed_at":"2022-09-15T23:53:10.181Z","dependency_job_id":null,"html_url":"https://github.com/tarcieri/paradox","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tarcieri%2Fparadox","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tarcieri%2Fparadox/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tarcieri%2Fparadox/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tarcieri%2Fparadox/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/tarcieri","download_url":"https://codeload.github.com/tarcieri/paradox/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":248115017,"owners_count":21050154,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","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-10-12T13:29:52.940Z","updated_at":"2025-04-09T21:33:29.502Z","avatar_url":"https://github.com/tarcieri.png","language":"Rust","readme":"# Paradox\n\nAn experimental language for verifiable computation using zero-knowledge proofs.\n\n## What is Paradox?\n\nThis project is an experiment which attempts to add a high-level programming\nlanguage interface to [Bellman], a library for building zkSNARKS implemented\nin Rust. Like Bellman, the Paradox compiler is also implemented in Rust.\n\nThe goal of Paradox is to allow use of Bellman without knowledge of the Rust\nlanguage itself. Instead, Paradox is a self-contained programming language\nwhich uses Bellman to build a constraint system that proves a program written\nin Paradox has been executed correctly.\n\nIdeally Paradox will not be coupled to Bellman specifically, but be able to\ntarget any [rank-1 constraint system]. However, Paradox also aims to make it\npossible to access \"gadgets\" which are unique to Bellman or other hypothetical\nParadox backends which provide things like group operations on elliptic curves,\nhash functions, and symmetric encryption.\n\n[Bellman]: https://blog.z.cash/bellman-zksnarks-in-rust/\n[rank-1 constraint system]: https://medium.com/@VitalikButerin/quadratic-arithmetic-programs-from-zero-to-hero-f6d558cea649\n\n## License\n\nCopyright (C) 2018 Tony Arcieri\n\nLicensed under the Apache License, Version 2.0 (the \"License\");\nyou may not use this file except in compliance with the License.\nYou may obtain a copy of the License at\n\n   http://www.apache.org/licenses/LICENSE-2.0\n\nUnless required by applicable law or agreed to in writing, software\ndistributed under the License is distributed on an \"AS IS\" BASIS,\nWITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.\nSee the License for the specific language governing permissions and\nlimitations under the License.\n","funding_links":[],"categories":[],"sub_categories":[],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ftarcieri%2Fparadox","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Ftarcieri%2Fparadox","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ftarcieri%2Fparadox/lists"}