Determinant / phd-dissertationLinks
My Cornell PhD dissertation: Scaling the Infrastructure of Practical Blockchain Systems
☆15Updated 3 years ago
Alternatives and similar repositories for phd-dissertation
Users that are interested in phd-dissertation are comparing it to the libraries listed below
Sorting:
- ☆15Updated 4 years ago
- In this repository I simulate the work of the recently proposed Dynamic Market Maker, which proposes dynamic variations in the determinat…☆9Updated 4 years ago
- Batch verifier for zkSNARKs☆10Updated 2 years ago
- An O(N\log{N}) time algorithm for computing all N proofs fast in the Pointproofs VC. Also, the O(N\log{N}) time Feist-Khovratovich algori…☆13Updated 4 years ago
- TxChain: Efficient Cryptocurrency Light Clients via Contingent Transaction Aggregation☆14Updated 2 years ago
- ☆15Updated 4 years ago
- Khalil, R. and Dulay, N. 2021. 3rd Conference on Blockchain Research & Applications for Innovative Networks and Services. Adaptive layer…☆10Updated 4 years ago
- We implement Delegatable Anonymous Credentials using Mercurial Signatures☆21Updated 3 years ago
- TLA+ specifications of various protocols used by wallets in the nitro protocol.☆18Updated 5 years ago
- LaTeX beamer slides for aggregatable subvector commitments (aSVC) talk☆10Updated 4 years ago
- Cross-chain atomic swap protocol between Monero and Ethereum☆14Updated 3 years ago
- fft impl for ff::Field☆16Updated last year
- Verify your NIPoPoWs efficiently, here☆11Updated 2 years ago
- Numerology: Optimized ECC arithmetic library for secp256k1 in Solidity☆12Updated 6 years ago
- ☆12Updated 4 years ago
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Updated 2 years ago
- Web Assembly low level implementation of pairing friendly curves.☆15Updated last year
- ☆22Updated 3 years ago
- Joint effort with Matter Labs (https://matter-labs.io/) to make a ZK-friendly hash accumulator☆12Updated 6 years ago
- Algorand's reference implementation of bls signature scheme☆14Updated 4 years ago
- Hackathon project for Snarky workshop.☆11Updated 6 years ago
- ☆22Updated 7 months ago
- Rust implementation of {t,n}-threshold ECDSA (elliptic curve digital signature algorithm).☆10Updated 6 years ago
- ☆15Updated 6 years ago
- Proof of concept snark prover for the minroot vdf.☆11Updated 4 years ago
- A library for decentralized private computation☆19Updated 3 years ago
- ☆9Updated 5 years ago
- Provisions: Privacy-preserving proofs of solvency for Bitcoin☆14Updated 9 years ago
- A Zero-Knowledge Toolkit☆14Updated 4 years ago
- Signature schemes from the paper "Signature Schemes and Anonymous Credentials from Bilinear Maps" by Jan Camenisch and Anna Lysyanskaya☆12Updated 3 years ago