corpus.blog
41554 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a08c65-1a0b-704c-a451-dcd601a113f5

Real Floats Using OpenVM's Custom Extensions

xuejie.space · published 29 July 2026

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at xuejie.space Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
Links from this post
33
Words captured
2,377

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
A Failure Optimizing Softfloat Read at the source ↗
xuejie.space
https://github.com/openvm-org/openvm
github.com
C++ Ray Tracer on Jolt ZK VM Read at the source ↗
xuejie.space
https://github.com/axiom-crypto/openvm-eth/pull/673
github.com
https://github.com/xxuejie/ray-tracer-on-openvm
github.com
https://docs.openvm.dev/book/advanced-usage/creating-a-new-extension
docs.openvm.dev
https://github.com/xxuejie/ray-tracer-on-jolt/commit/6e052214489e58a1c13c08362a5495a3d344a890
github.com
https://www.axiom.xyz/
axiom.xyz
https://docs.openvm.dev/book/getting-started/introduction/
docs.openvm.dev
https://docs.openvm.dev/specs/architecture/circuit-architecture
docs.openvm.dev
https://www.axiom.xyz/proving-api
axiom.xyz
https://github.com/xxuejie/openvm-floating
github.com
https://docs.riscv.org/reference/isa/v20260120/unpriv/f-st-ext.html
docs.riscv.org
https://docs.openvm.dev/specs/openvm/overview
docs.openvm.dev
https://odin-lang.org/
odin-lang.org
https://docs.openvm.dev/specs/reference/rust-frontend
docs.openvm.dev
https://github.com/xxuejie/musl/commit/87043b94aa903cc88bb65e368b97a76d5fcaefe5
github.com
https://git.musl-libc.org/cgit/musl/commit/src/setjmp/riscv32/setjmp.S?id=0b86d60badad6a69b37fc06d18b5763fbbf47b58
git.musl-libc.org
https://docs.openvm.dev/specs/openvm/isa
docs.openvm.dev
https://github.com/succinctlabs/sp1/blob/6ddc6f4216aee10d050f30d8d2e767c763d8a0de/crates/zkvm/entrypoint/src/lib.rs
github.com
https://github.com/xxuejie/ray-tracer-on-openvm/blob/main/README.md
github.com
https://github.com/xxuejie/openvm/commit/2c97976209bdb06c994990581a3b64ab53d1e3f1
github.com
https://github.com/jonhoo/inferno
github.com
https://github.com/google/pprof
github.com
https://github.com/mstange/samply
github.com
https://github.com/RayTracing/raytracing.github.io/blob/0ab7db4c08fe23f23c0d9d30fed166c83cefed91/src/InOneWeekend/camera.h
github.com
https://github.com/xxuejie/ray-tracer-on-openvm/commit/e2cb0ee7398aad12052e25d699a5f2d2f36cacd4
github.com
https://github.com/xxuejie/ray-tracer-on-openvm/commit/7b71755c0335a0cd752a442f926df9c1310a5ac9
github.com
https://jrouwe.github.io/JoltPhysics/
jrouwe.github.io
Teeworlds on CKB Read at the source ↗
xuejie.space
Porting One Hour One Life's Game Loop to CKB Read at the source ↗
xuejie.space
https://github.com/jrouwe/JoltPhysics
github.com
https://godotengine.org/releases/4.6/
godotengine.org