narodnik / abstract-algebra-pinter-solutions
Solutions to exercises from "A Book of Abstract Algebra" by Charles C. Pinter
☆46Updated 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☆23Updated 5 months ago
- Reference repository on Lattice-based Cryptography☆24Updated 5 months ago
- C implementation of the CLT13 multilinear map☆14Updated 6 years ago
- ☆28Updated 3 years ago
- A formal verification of Linear PCP SNARKs.☆52Updated 8 months ago
- I like to learn new things☆10Updated 2 years ago
- ☆27Updated 5 months ago
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Updated 2 years ago
- Lean circuit DSL for AIR☆34Updated this week
- A tool to extract gnark circuits defined in Go to Lean for formal verification.☆12Updated last month
- A support library for working with zero knowledge cryptography in Lean 4.☆35Updated 3 weeks ago
- ☆26Updated last year
- Formalizing Polynomial Commitment Schemes in the Interactive Theorem Prover Isabelle.☆10Updated 2 weeks ago
- Benchmarks of all public available SNARK/STARK keccak circuits☆13Updated last year
- FRI low-degree-testing & polynomial commitment scheme☆24Updated 2 years ago
- ☆11Updated last year
- Describe elliptic curves☆35Updated 3 years ago
- Verification of the gnark implementation of the Semaphore protocol using Reilabs' extractor to Lean.☆14Updated last year
- This repository collects lecture notes on Cryptography that are publicly accessible.☆24Updated 3 years ago
- ☆39Updated last year
- Notes from the 278 semester class at Harvard☆18Updated 3 weeks ago
- Tutorial for designing and impementing a STARK-compatible VM, along with a fully functional Brainfark instruction set architecture, virtu…☆53Updated 8 months ago
- polynomial commitments from linear codes☆40Updated 3 months ago
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- Riemann Hypothesis in Lean☆41Updated 4 years ago
- Formally Verified SNARKs in Lean☆52Updated this week
- The official repository containing the documentation of the Sigma Protocols working group.☆16Updated last year
- Rust implementation of ElGamal encryption☆14Updated last year
- elliptic curve construction tool☆17Updated 2 years ago
- Elliptic Curve Fast Fourier Transform built on @arkworks-rs☆68Updated last year