{"id":19390356,"url":"https://github.com/nucypher/logproof.jl","last_synced_at":"2025-02-24T20:59:21.273Z","repository":{"id":101544207,"uuid":"212026647","full_name":"nucypher/LogProof.jl","owner":"nucypher","description":"Prototype implementation of Short Discrete Log Proofs (https://eprint.iacr.org/2019/057)","archived":false,"fork":false,"pushed_at":"2020-05-22T00:08:25.000Z","size":2280,"stargazers_count":2,"open_issues_count":1,"forks_count":1,"subscribers_count":3,"default_branch":"master","last_synced_at":"2025-01-07T09:43:15.741Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"Julia","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"gpl-3.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/nucypher.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE.md","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":"2019-10-01T06:25:22.000Z","updated_at":"2022-10-27T06:47:07.000Z","dependencies_parsed_at":"2023-06-05T09:45:06.076Z","dependency_job_id":null,"html_url":"https://github.com/nucypher/LogProof.jl","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/nucypher%2FLogProof.jl","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/nucypher%2FLogProof.jl/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/nucypher%2FLogProof.jl/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/nucypher%2FLogProof.jl/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/nucypher","download_url":"https://codeload.github.com/nucypher/LogProof.jl/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":240557489,"owners_count":19820358,"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-11-10T10:20:30.101Z","updated_at":"2025-02-24T20:59:21.243Z","avatar_url":"https://github.com/nucypher.png","language":"Julia","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Log Proofs for RLWE ciphertexts\n\nMaster branch: [![CircleCI](https://circleci.com/gh/nucypher/LogProof.jl/tree/master.svg?style=svg)](https://circleci.com/gh/nucypher/LogProof.jl/tree/master) [![codecov](https://codecov.io/gh/nucypher/LogProof.jl/branch/master/graph/badge.svg)](https://codecov.io/gh/nucypher/LogProof.jl)\n\nThis is a prototype implementation of the paper by R. Pino, V. Lyubashevsky, and G. Seiler, \"Short Discrete Log Proofs for FHE and Ring-LWE Ciphertexts,\" [eprint 2019/057](https://eprint.iacr.org/2019/057).\n\nThe current implementation uses a pair of coroutines to simulate two parties without creating data structures to save intermediate state (see `src/actors.jl`).\nAlternatively, `_synchronous` functions can be used to run both prover and verifier in one thread (makes it easier to profile and debug).\nA simple usage example can be found in `examples/example.jl`, demonstrating the usage of the proof itself and the example encryption scheme from Section 1.5 of the paper:\n\n```julia\nrng = MersenneTwister(123)\n\n# 8191 - the example encryption scheme modulus\n# 4 - bound on noises used for encryption\n# 2 - bound on the message\n# 1024 - polynomial degree\nparams = EncryptionParams(8191, 4, 2, 1024)\n\nskey = SecretKey(rng, params)\npkey = PublicKey(rng, skey)\n\nm = rand_message(rng, params)\n\n# Encrypt the message\npk, ct = encrypt(rng, pkey, m)\n\n# Run an encryption proof synchronously (prover and verifier are executed one at a time)\nmain_synchronous(rng, pk, pk.verifier_knowledge)\n\n# decrypt the message\nm_back = decrypt(skey, ct)\n\n@assert m == m_back\n```\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fnucypher%2Flogproof.jl","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fnucypher%2Flogproof.jl","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fnucypher%2Flogproof.jl/lists"}