☆137Jan 4, 2023Updated 3 years ago
Alternatives and similar repositories for blockchain-voting_2019
Users that are interested in blockchain-voting_2019 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Verify your NIPoPoWs efficiently, here☆11Dec 8, 2022Updated 3 years ago
- i-voting platform powered by Stellar blockchain☆19May 11, 2026Updated 2 weeks ago
- A privacy-preserving digital version of punch cards used in store loyalty programs☆11Apr 19, 2021Updated 5 years ago
- ☆12Sep 12, 2017Updated 8 years ago
- cgo wrappers around post-quantum cryptography primitives☆23Dec 3, 2018Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Solution to harden TLS security by storing private keys and delegating operations to the Trused Execution Environment☆13Oct 10, 2022Updated 3 years ago
- Decentralised Voting Scheme☆17Dec 5, 2021Updated 4 years ago
- primitives and protocols for implementing privacy preserving networks☆16Jan 18, 2019Updated 7 years ago
- For a better scientific drawing pipeline in MATLAB 😀 or Python☆16May 30, 2021Updated 5 years ago
- Cryptographic library written in JavaScript. Created at UZH as a part of an E-Voting project.☆14Jan 24, 2023Updated 3 years ago
- Schnorr signatures over big curves for Ledger devices. group arithmetic & key derivation for unusual elliptic curves.☆13Apr 9, 2020Updated 6 years ago
- Big integer arithmetic // secp256k1 & additional P256 ECC operations in circom☆15Dec 8, 2023Updated 2 years ago
- Basis Reduction Algorithms for Codes (LLL and more)☆29Feb 27, 2024Updated 2 years ago
- Dockers for all the online challenges on X-MAS CTF 2018☆16Dec 24, 2018Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- RuCTF 2019. Developed with ♥ by Hackerdom team☆13Nov 28, 2021Updated 4 years ago
- Golang (X)ChaCha20 stream cipher. (Mirror)☆60May 2, 2023Updated 3 years ago
- Create a web where web pages are published/shared in a P2P fashion. Authoring for everyone.☆23Aug 18, 2014Updated 11 years ago
- (Aragon 1) Content and source code for the Aragon Developer Portal☆30Mar 8, 2023Updated 3 years ago
- Haskell module for parsing of Go source code, forked from Hackage☆13Aug 8, 2018Updated 7 years ago
- Some realistic tabular datasets for testing (CSV)☆21Mar 7, 2018Updated 8 years ago
- Distributed process manager☆22Dec 22, 2016Updated 9 years ago
- Formalisation of the linear lambda calculus in Coq☆10Dec 2, 2018Updated 7 years ago
- Formalization in Coq of algorithms used in compilers for the Compiler.org project☆15Dec 22, 2018Updated 7 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- JJS Judging system☆12Apr 22, 2026Updated last month
- Reference implementations of post-quantum cryptographic primitives☆33Feb 16, 2026Updated 3 months ago
- Stronger and Faster Side-Channel Protections for CSIDH☆21Dec 20, 2020Updated 5 years ago
- Mixnet and Anonymous Communication Networks (ACN) research☆22Oct 7, 2019Updated 6 years ago
- I spent days on this personal golfing language a year ago, might as well try it out...☆10Dec 30, 2018Updated 7 years ago
- Malicious Two Party Computation Based on Garbled Circuits.☆12Sep 5, 2020Updated 5 years ago
- A plugin for presenting an IPFS gateway over i2p☆17Apr 25, 2020Updated 6 years ago
- Dockerized version of the POA BlockScout. Save time, don't build all those dependencies locally.☆16Oct 17, 2018Updated 7 years ago
- ☆17May 5, 2026Updated 3 weeks ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Notes from learning RISC-V☆12Updated this week
- A python implementation of Toward Vulnerability Detection for Ethereum Smart Contracts Using Graph-Matching Network.基于图神经网络的以太坊智能合约漏洞检测方法…☆26Jul 7, 2023Updated 2 years ago
- ☆17Aug 2, 2021Updated 4 years ago
- Dependently typed lambda calculus - A Simple Proof Assistant☆12Sep 3, 2020Updated 5 years ago
- authentication-flows-js is a powerful and highly customizable framework that covers all flows that any express-based authentication-serve…☆13Aug 14, 2024Updated last year
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Mar 26, 2026Updated 2 months ago
- Swoir is a Swift package for creating and verifying zero-knowledge Noir proofs.☆16Apr 16, 2026Updated last month