narodnik / abstract-algebra-pinter-solutions
Solutions to exercises from "A Book of Abstract Algebra" by Charles C. Pinter
☆44Updated last year
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
- math notes under one roof☆19Updated 2 months ago
- Notes from the 278 semester class at Harvard☆18Updated 2 weeks ago
- Zero-knowledge Sudoku using zk-SNARKs☆44Updated 2 years ago
- StableSims is an open-source project aimed at simulating MakerDAO's Dai stablecoin system, initially used for researching optimal incenti…☆53Updated 3 years ago
- I like to learn new things☆10Updated 2 years ago
- An Awesome list for resources on algorithmic game theory☆158Updated 2 years ago
- ☆46Updated last year
- Athena is a modern, practical language for proof engineering & natural deduction.☆67Updated this week
- A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover☆61Updated last year
- ☆27Updated 3 months ago
- ☆54Updated 2 months ago
- EraVM implementation☆20Updated 4 months ago
- ☆37Updated 2 years ago
- Python3 implementation of the Pippenger algorithm for fast multi-exponentiation☆21Updated 2 years ago
- Code for Dynamic Pricing for Non-fungible Resources☆16Updated 2 years ago
- Deposit smart contract in Dafny☆22Updated 3 years ago
- A private payment system for Ethereum-based blockchains, with no trusted setup.☆17Updated 3 years ago
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Updated 2 years ago
- A support library for working with zero knowledge cryptography in Lean 4.☆34Updated 9 months ago
- A Prolog engine written in Solidity.☆16Updated 2 years ago
- A Symbolic Execution Tool for Cairo☆15Updated 2 years ago
- A web tool that helps you compare and visualize the performance of cryptographic operations☆88Updated 2 weeks ago
- Intel assembly finite field library generator☆12Updated last year
- Formalizing Polynomial Commitment Schemes in the Interactive Theorem Prover Isabelle.☆10Updated this week
- https://geometryresearch.xyz/notebook/zkhack-groth-challenge☆49Updated 2 years ago
- Tutorial for designing and impementing a STARK-compatible VM, along with a fully functional Brainfark instruction set architecture, virtu…☆52Updated 5 months ago
- Contracts and Circuits for 055 Artifacts☆10Updated 2 years ago
- A tool to extract gnark circuits defined in Go to Lean for formal verification.☆10Updated 5 months ago
- ☆41Updated last year
- This repository collects lecture notes on Cryptography that are publicly accessible.☆23Updated 2 years ago