j2kun / elliptic-curves-rationals
Code for the post "Elliptic Curves as Python Objects" implementing elliptic curve point addition over rational numbers.
☆20Updated 4 years ago
Alternatives and similar repositories for elliptic-curves-rationals:
Users that are interested in elliptic-curves-rationals are comparing it to the libraries listed below
- Articles and Papers from Consensus Research☆30Updated 9 years ago
- A Shadow plug-in that runs the Bitcoin Satoshi reference software☆25Updated 5 years ago
- Rigorous computation of the endomorphism ring of a Jacobian☆10Updated last week
- Python code and tests for the post 'Programming with Finite Fields'☆48Updated 4 years ago
- a C++ template library for zero knowledge proofs☆49Updated 9 years ago
- State-Transition Systems for Smart Contracts☆24Updated 4 years ago
- An example piece of code to publish to the 21 marketplace. Allows users to pay you bitcoin to run a traceroute.☆16Updated 8 years ago
- a C++ embedded domain specific language for zero knowledge proofs☆59Updated 8 years ago
- Bounds on divsteps iterations in safegcd☆54Updated 6 months ago
- Git mirror of http://hg.sagemath.org/sage-main/☆38Updated 12 years ago
- Experiments in high-assurance crypto.☆47Updated 2 years ago
- Economics games, inspired by David D. Friedman's☆12Updated 7 years ago
- ☆59Updated 2 years ago
- Basic proof-of-custody library☆7Updated 10 years ago
- A Formal Library as a Bitcoin Spin-Off☆17Updated 7 years ago
- ☆14Updated 7 years ago
- The secure, transparent, auditable, reliable electronic voting system☆14Updated 8 years ago
- The combined Python code for the post "Elliptic Curves over Finite Fields"☆16Updated 4 years ago
- [DEPRECATED] You should use web3.py instead.☆11Updated 8 years ago
- authenticated data structures, generically☆51Updated 8 years ago
- knot theory and computational algebra software☆37Updated 10 years ago
- An algorithm for generating random doubles.☆12Updated 8 years ago
- Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…☆36Updated 2 years ago
- Links to stuff arising from or related to the HACS workshop.☆34Updated 7 years ago
- A pure Python Bitcoin protocol implementation☆99Updated 7 years ago
- ☆10Updated 7 years ago
- An explainer on entropy☆66Updated last year
- Introduction to Secure Multi-Party Computations☆16Updated 6 years ago
- Hazmat ECC arithmetic for Cryptography.io☆28Updated 4 years ago
- FFT Explorations (basic implementation)☆10Updated 10 years ago