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☆30Updated 5 months ago
- ☆48Updated 2 years ago
- SIPP(Statistically sound Inner Pairing Product) verification in SNARK☆17Updated 2 years ago
- Extracting the semantics of Noir to Lean for formal verification☆34Updated this week
- Notes from the 278 semester class at Harvard☆19Updated 3 months ago
- https://eprint.iacr.org/2020/1516.pdf☆19Updated 2 years ago
- A tool to extract gnark circuits defined in Go to Lean for formal verification.☆14Updated 6 months ago
- Solves systems of polynomial equations.☆29Updated last month
- Code for Dynamic Pricing for Non-fungible Resources☆17Updated 2 years ago
- polynomial commitments from linear codes☆46Updated 10 months ago
- Athena is a modern, practical language for proof engineering & natural deduction.☆73Updated 2 months ago
- ☆28Updated last month
- ☆30Updated 2 years ago
- A small repository containing the TeX code for the Succinct Proofs and Linear Algebra study session's slides and homework☆21Updated last month
- ☆33Updated 2 years ago
- Benchmarking Polynomial Commitments☆50Updated 2 years ago
- ☆27Updated 3 years ago
- Private treasuries enabled by ECDH and ZKPs☆17Updated 2 years ago
- A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program execution…☆38Updated 2 years ago
- Making learning sh*t less annoying☆42Updated 8 months ago
- Rust library for practical time-lock encryption using `drand` threshold network☆41Updated 2 years ago
- ☆15Updated last month
- 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
- ☆12Updated 2 years ago
- [wip] implementing origami VDF☆13Updated 2 years ago
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated 2 years ago
- 👩💻 A crypto reading list of reading lists☆12Updated 3 years ago
- 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 web tool that helps you compare and visualize the performance of cryptographic operations☆91Updated 3 months ago
- Polyexen demo of Plonkish Arithmetiation Format (Plaf) on the zkevm-circuits☆31Updated last year