1 分•作者: rbanffy•4 天前
返回首页
一周热榜
1 分•作者: mooreds•4 天前
1 分•作者: mooreds•4 天前
1 分•作者: enderfusion•4 天前
1 分•作者: mondainx•4 天前
1 分•作者: ericlamb89•4 天前
1 分•作者: kleiba•4 天前
1 分•作者: achow•4 天前
1 分•作者: hyunhum•4 天前
嗨,HN!我是一名研究比特币智能合约的研究员,今天我发布了 Bithoven——一种高级命令式语言,可编译成原生比特币脚本(Legacy、SegWit 和 Taproot)。
目标:
原始比特币脚本以其难以理解而闻名。今天编写原始比特币脚本感觉就像在 20 世纪 70 年代编写汇编语言。你必须在脑海中处理堆栈(`OP_SWAP`、`OP_ROT`),手动管理不同的执行分支,并祈祷你没有留下未使用的堆栈项(这会导致脚本崩溃)。我的目标是弥合复杂合约逻辑和原始操作码之间的差距,让开发人员能够编写可读、编译时安全的代码。
主要特点:
- 命令式语法:使用熟悉的 if/else 和 return 语句编写逻辑,而不是在脑海中处理堆栈。
- 类型安全:对 bool、signature、string 和 number 类型提供一流的支持,以防止运行时错误。
- 目标编译:支持 Legacy、SegWit 和 Taproot 编译目标。
- 原生原语:内置用于时间锁(older, after)和密码学(sha256, checksig)的关键字。
你可以在浏览器中试用它(通过 WASM 运行):
[https://bithoven-lang.github.io/bithoven/ide/](https://bithoven-lang.github.io/bithoven/ide/)
这是一个哈希时间锁定合约(HTLC)的例子:
```
(condition: bool, sig_alice: signature)
(condition: bool, preimage: string, sig_bob: signature)
{
if condition {
// 相对时间锁(Sequence)
older 1000;
return checksig (sig_alice, alice_pk);
} else {
// 哈希锁验证
verify sha256 sha256 preimage == hash;
return checksig (sig_bob, bob_pk);
}
}
```
该项目是免费的开源项目,学术论文目前正在审核中。我很乐意听取任何反馈。感谢您的关注!
1 分•作者: ykgup•4 天前
1 分•作者: giuliomagnifico•4 天前
1 分•作者: jugyo•4 天前
我构建了一个 Claude Code Skill,只需描述你想要的 VSCode 主题,它就能帮你创建自定义主题。<p>例如:“创建一个蓝色调的深色主题” → 生成主题文件,打包成 .vsix 文件,并自动安装到 VSCode 中。
1 分•作者: johnoliveiradev•4 天前
我正在发布一个实证基准测试的汇总结果,该基准测试记录了一个多尺度结构交叉区域。<p>这种交叉区域在不同尺度、种子和参数扫描中持续存在,并且与保留边缘分布和粗略支持,但破坏相关性的强零模型区分开来。<p>仅发布结果;生成器和引擎是刻意保密的。<p>代码库:<a href="https://github.com/johnoliveiradev/Multiscale-structural-regime-benchmark" rel="nofollow">https://github.com/johnoliveiradev/Multiscale-structural-reg...</a>
1 分•作者: tesserato•4 天前
1 分•作者: theantagonistai•4 天前
1 分•作者: JumpCrisscross•4 天前
1 分•作者: gpi•4 天前
1 分•作者: olalonde•4 天前
1 分•作者: michelutti•4 天前
这是一个我从头开始构建的副业项目,从代码到基础设施、部署,再到现在的市场营销。<p>如果能通过训练面试并获得即时、准确的反馈,就能为我节省大量面试时间。每次面试结束后,都会提供一份完整的报告,其中包含在下次面试中需要改进的步骤。此外,每个人都可以创建自己的代理,定义语气、问题和主题,从而根据自己的喜好进行进一步的定制。<p>反馈过程消耗了大量时间进行验证,使用了大量的Langchain和多次交互才获得了良好且完善的结果。我相信这对于任何即将参加面试的人来说都极具价值。
1 分•作者: speckx•4 天前