Daira-Emma Hopwood

halographs. Slides and notes for "Halo Optimizations and Constructing Graphs of Elliptic Curves"

curvesearch. Elliptic curve search experiments

describe-curve. Describe elliptic curves

pluto-eris. Generator and supporting evidence for security of the Pluto/Eris half-pairing cycle of elliptic curves

plonk-standard. Draft documents for standardization of Plonkish arithmetization

tweedle. Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo

r1cs. Presentations about R1CS

jubjub. Supporting evidence for security of the Jubjub curve to be used in Zcash

zkproof. ZKProof SNARK-friendly primitives working group document

zcon. Zcon presentations

zcash-lean. An in-progress formal verification of the Zcash protocol

pasta-hadeshash. Fork of https://extgit.iaik.tugraz.at/krypto/hadeshash.git to generate Poseidon parameters for Pasta fields

tfl-book. A Trailing Finality Layer book for a proposed Zcash protocol change.

zcon0. Presentations about zero-knowledge proofs

scaling. Amsterdam scaling presentation

transhealth. Chemistry, Politics, Transphobia: Gender-affirming healthcare in the UK

zcash-security. Code and documentation supporting security analysis of Zcash

simtfl. Experimental simulator for Trailing Finality Layer

pycryptopp. Python bindings to the Crypto++ library

dualpowsim. Undocumented Python 3 programs for simulating dual PoW and confirmation times for Zcash. Please report issues at https://github.com/zcash/zcash/issues

zcash-migration. Simulates the proposed strategy for migrating Zcash Sprout funds to Sapling

txaws. Forklift of txaws 0.2.1 to track changes made by leastauthority.com. Note: you may want oubiwann/txaws instead.

tahoe-lafs. The Tahoe-LAFS decentralized secure file store.

nsm-simulator. Network Sustainability Mechanism simulator