{"id":17290510,"url":"https://github.com/squell/verified-x25519-for-avr","last_synced_at":"2026-07-18T03:12:34.651Z","repository":{"id":69267511,"uuid":"351763672","full_name":"squell/verified-x25519-for-avr","owner":"squell","description":"A verified, optimized implementation of X25519 for AVR microcontrollers","archived":false,"fork":false,"pushed_at":"2021-04-02T17:33:04.000Z","size":445,"stargazers_count":3,"open_issues_count":0,"forks_count":0,"subscribers_count":1,"default_branch":"master","last_synced_at":"2025-03-25T18:14:15.456Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"Assembly","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/squell.png","metadata":{"files":{"readme":"README","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,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2021-03-26T11:46:06.000Z","updated_at":"2021-12-20T21:35:29.000Z","dependencies_parsed_at":"2023-03-18T05:30:42.625Z","dependency_job_id":null,"html_url":"https://github.com/squell/verified-x25519-for-avr","commit_stats":null,"previous_names":[],"tags_count":1,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/squell%2Fverified-x25519-for-avr","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/squell%2Fverified-x25519-for-avr/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/squell%2Fverified-x25519-for-avr/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/squell%2Fverified-x25519-for-avr/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/squell","download_url":"https://codeload.github.com/squell/verified-x25519-for-avr/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":245710785,"owners_count":20659963,"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-15T10:38:26.109Z","updated_at":"2025-10-15T18:37:27.871Z","avatar_url":"https://github.com/squell.png","language":"Assembly","funding_links":[],"categories":[],"sub_categories":[],"readme":"why3/asm\n\tThe Why3 proof files for the assembly code (and associated files)\n\nwhy3/c\n\tThe Why3 proof files for the avr-gcc code (and associated files)\n\nx25519/\n\tThe modified X25519 implementation that was verified \n\n\tThis is based on the \"small\" version in:\n\t\thttps://munacl.cryptojedi.org/curve25519-atmega.shtml\n\n\tThe file 'patch' contains all changes made to the original\n\nAll proofs can be replayed by typing 'make'. This may some some time.\nProofs may fail due to timeout if your computer is significantly slower\nthan our machine:\n\n* Intel(R) Core(TM) i7-4770K CPU @ 3.50GHz, with 32GB RAM\n* GNU/Linux 10 (buster); amd64\n\nProofs can be inspected using the why3 ide (\"./why3 ide -L . -L .. file.mlw\");\nthis requires CVC3,CVC4,Z3,E and Why3. A tar-ball with binaries (+ sources)\nthat work on a Debian buster installation can be downloaded at:\n\n\thttp://cs.ru.nl/~M.Schoolderman/why3dist.tar.gz\n\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsquell%2Fverified-x25519-for-avr","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fsquell%2Fverified-x25519-for-avr","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsquell%2Fverified-x25519-for-avr/lists"}