
zkGolf: golf zero-knowledge circuits, verified in Lean
竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。
rot256
完整作品展
技术栈
60 projects

竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。
rot256




可直接在浏览器玩NOPE游戏,无需钱包或设置。
@NormiePepeNFT · X
Want to have some fun? 🐸🎮 Try the NOPE game — built entirely with Claude Code. No wallet connection required. No complicated setup. Just jump in and play. Have some fun. Be NOPE. 💚

分析客户摩擦点,获取优化建议以提高转化率。
@EnricoBoeker · X

创建美丽的晶体可视化和图案。
@songfeitong · X
Introducing Pretty Lattice, a modern-looking crystal visualization tool for creating beautiful figures. Built with Codex since 5.5, and now with 5.6 sol. A huge leap from 5.5, much better at frond end. Github: Demo:

在无限世界中拖动设计细粒渐变,支持 5K 分辨率导出。
@Jellede_v · X
Currently working on Gradients made easy & satisfying 🤗

Claude Code、Codex 和 Grok 的 shadcn UI 界面组件。
theswerd · GitHub
brainless Claude Code, Codex, and Grok interfaces as shadcn components

通过OwsterLabs的电影级任务和交互式物理模拟学习数学和物理。
@electricdrago10 · X

3D骰子模拟工具,支持D4-D20,掷骰即得结果和总点数。
Nalife520 · V2EX
最近用 Codex 做了一个 3D 骰子! 最近做了一个很小的网页工具:3D 骰子。 做完后有点纠结: 这种小工具到底应该保持极简,还是把常见功能都补上? 抛骰子: https://wheelpage.com/zh/dice-roller/ Dice Roller: https://wheelpage.com/dice-roller/ 现在功能很简单:打开页面,点一下,骰子滚动,然后给出结果。 一开始觉得骰子就是 1 到 6 的随机数,应该很好做。 但做的时候发现,如果只是直接显示数字,又不太像“掷骰子”;做成 3D 动画,又担心有点多余。 现在倾向于先保持简单,打开就能用,不加太多设置。 顺便也做了一个抛硬币页面: https://wheelpage.com/zh/coin-flip/ 它和骰子类似,都是临时做随机决定的小工具。
