/explore
|
You are here 
|
www.jeremykun.com | ||
| | | | |
vitalik.eth.limo
[AI summary] An accessible technical introduction explaining how zk-SNARKs use polynomials, finite fields, and polynomial commitments to create succinct and private zero-knowledge proofs. |
|
| | | | | ||
| | | | |
qchu.wordpress.com
In this post we'll describe the representation theory of theadditive group scheme$latex \mathbb{G}_a$ over a field $latex k$. The answer turns out to depend dramatically on whether or not $latex k$ has characteristic zero. Preliminaries over an arbitrary ring (All rings and algebras are commutative unless otherwise stated.) The additive group scheme $latex \mathbb{G}_a$ over... |
|
| | | | | ||
| | | | |
xorshammer.com
There are a number of applications of logic to ordinary mathematics, with the most coming from (I believe) model theory. One of the easiest and most striking that I know is called Ax's Theorem. Ax's Theorem: For all polynomial functions $latex f\colon \mathbb{C}^n\to \mathbb{C}^n$, if $latex f$ is injective, then $latex f$ is surjective. Very... |
|
| | | | | ||
| | | | |
uncommongenders.home.blog
There is lettragender! -Admin Opal |
|
| | | |||
