narodnik / abstract-algebra-pinter-solutionsLinks
Solutions to exercises from "A Book of Abstract Algebra" by Charles C. Pinter
☆49Updated 2 years ago
Alternatives and similar repositories for abstract-algebra-pinter-solutions
Users that are interested in abstract-algebra-pinter-solutions are comparing it to the libraries listed below
Sorting:
- math notes under one roof☆32Updated 6 months ago
- ☆48Updated 2 years ago
- Notes from the 278 semester class at Harvard☆19Updated 5 months ago
- A basic implementation of Yao's Garbled Circuits☆30Updated 3 years ago
- An Awesome list for resources on algorithmic game theory☆163Updated 2 years ago
- https://eprint.iacr.org/2020/1516.pdf☆19Updated 2 years ago
- Code for Dynamic Pricing for Non-fungible Resources☆17Updated 3 years ago
- A curated list of mechanism design resources and links.☆20Updated 4 years ago
- Reference repository on Lattice-based Cryptography☆26Updated last year
- I like to learn new things☆10Updated 2 years ago
- ☆27Updated 3 years ago
- Extracting the semantics of Noir to Lean for formal verification☆33Updated this week
- Making learning sh*t less annoying☆42Updated 9 months ago
- Notes on cryptographic schemes and attacks☆25Updated 6 years ago
- ☆14Updated 3 months ago
- ☆30Updated 2 years ago
- StableSims is an open-source project aimed at simulating MakerDAO's Dai stablecoin system, initially used for researching optimal incenti…☆56Updated 3 years ago
- Zero-knowledge Sudoku using zk-SNARKs☆48Updated 3 years ago
- A spot to add introductory resources for people getting into the space☆26Updated 4 years ago
- Tutorial for designing and impementing a STARK-compatible VM, along with a fully functional Brainfark instruction set architecture, virtu…☆58Updated last year
- ☆21Updated 3 years ago
- A small repository containing the TeX code for the Succinct Proofs and Linear Algebra study session's slides and homework☆21Updated 2 months ago
- Athena is a modern, practical language for proof engineering & natural deduction.☆72Updated 3 months ago
- elliptic curve construction tool☆17Updated 2 years ago
- SIPP(Statistically sound Inner Pairing Product) verification in SNARK☆17Updated 2 years ago
- The V0 rust IMAP + SMTP server that reads email via imap, generates a zk proofs either locally or on an on-demand AWS machine with modal,…☆12Updated last year
- ☆28Updated 2 months ago
- Proving shortest paths with recursive SNARKs☆15Updated 2 years ago
- Proof contribute to github using zk☆26Updated 2 years ago
- Benchmarking Polynomial Commitments☆50Updated 2 years ago