Pages tagged "zheng"
43 page(s)
- soft3/zheng/audit/recursion-review-2026-10
- soft3/zheng/specs/cli
- soft3/zheng/audit/veil-coins-2026-10
- cyber cryptographic readiness
- soft3/proposals/steps-blocks-epochs
- soft3/zheng/audit
- soft3/zheng/audit/wrap-fastverify-2026-10
- soft3/zheng/specs/accumulation
- soft3/zheng/docs/explanation/zippel
- soft3/proposals/goldilocks-parano1d
- soft3/zheng/audit/ivc-speed-2-2026-10
- soft3/zheng/audit/prover-profile-2026-10
- 2026-09-27
- soft3/zheng/audit/zk-profile-2026-10
- soft3/zheng/audit/accumulation-2026-10
- soft3/foculus/specs/p3-marginal-statement
- soft3/proposals/privacy-frozen
- soft3/zheng/specs/soundness
- soft3/zheng/audit/wrap-fastverify-review-2026-10
- soft3/zheng/audit/succinct-profile-2026-10
- soft3/zheng/audit/recursion-2026-10
- soft3/audit/proof-latency-2026-10
- news/2026_09_27_native_private_proofs
- soft3/zheng/audit/consistency-2026-10-27
- soft3/zheng/roadmap
- soft3/zheng/specs/phi-spmv
- recursive Brakedown: a retired design, and why it was unsound
- soft3/zheng/audit/proof-stack-review-2026-10
- soft3/proposals/proven-present
- soft3/zheng/audit/wrap-review-2026-10
- soft3/zheng/audit/fast-path-2-2026-10
- soft3/audit/proof-system-repair-status-2026-10-09
- soft3/foculus/audit/ticket-proof-cost
- soft3/zheng/audit/machine-opcodes-2026-10
- soft3/proposals/proof-system-repair
- soft3/zheng/audit/direct-execution-review
- soft3/zheng/audit/wrap-2026-10
- soft3/zheng/audit/recursive-envelope-2026-10
- cyber/specs/light-money
- soft3/zheng/audit/zippel-2026-10-24
- soft3/proposals/term
- soft3/zheng/specs/machine
- soft3/zheng/audit/ivc-speed-2026-10