Games & Play1 month ago
zkGolf: golf zero-knowledge circuits, verified in Lean
Compete to write the cheapest zero-knowledge circuits and verify correctness in Lean.
rot256
The full gallery
Tech stack
16 projects
Compete to write the cheapest zero-knowledge circuits and verify correctness in Lean.
rot256
Create animations and motion graphics with layer-based timeline editing and node-based compositing.
Automate load testing for modern teams without complex setup or manual scripting.
@GorodkovVi85373 · X
- load testing made easy even without enginnering team. Faster, cheaper, distributional
Generate cinematic videos from images and text with AI-controlled motion effects.
Vibe Video — 面向普通用户的 AI 视频生成网站，支持文生视频、图生视频、参考图生视频和电影化镜头控制，适合创作者和营销团队快速产出视频