daira

R&D Engineering Manager at Electric Coin Company

Pinned Repositories

covid
COVID-related stuff
0 2 00
curvesearch
Elliptic curve search experiments
Language:Sage35 7 12
describe-curve
Describe elliptic curves
Language:Python35 4 00
halographs
Slides and notes for "Halo Optimizations and Constructing Graphs of Elliptic Curves"
47 7 010
pluto-eris
Generator and supporting evidence for security of the Pluto/Eris half-pairing cycle of elliptic curves
Language:Sage33 8 11
transhealth
Chemistry, Politics, Transphobia: Gender-affirming healthcare in the UK
4 2 00
zcash-security
Code and documentation supporting security analysis of Zcash
Language:Python1 2 00
simtfl
Experimental simulator for Trailing Finality Layer
Language:Python2 8 142
zcash
Zcash - Internet Money
Language:C++4.9k 370 3.8k2k
zips
Zcash Improvement Proposals
Language:HTML273 59 509156

daira's Repositories

daira/halographs
Slides and notes for "Halo Optimizations and Constructing Graphs of Elliptic Curves"
47 7 010
daira/describe-curve
Describe elliptic curves
Language:Python35 4 00
daira/pluto-eris
Generator and supporting evidence for security of the Pluto/Eris half-pairing cycle of elliptic curves
Language:Sage33 8 11
daira/tweedle
Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo
Language:Sage20 5 13
daira/r1cs
Presentations about R1CS
18 4 01
daira/jubjub
Supporting evidence for security of the Jubjub curve to be used in Zcash
Language:Sage16 4 19
daira/zkproof
ZKProof SNARK-friendly primitives working group document
Language:TeX10 5 0
daira/zcon
Zcon presentations
6 2 0
daira/pasta-hadeshash
Fork of https://extgit.iaik.tugraz.at/krypto/hadeshash.git to generate Poseidon parameters for Pasta fields
Language:Sage5 3 02
daira/scaling
Amsterdam scaling presentation
4 4 01
daira/zcash-migration
Simulates the proposed strategy for migrating Zcash Sprout funds to Sapling
Language:Python1
daira/algebra
Libraries for finite field, elliptic curve, and polynomial arithmetic
Language:Rust1 0
daira/api-guidelines
Rust API guidelines
2 0
daira/bellman
zk-SNARK library.
Language:Rust0 0
daira/circom
Circuit compiler for zkSNARKs
daira/costmodel
Cost model for Halo 2
Language:Python
daira/curves
Implementations of popular elliptic curves
Language:Rust1 0
daira/dear-github-2.0
📨 An open letter to GitHub from the maintainers of open source projects
daira/jumble
F4Jumble algorithm
Language:Python2 0
daira/powersoftau-attestations
1 0
daira/RFIA-bill
0 0
daira/rust
Empowering everyone to build reliable and efficient software.
Language:Rust1 0
daira/rustc-dev-guide
A guide to how rustc works and how to contribute to it.
daira/slips
SatoshiLabs Improvement Proposals
Language:Python0 0
daira/spartan-verifier
EXPERIMENTAL Spartan verifier. Do not use in real projects.
daira/tl-docs
Documentation for the tl libraries
Language:Python1 0
daira/univalue
High performance RAII C++ JSON library and universal value object class
daira/zebra
A consensus-compatible Zcash node client written in Rust. 🦓
Language:Rust
daira/zecwallet-lite
Zecwallet-Lite is z-Addr first lightwallet for Zcash.
Language:JavaScript1 0
daira/zip317_simulator
Simulator for ZIP 317 block template construction
Language:Python2 0