arnaucube/sonobe-light-btc
1
0
Fork 0
mirror of https://github.com/arnaucube/sonobe-light-btc.git synced 2026-01-27 22:43:46 +01:00
Code Issues Packages Projects Releases Wiki Activity
7 Commits 1 Branch 0 Tags
d7c867d5b7c2b34af868051a69e69921ed7fc78a
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
arnaucube d7c867d5b7 rm Cargo.lock
2024-04-16 23:54:32 +02:00
src
update to last sonobe version with full solidity-verifier
2024-04-16 23:53:59 +02:00
.gitignore
rm Cargo.lock
2024-04-16 23:54:32 +02:00
Cargo.toml
update to last sonobe version with full solidity-verifier
2024-04-16 23:53:59 +02:00
setup-machine-and-run-proving.sh
chore: remove test lib
2024-04-01 18:02:09 +02:00
Description
No description provided
154 KiB
Languages
Rust 96.4%
Shell 3.6%