Schanuel’s conjecture and the semantics of FPSan | Complex Projective 4-Space
I’ve been spending some of my time recently developing a tool called FPSan in collaboration with Pawel Szczerbuk. It’s implemented as a Triton compiler pass, but has none of the desirab…
Schanuel’s conjecture and the semantics of FPSan | Complex Projective 4-Space Complex Projective 4-Space Where exciting things happen Skip to content Home About Cipher solvers Season IV Solved cipher 71 Season III Solved cipher 70 Solved cipher 69 Solved cipher 68 Solved cipher 67 Solved cipher 66 Solved cipher 65 Solved cipher 64 Solved cipher 63 Solved cipher 62 Solved cipher 61 Solved cipher 60 Solved cipher 59 Solved cipher 58 Solved cipher 57 Solved cipher 56 Solved cipher 55 Solved cipher 54 Solved cipher 53 Solved cipher 52 Solved cipher 51 Season II Solved cipher 50 Solved cipher
Explore this link on the map →saved by
related reading
- What's new | Updates on my research and expository papers, discussion of open problems, and other maths-related topics. By Terence Taoterrytao.wordpress.com
- 17 misconceptions about SNARKs - a16z cryptoa16zcrypto.com
- There are Only Four Billion Floats-So Test Them All! | Random ASCII – tech blog of Bruce Dawsonrandomascii.wordpress.com
- Floating point from scratch: Hard Mode · Tales on the wireessenceia.github.io
- Napkin.pdfvenhance.github.io
- A High-Level Technical Overview of Fully Homomorphic Encryption || Math ∩ Programmingjeremykun.com
- Computational Complexityblog.computationalcomplexity.org
- Binius: highly efficient proofs over binary fieldsvitalik.eth.limo
- ZK-Friendly Hash Functions | Zellic — Researchzellic.io
- ProofsArgsAndZK.pdfpeople.cs.georgetown.edu
- The Spartan zkSNARK framework - Alin Tomescualinush.github.io
- Arithmetization II. “We Need To Go Deeper” | by StarkWare | StarkWare | Mediummedium.com