nzcp-js
| nl-covid19-coronacheck-idemix | nzcp-js | |
|---|---|---|
| 1 | 5 | |
| 6 | 36 | |
| - | - | |
| 0.0 | 1.8 | |
| over 1 year ago | about 2 years ago | |
| Go | TypeScript | |
| European Union Public License 1.2 | MIT License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
nl-covid19-coronacheck-idemix
-
Ask HN: What technology is “cutting edge” in 2022?
The documentation isn't that great, but the implementation is here:
https://github.com/minvws/nl-covid19-coronacheck-idemix
We use IDEMIX to create a unique proof per display of the QR code. So you cannot track a person as they use their QR code (if you have control of a network of scanner apps).
nzcp-js
-
Ask HN: What technology is “cutting edge” in 2022?
I'm the author of one of the open source NZ vaccination passport libs. I'm pretty familiar with the specification and afaik I know theres no use of ZKP's. Its a fairly standard public/private key cryptography. Happy to be proven wrong though!
Here's the spec: https://nzcp.covid19.health.nz/ and our implementation https://github.com/vaxxnz/nzcp-js
- NZCP.js - A verification library for COVID-19 Vaccine Passes in New Zealand
-
We've been developing a free, open-source app to verify NZ COVID passes. It's now available for Android!
It's not even slightly illegal, it's based on the government's open-source technical specification and nzcp-js. They also have not been 'shutting down other apps', wdym
- Open Source SDK for New Zealand Covid Passes
What are some alternatives?
coq - Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
nzcp4j - New Zealand Covid Pass for Java
nzcp-rust - An implementation of NZ COVID Pass verification written in Rust
VaxVerifyNZ - Proof-of-concept mobile app for verifying NZ vaccination certificates
Covid19 - COVID 19 - React Native app for displaying your country's stats on Corona Virus available on Android, iOS and Web
nzcovidpass-spec
validator-list - List of known NZ COVID Pass validators
vaxxed-as-app
Agda - Agda is a dependently typed programming language / interactive theorem prover.
CoVaxxy - Global collection of English Twitter posts about COVID-19 vaccines