mratsim/constantine
Constantine: modular, high-performance, zero-dependency cryptography stack for verifiable computation, proof systems and blockchain protocols.
NimNOASSERTION
Issues
- 4
Low-level: discrepancy between field arithmetic performance and elliptic curve performance
#446 opened by mratsim - 0
- 4
Build failing on MacOS
#404 opened by NickSneo - 2
LLVM/Nvidia GPU backend: LLVM 17 broke everything
#438 opened by mratsim - 1
- 4
- 0
Per-curve towering
#428 opened by mratsim - 0
- 1
Custom Vec/Seq with destructors
#421 opened by mratsim - 0
Parallelize IPA for Verkle Trees
#420 opened by mratsim - 0
Verkle Trees: Faster subgroup checks for Banderwagon via vartime Legendre symbol
#419 opened by mratsim - 2
Tracking compiler inefficiencies
#357 opened by mratsim - 0
Optimize MSM for small scalars
#416 opened by mratsim - 4
Bandersnatch / Banderwagon endomorphism acceleration
#298 opened by mratsim - 0
Optimize MSM for Bandersnatch/wagon and Verkle Tries
#415 opened by mratsim - 1
Banderwagon: clearing cofactors
#378 opened by mratsim - 1
Ethereum Virtual Machine (EVM) - primitives
#328 opened by mratsim - 8
Another G2 MSM wrong result
#366 opened by bkomuves - 0
EIP-2537: Potential memory leak in G1 and G2 MSM
#384 opened by mratsim - 0
MSM - optimized MSM wrong result in IPA verifier.
#390 opened by mratsim - 2
Followup: Go API for BLS signatures
#386 opened by mratsim - 1
IPA / Verkle tree cleanups
#367 opened by mratsim - 0
Bug: Cubic extension conjugate
#398 opened by mratsim - 2
- 0
Polynomial refactoring
#361 opened by mratsim - 2
- 0
Bandersnatch/wagon Curve25519: fast subgroup checks
#379 opened by mratsim - 2
MacOS CI: Now running on ARM64 CPUs
#372 opened by mratsim - 1
EIP-7594: Data Availability Sampling
#341 opened by mratsim - 2
Sage script for dlog precomp constants calculation
#359 opened by advaita-saha - 2
Add the Uncompressed point Serialization
#317 opened by advaita-saha - 0
- 2
precomp square root in constant time
#358 opened by advaita-saha - 0
Implement SAFE (Sponge API for Field Elements)
#353 opened by mratsim - 0
IPAProof and Multiproof Ser/De
#349 opened by agnxsh - 3
wrong result with `scalarMul` in G2 curve
#345 opened by bkomuves - 0
Tests for Scalar Deserialize by Ignacio
#343 opened by agnxsh - 0
Add test using verkle-test-vectors for computing the correct Pedersen Commitment
#336 opened by agnxsh - 0
Fix `generate_random_points( )` function to get the correct first and 256th Banderwagon Point.
#335 opened by agnxsh - 0
C/Rust library: expose G2 scalar multiplication
#333 opened by mratsim - 0
Threadpool - CPU topology detection
#326 opened by mratsim - 1
Multilinear Polynomial Commitments
#299 opened by mratsim - 0
ZK: Accelerate Elliptic Curves arithmetic in circuits
#321 opened by mratsim - 1
EIP-4844: production readiness
#300 opened by mratsim - 0
Improve load balancing of parallel sum reduction
#319 opened by mratsim - 0
New Test Vectors for Banderwagon
#315 opened by advaita-saha - 0
Doc: Clarify Intel ASM syntax, LTO, Clang/GCC, MacOS vs Linux/Windows combinations
#303 opened by mratsim - 1
- 2
Bug: Conditional syntax error for multiplexers.nim
#302 opened by benbierens - 0
[Ethereum Engine API] Support JWT (Json Web Token) for Ethereum Execution<->Consensus communication
#305 opened by mratsim