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☆29Updated 3 months ago
- An Awesome list for resources on algorithmic game theory☆163Updated 2 years ago
- Athena is a modern, practical language for proof engineering & natural deduction.☆73Updated last month
- Notes from the 278 semester class at Harvard☆19Updated 2 months ago
- Extracting the semantics of Noir to Lean for formal verification☆34Updated this week
- I like to learn new things☆10Updated 2 years ago
- ☆48Updated 2 years ago
- Zero-knowledge Sudoku using zk-SNARKs☆46Updated 3 years ago
- Making learning sh*t less annoying☆42Updated 7 months ago
- Python3 implementation of the Pippenger algorithm for fast multi-exponentiation☆22Updated 2 years ago
- This repository collects lecture notes on Cryptography that are publicly accessible.☆25Updated 3 years ago
- An implementation of the append-only log described in the Certificate Transparency specification (RFC 6962)☆36Updated 4 months ago
- ☆27Updated 3 years ago
- A web tool that helps you compare and visualize the performance of cryptographic operations☆91Updated last month
- A small repository containing the TeX code for the Succinct Proofs and Linear Algebra study session's slides and homework☆21Updated last year
- StableSims is an open-source project aimed at simulating MakerDAO's Dai stablecoin system, initially used for researching optimal incenti…☆55Updated 3 years ago
- A curated list of mechanism design resources and links.☆19Updated 4 years ago
- polynomial commitments from linear codes☆46Updated 8 months ago
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- Witness encryption for KZG openings☆28Updated 9 months ago
- We're living in Obfustopia☆27Updated 8 months ago
- A spot to add introductory resources for people getting into the space☆26Updated 4 years ago
- ☆28Updated 10 months ago
- A library for fast NTTs over the Goldilocks prime field☆81Updated 11 months ago
- ☆33Updated last year
- ☆21Updated 3 years ago
- A tool to extract gnark circuits defined in Go to Lean for formal verification.☆14Updated 5 months ago
- a simple implementation of the KZG polynomial commitment scheme☆25Updated 3 years ago
- https://geometryresearch.xyz/notebook/zkhack-groth-challenge☆49Updated 3 years ago
- World's first implementation of a (possibly) secure witness encryption scheme. Uses the CLT13 multilinear map.☆35Updated 3 years ago