main.rs 15 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514
  1. use std::{
  2. io::{stdin, Read},
  3. process::exit,
  4. str::FromStr,
  5. };
  6. use clap::{Parser, Subcommand};
  7. use darkfi::crypto::proof::VerifyingKey;
  8. use halo2_proofs::{arithmetic::Field, pasta::group::ff::PrimeField};
  9. use rand::rngs::OsRng;
  10. use serde_json::json;
  11. use termion::color;
  12. use url::Url;
  13. use darkfi::{
  14. cli_desc,
  15. crypto::{
  16. address::Address,
  17. burn_proof::{create_burn_proof, verify_burn_proof},
  18. keypair::{PublicKey, SecretKey},
  19. merkle_node::MerkleNode,
  20. mint_proof::{create_mint_proof, verify_mint_proof},
  21. proof::ProvingKey,
  22. token_id,
  23. types::{DrkCoinBlind, DrkSerial, DrkTokenId, DrkValueBlind},
  24. util::{pedersen_commitment_base, pedersen_commitment_u64},
  25. BurnRevealedValues, MintRevealedValues, OwnCoin, Proof,
  26. },
  27. rpc::{client::RpcClient, jsonrpc::JsonRequest},
  28. util::{
  29. cli::progress_bar,
  30. encode_base10,
  31. serial::{deserialize, serialize, SerialDecodable, SerialEncodable},
  32. },
  33. zk::circuit::{BurnContract, MintContract},
  34. Result,
  35. };
  36. mod cli_util;
  37. use cli_util::{parse_token_pair, parse_value_pair};
  38. #[derive(Parser)]
  39. #[clap(name = "darkotc", about = cli_desc!(), version)]
  40. #[clap(arg_required_else_help(true))]
  41. struct Args {
  42. #[clap(short, parse(from_occurrences))]
  43. /// Increase verbosity (-vvv supported)
  44. verbose: u8,
  45. #[clap(short, long, default_value = "tcp://127.0.0.1:8340")]
  46. /// darkfid JSON-RPC endpoint
  47. endpoint: Url,
  48. #[clap(subcommand)]
  49. command: Subcmd,
  50. }
  51. #[derive(Subcommand)]
  52. enum Subcmd {
  53. /// Initialize an atomic swap
  54. Init {
  55. #[clap(short, long)]
  56. /// Pair of token IDs to swap: e.g. token_to_send:token_to_recv
  57. token_pair: String,
  58. #[clap(short, long)]
  59. /// Pair of values to swap: e.g. value_to_send:value_to_recv
  60. value_pair: String,
  61. },
  62. /// Inspect swap data from stdin or file.
  63. Inspect,
  64. }
  65. struct Rpc {
  66. pub rpc_client: RpcClient,
  67. }
  68. impl Rpc {
  69. async fn balance_of(&self, token_id: &str) -> Result<u64> {
  70. let req = JsonRequest::new("wallet.get_balances", json!([]));
  71. let rep = self.rpc_client.request(req).await?;
  72. if !rep.is_object() {
  73. eprintln!("Error: Invalid balance data received from darkfid RPC endpoint.");
  74. exit(1);
  75. }
  76. for i in rep.as_object().unwrap().keys() {
  77. if i == &token_id {
  78. if let Some(balance) = rep[i].as_u64() {
  79. return Ok(balance)
  80. }
  81. eprintln!("Error: Invalid balance data received from darkfid RPC endpoint.");
  82. exit(1);
  83. }
  84. }
  85. Ok(0)
  86. }
  87. async fn wallet_address(&self) -> Result<Address> {
  88. let req = JsonRequest::new("wallet.get_addrs", json!([0_i64]));
  89. let rep = self.rpc_client.request(req).await?;
  90. if !rep.is_array() || !rep.as_array().unwrap()[0].is_string() {
  91. eprintln!("Error: Invalid wallet address received from darkfid RPC endpoint.");
  92. exit(1);
  93. }
  94. Address::from_str(rep[0].as_str().unwrap())
  95. }
  96. async fn get_coins_valtok(&self, value: u64, token_id: &str) -> Result<Vec<OwnCoin>> {
  97. let req = JsonRequest::new("wallet.get_coins_valtok", json!([value, token_id, true]));
  98. let rep = self.rpc_client.request(req).await?;
  99. if !rep.is_array() {
  100. eprintln!("Error: Invalid coin data received from darkfid RPC endpoint.");
  101. exit(1);
  102. }
  103. let mut ret = vec![];
  104. let rep = rep.as_array().unwrap();
  105. for i in rep {
  106. if !i.is_string() {
  107. eprintln!("Error: Invalid base58 data for OwnCoin");
  108. exit(1);
  109. }
  110. let data = match bs58::decode(i.as_str().unwrap()).into_vec() {
  111. Ok(v) => v,
  112. Err(e) => {
  113. eprintln!("Error: Failed decoding base58 for OwnCoin: {}", e);
  114. exit(1);
  115. }
  116. };
  117. let oc = match deserialize(&data) {
  118. Ok(v) => v,
  119. Err(e) => {
  120. eprintln!("Error: Failed deserializing OwnCoin: {}", e);
  121. exit(1);
  122. }
  123. };
  124. ret.push(oc);
  125. }
  126. Ok(ret)
  127. }
  128. async fn get_merkle_path(&self, leaf_pos: usize) -> Result<Vec<MerkleNode>> {
  129. let req = JsonRequest::new("wallet.get_merkle_path", json!([leaf_pos as u64]));
  130. let rep = self.rpc_client.request(req).await?;
  131. if !rep.is_array() {
  132. eprintln!("Error: Invalid merkle path data received from darkfid RPC endpoint.");
  133. exit(1);
  134. }
  135. let mut ret = vec![];
  136. let rep = rep.as_array().unwrap();
  137. for i in rep {
  138. if !i.is_string() {
  139. eprintln!("Error: Invalid base58 data for MerkleNode");
  140. exit(1);
  141. }
  142. let n = i.as_str().unwrap();
  143. let n = match bs58::decode(n).into_vec() {
  144. Ok(v) => v,
  145. Err(e) => {
  146. eprintln!("Error: Failed decoding base58 for MerkleNode: {}", e);
  147. exit(1);
  148. }
  149. };
  150. if n.len() != 32 {
  151. eprintln!("Error: MerkleNode byte length is not 32");
  152. exit(1);
  153. }
  154. let n = MerkleNode::from_bytes(&n.try_into().unwrap());
  155. if n.is_some().unwrap_u8() == 0 {
  156. eprintln!("Error: Noncanonical bytes of MerkleNode");
  157. exit(1);
  158. }
  159. ret.push(n.unwrap());
  160. }
  161. Ok(ret)
  162. }
  163. }
  164. async fn init_swap(
  165. endpoint: Url,
  166. token_pair: (String, String),
  167. value_pair: (u64, u64),
  168. ) -> Result<()> {
  169. let rpc_client = RpcClient::new(endpoint).await?;
  170. let rpc = Rpc { rpc_client };
  171. // TODO: Think about decimals, there has to be some metadata to keep track.
  172. let tp = (token_id::parse_b58(&token_pair.0)?, token_id::parse_b58(&token_pair.1)?);
  173. let vp: (u64, u64) =
  174. (value_pair.0.clone().try_into().unwrap(), value_pair.1.clone().try_into().unwrap());
  175. // Connect to darkfid and see if there's available funds.
  176. let balance = rpc.balance_of(&token_pair.0).await?;
  177. if balance < vp.0 {
  178. eprintln!(
  179. "Error: There is not enough balance for token \"{}\" in your wallet.",
  180. token_pair.0
  181. );
  182. eprintln!("Available balance is {} ({})", encode_base10(balance, 8), balance);
  183. exit(1);
  184. }
  185. // If not enough funds in a single coin, mint a single new coin
  186. // with the funds. We do this to minimize the size of the swap
  187. // transaction, i.e. 2 inputs and 2 outputs.
  188. // TODO: Implement ^
  189. // TODO: Maybe this should be done by the user beforehand?
  190. // Find a coin to spend
  191. let coins = rpc.get_coins_valtok(vp.0, &token_pair.0).await?;
  192. if coins.is_empty() {
  193. eprintln!("Error: Did not manage to find a coin with enough value to spend");
  194. exit(1);
  195. }
  196. eprintln!("Initializing swap data for:");
  197. eprintln!("Send: {} {} tokens", encode_base10(value_pair.0, 8), token_pair.0);
  198. eprintln!("Recv: {} {} tokens", encode_base10(value_pair.1, 8), token_pair.1);
  199. // Fetch our default address
  200. let our_address = rpc.wallet_address().await?;
  201. let our_publickey = match PublicKey::try_from(our_address) {
  202. Ok(v) => v,
  203. Err(e) => {
  204. eprintln!("Error converting our address into PublicKey: {}", e);
  205. exit(1);
  206. }
  207. };
  208. // Build proving keys
  209. let pb = progress_bar("Building proving key for the mint contract");
  210. let mint_pk = ProvingKey::build(8, &MintContract::default());
  211. pb.finish();
  212. let pb = progress_bar("Building proving key for the burn contract");
  213. let burn_pk = ProvingKey::build(11, &BurnContract::default());
  214. pb.finish();
  215. // The coin we want to receive.
  216. let recv_value_blind = DrkValueBlind::random(&mut OsRng);
  217. let recv_token_blind = DrkValueBlind::random(&mut OsRng);
  218. let recv_coin_blind = DrkCoinBlind::random(&mut OsRng);
  219. let recv_serial = DrkSerial::random(&mut OsRng);
  220. let pb = progress_bar("Building mint proof for receiving coin");
  221. let (mint_proof, mint_revealed) = create_mint_proof(
  222. &mint_pk,
  223. vp.1,
  224. tp.1,
  225. recv_value_blind,
  226. recv_token_blind,
  227. recv_serial,
  228. recv_coin_blind,
  229. our_publickey,
  230. )?;
  231. pb.finish();
  232. // The coin we are spending.
  233. // We'll spend the first one we've found.
  234. let coin = coins[0];
  235. let pb = progress_bar("Building burn proof for spending coin");
  236. let signature_secret = SecretKey::random(&mut OsRng);
  237. let merkle_path = match rpc.get_merkle_path(usize::from(coin.leaf_position)).await {
  238. Ok(v) => v,
  239. Err(e) => {
  240. eprintln!("Failed to get merkle path for our coin from darkfid RPC: {}", e);
  241. exit(1);
  242. }
  243. };
  244. let (burn_proof, burn_revealed) = create_burn_proof(
  245. &burn_pk,
  246. vp.0,
  247. tp.0,
  248. coin.note.value_blind,
  249. coin.note.token_blind,
  250. coin.note.serial,
  251. coin.note.coin_blind,
  252. coin.secret,
  253. coin.leaf_position,
  254. merkle_path,
  255. signature_secret,
  256. )?;
  257. pb.finish();
  258. // Pack proofs together with pedersen commitment openings so
  259. // counterparty can verify correctness.
  260. let swap_data = SwapData {
  261. mint_proof,
  262. mint_revealed,
  263. mint_value: vp.1,
  264. mint_token: tp.1,
  265. mint_value_blind: recv_value_blind,
  266. mint_token_blind: recv_token_blind,
  267. burn_proof,
  268. burn_value: vp.0,
  269. burn_token: tp.0,
  270. burn_revealed,
  271. burn_value_blind: coin.note.value_blind,
  272. burn_token_blind: coin.note.token_blind,
  273. };
  274. // Print encoded data.
  275. println!("{}", bs58::encode(serialize(&swap_data)).into_string());
  276. Ok(())
  277. }
  278. fn inspect(data: &str) -> Result<()> {
  279. let mut mint_valid = false;
  280. let mut burn_valid = false;
  281. let mut mint_value_valid = false;
  282. let mut mint_token_valid = false;
  283. let mut burn_value_valid = false;
  284. let mut burn_token_valid = false;
  285. let bytes = match bs58::decode(data).into_vec() {
  286. Ok(v) => v,
  287. Err(e) => {
  288. eprintln!("Error decoding base58 data from input: {}", e);
  289. exit(1);
  290. }
  291. };
  292. let sd: SwapData = match deserialize(&bytes) {
  293. Ok(v) => v,
  294. Err(e) => {
  295. eprintln!("Error: Failed to deserialize swap data into struct: {}", e);
  296. exit(1);
  297. }
  298. };
  299. eprintln!("Successfully decoded data into SwapData struct");
  300. // Build verifying keys
  301. let pb = progress_bar("Building verifying key for the mint contract");
  302. let mint_vk = VerifyingKey::build(8, &MintContract::default());
  303. pb.finish();
  304. let pb = progress_bar("Building verifying key for the burn contract");
  305. let burn_vk = VerifyingKey::build(11, &BurnContract::default());
  306. pb.finish();
  307. let pb = progress_bar("Verifying burn proof");
  308. if verify_burn_proof(&burn_vk, &sd.burn_proof, &sd.burn_revealed).is_ok() {
  309. burn_valid = true;
  310. }
  311. pb.finish();
  312. let pb = progress_bar("Verifying mint proof");
  313. if verify_mint_proof(&mint_vk, &sd.mint_proof, &sd.mint_revealed).is_ok() {
  314. mint_valid = true;
  315. }
  316. pb.finish();
  317. eprintln!(" Verifying pedersen commitments");
  318. if pedersen_commitment_u64(sd.burn_value, sd.burn_value_blind) == sd.burn_revealed.value_commit
  319. {
  320. burn_value_valid = true;
  321. }
  322. if pedersen_commitment_base(sd.burn_token, sd.burn_token_blind) == sd.burn_revealed.token_commit
  323. {
  324. burn_token_valid = true;
  325. }
  326. if pedersen_commitment_u64(sd.mint_value, sd.mint_value_blind) == sd.mint_revealed.value_commit
  327. {
  328. mint_value_valid = true;
  329. }
  330. if pedersen_commitment_base(sd.mint_token, sd.mint_token_blind) == sd.mint_revealed.token_commit
  331. {
  332. mint_token_valid = true;
  333. }
  334. let mut valid = true;
  335. eprintln!("Summary:");
  336. eprint!(" Burn proof: ");
  337. if burn_valid {
  338. eprintln!("{}VALID{}", color::Fg(color::Green), color::Fg(color::Reset));
  339. } else {
  340. eprintln!("{}INVALID{}", color::Fg(color::Red), color::Fg(color::Reset));
  341. valid = false;
  342. }
  343. eprint!(" Burn proof value commitment: ");
  344. if burn_value_valid {
  345. eprintln!("{}VALID{}", color::Fg(color::Green), color::Fg(color::Reset));
  346. } else {
  347. eprintln!("{}INVALID{}", color::Fg(color::Red), color::Fg(color::Reset));
  348. valid = false;
  349. }
  350. eprint!(" Burn proof token commitment: ");
  351. if burn_token_valid {
  352. eprintln!("{}VALID{}", color::Fg(color::Green), color::Fg(color::Reset));
  353. } else {
  354. eprintln!("{}INVALID{}", color::Fg(color::Red), color::Fg(color::Reset));
  355. valid = false;
  356. }
  357. eprint!(" Mint proof: ");
  358. if mint_valid {
  359. eprintln!("{}VALID{}", color::Fg(color::Green), color::Fg(color::Reset));
  360. } else {
  361. eprintln!("{}INVALID{}", color::Fg(color::Red), color::Fg(color::Reset));
  362. valid = false;
  363. }
  364. eprint!(" Mint proof value commitment: ");
  365. if mint_value_valid {
  366. eprintln!("{}VALID{}", color::Fg(color::Green), color::Fg(color::Reset));
  367. } else {
  368. eprintln!("{}INVALID{}", color::Fg(color::Red), color::Fg(color::Reset));
  369. valid = false;
  370. }
  371. eprint!(" Mint proof token commitment: ");
  372. if mint_token_valid {
  373. eprintln!("{}VALID{}", color::Fg(color::Green), color::Fg(color::Reset));
  374. } else {
  375. eprintln!("{}INVALID{}", color::Fg(color::Red), color::Fg(color::Reset));
  376. valid = false;
  377. }
  378. eprintln!("========================================");
  379. eprintln!(
  380. "Mint: {} {}",
  381. encode_base10(sd.mint_value, 8),
  382. bs58::encode(sd.mint_token.to_repr()).into_string()
  383. );
  384. eprintln!(
  385. "Burn: {} {}",
  386. encode_base10(sd.burn_value, 8),
  387. bs58::encode(sd.burn_token.to_repr()).into_string()
  388. );
  389. if !valid {
  390. eprintln!(
  391. "\nThe ZK proofs and commitments inspected are {}NOT VALID{}",
  392. color::Fg(color::Red),
  393. color::Fg(color::Reset)
  394. );
  395. exit(1);
  396. } else {
  397. eprintln!(
  398. "\nThe ZK proofs and commitments inspected are {}VALID{}",
  399. color::Fg(color::Green),
  400. color::Fg(color::Reset)
  401. );
  402. }
  403. Ok(())
  404. }
  405. #[derive(SerialEncodable, SerialDecodable)]
  406. struct SwapData {
  407. mint_proof: Proof,
  408. mint_revealed: MintRevealedValues,
  409. mint_value: u64,
  410. mint_token: DrkTokenId,
  411. mint_value_blind: DrkValueBlind,
  412. mint_token_blind: DrkValueBlind,
  413. burn_proof: Proof,
  414. burn_revealed: BurnRevealedValues,
  415. burn_value: u64,
  416. burn_token: DrkTokenId,
  417. burn_value_blind: DrkValueBlind,
  418. burn_token_blind: DrkValueBlind,
  419. }
  420. #[async_std::main]
  421. async fn main() -> Result<()> {
  422. let args = Args::parse();
  423. match args.command {
  424. Subcmd::Init { token_pair, value_pair } => {
  425. let token_pair = parse_token_pair(&token_pair)?;
  426. let value_pair = parse_value_pair(&value_pair)?;
  427. init_swap(args.endpoint, token_pair, value_pair).await
  428. }
  429. Subcmd::Inspect => {
  430. let mut buf = String::new();
  431. stdin().read_to_string(&mut buf)?;
  432. inspect(&buf.trim())
  433. }
  434. }
  435. }