JohnLCaron / electionguard-javaLinks
A port of electionguard-python to Java.
☆11Updated 2 years ago
Alternatives and similar repositories for electionguard-java
Users that are interested in electionguard-java are comparing it to the libraries listed below
Sorting:
- This repository contains a specification describing the ElectionGuard software development kit, including cryptographic protocols and imp…☆27Updated last year
- A python module implementing the ElectionGuard specification. This implementation can be used to conduct End-to-End Verifiable Elections …☆167Updated 2 years ago
- The full CommonAccord.org website, including many of the sub repos.☆48Updated this week
- Clone of iris-reasoner (http://iris-reasoner.org) from sourceforge☆11Updated 9 years ago
- Obsidian language development☆80Updated last month
- Linked Data Capabilities reference implementation☆27Updated 7 months ago
- WORK ITEM: Authorization Capabilities (ZCAP) specification☆33Updated 4 months ago
- Verifiable Credentials Use Cases☆54Updated last week
- RWOT9 in Prague, The Czech Republic (September 2019)☆117Updated 8 months ago
- Handshake developer documentation site☆83Updated 11 months ago
- An Implementation of the Fully Homomorphic Smart-Vercauteren Cryptosystem☆45Updated 10 years ago
- Interplanetary Identifiers - Implementation of the DID ( decentralized identifiers) specification over the IPFS (Interplanetary File Sys…☆62Updated 6 years ago
- Site for the open source, community-driven group of dev and organizations working toward an interoperable, decentralized identity ecosyst…☆108Updated 2 weeks ago
- Generic implementation of ASiC-E archives in accordance with ETSI 102 918 v1.3.1.☆31Updated 2 months ago
- Bamboo: a morphing smart contract language☆37Updated 7 years ago
- DEPRECATED Chrome and Firefox extension for signing with your eID on the web☆207Updated 2 years ago
- Address book-like application to manage contact information.☆40Updated 7 years ago
- A client for managing Decentralized Identifiers☆44Updated 3 years ago
- Implements an encryptable machine (shapeCPU Java)☆11Updated 10 years ago
- An EXPERIMENTAL charter for the W3C Decentralized Identifier Working Group☆10Updated 4 years ago
- BLONDiE - Blockchain Ontology with Dynamic Extensibility☆23Updated 6 years ago
- ZKPDL & cashlib: A language-based system for zero-knowledge proofs and electronic cash (e-cash).☆54Updated 9 years ago
- The U-Prove Crypto SDK V1.1 (C# Edition) implements the U-Prove Cryptographic Specification V1.1 Revision 3. This SDK was developed by Mi…☆30Updated 2 years ago
- Chainspace is a distributed ledger platform for high-integrity and transparent processing of transactions within a decentralized system.☆57Updated 6 years ago
- Emerging Citizen Technology☆25Updated 5 years ago
- This repository implements the ElectionGuard API using C. It includes all major functions of the ElectionGuard SDK, including key ceremon…☆52Updated 5 years ago
- A Lem formalization of EVM and some Isabelle/HOL proofs☆243Updated 3 years ago
- RWOT8 in Barcelona, Spain (March 2019)☆130Updated 3 years ago
- A Lem formalization of EVM and some Isabelle/HOL proofs☆33Updated 5 years ago
- A system for verifying outsourced computations. This repo always contains the latest release of the Pepper system.☆65Updated 6 years ago