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
- Economics games, inspired by David D. Friedman's☆12Updated 7 years ago
- Articles and Papers from Consensus Research☆30Updated 9 years ago
- Cayley Dickson algebra implementation in python☆12Updated 6 years ago
- Combinatorial tricks to enumerate regular expressions in closed-form.☆33Updated 8 years ago
- A MiniKanren in Python☆35Updated 8 years ago
- The combined Python code for the post "Elliptic Curves over Finite Fields"☆16Updated 4 years ago
- A system for computational category theory and applications☆38Updated 8 years ago
- a C++ template library for zero knowledge proofs☆49Updated 9 years ago
- authenticated data structures, generically☆50Updated 8 years ago
- sorear's Metamath system engine - version 3 Rust☆24Updated last year
- A low-level bitcoin library written in standard C.☆118Updated 8 years ago
- SRI International's AIC PRAiSE (Probabilistic Reasoning As Symbolic Evaluation) Library (for Java 1.8+)☆12Updated 4 years ago
- DeepAlgebra☆25Updated 7 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
- Basic proof-of-custody library☆7Updated 10 years ago
- ☆59Updated 2 years ago
- a C++ embedded domain specific language for zero knowledge proofs☆59Updated 8 years ago
- ☆58Updated 7 years ago
- Signature scheme submitted to NIST's Post-Quantum Cryptography Project☆28Updated 7 years ago
- State-Transition Systems for Smart Contracts☆24Updated 4 years ago
- An Operating Function☆329Updated 10 years ago
- FFT Explorations (basic implementation)☆10Updated 10 years ago
- An authenticated data structure based on a red-black tree.☆54Updated 9 years ago
- A simple Brainfuck JIT written as a learning exercise.☆15Updated 5 years ago
- Examples of Automatic Differentiation (AD) in many different languages and systems☆26Updated 6 years ago
- A DSL for generating GR(1) problems☆11Updated 3 years ago
- Blockchain Technology for the Working Mathematician☆24Updated 7 years ago
- A Shadow plug-in that runs the Bitcoin Satoshi reference software☆25Updated 5 years ago
- [DEPRECATED] You should use web3.py instead.☆11Updated 8 years ago