polygon zkEVM
zkProverState MachinesThe zkProver follows modularity of design to the extent that, except for a few components, it is mainly a cluster of State Machines. It has a total of thirteen (13) St…
Read article
Explore
montgomery multiplication
montgomery spaceMontgomery multiplication works by first transforming the multipliers into Montgomery space, where modular multiplication can be performed cheaply, and then transforming the…
Read articlecircom
Arithmetic Operators| operator |example|explanation||—|:—:|:—:|—:|||a \b| Quotient of the integer division ||%|a % b| Remainder of the integer division |
Read articlekzg polynomial commitment
introductionKZG polynomial commitments was introduced by Kate, Zaverucha and Goldberg. It is called a commitment, because having sent the commitment value (an elliptic curve point) to someo…
Read articlebls12_381
introductionBLS12-381 is a pairing-friendly elliptic curve. Curve BLS12-381 was designed by Sean Bowe in early 2017 as the foundation for an upgrade to the Zcash protocol. It is both pairin…
Read articlesgx multi prover
references https://blog.csdn.net/mutourend/article/details/133586549?spm=1001.2014.3001.5502
Read articlezk bench
references csdn blog on zkbench
Read articleclassic implementations of arithematic of multi precision big integers
multiple-precision integer arithmeticIf \(b ≥ 2\) is an integer, then any positive integer \(a\) can be expressed uniquely as \(a = a_n \cdot b^n+a_{n−1}\cdot b^{n−1}+···+a_1 \cdot b+a_0\),…
Read articlecryptography arithmetic tricks
get the next m*SIZE 0-WARP_SIZE = 0xffffffffffffffe0eo = 0b11100000it will select multiples of WARP_SZnelems+WARP_SZ-1 will counter for the removed numbers by 00000 n will be [32, 64, 96, ……
Read articlecuda standard api & tools
API __syncthreads(): A thread’s execution can only proceed past a __syncthreads() after all threads in its block have executed the __syncthreads() __syncwarp() is an intrinsic function that…
Read article