core.rs 17 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564
  1. use std::fs::File;
  2. use std::io::Read;
  3. use std::rc::Rc;
  4. use std::time::{SystemTime, UNIX_EPOCH};
  5. use crate::printer::pr_seq;
  6. use crate::reader::read_str;
  7. use crate::types::MalErr::ErrMalVal;
  8. use crate::types::MalVal::{
  9. Atom, Bool, Func, Hash, Int, List, MalFunc, Nil, Str, Sym, Vector, ZKScalar,
  10. };
  11. use crate::types::{MalArgs, MalRet, MalVal, _assoc, _dissoc, atom, error, func, hash_map};
  12. use bls12_381;
  13. use ff::PrimeField;
  14. use sapvi::bls_extensions::BlsStringConversion;
  15. use std::ops::{AddAssign, MulAssign, SubAssign};
  16. macro_rules! fn_t_int_int {
  17. ($ret:ident, $fn:expr) => {{
  18. |a: MalArgs| match (a[0].clone(), a[1].clone()) {
  19. (Int(a0), Int(a1)) => Ok($ret($fn(a0, a1))),
  20. _ => error("expecting (int,int) args"),
  21. }
  22. }};
  23. }
  24. macro_rules! fn_is_type {
  25. ($($ps:pat),*) => {{
  26. |a:MalArgs| { Ok(Bool(match a[0] { $($ps => true,)* _ => false})) }
  27. }};
  28. ($p:pat if $e:expr) => {{
  29. |a:MalArgs| { Ok(Bool(match a[0] { $p if $e => true, _ => false})) }
  30. }};
  31. ($p:pat if $e:expr,$($ps:pat),*) => {{
  32. |a:MalArgs| { Ok(Bool(match a[0] { $p if $e => true, $($ps => true,)* _ => false})) }
  33. }};
  34. }
  35. macro_rules! fn_str {
  36. ($fn:expr) => {{
  37. |a: MalArgs| match a[0].clone() {
  38. Str(a0) => $fn(a0),
  39. _ => error("expecting (str) arg"),
  40. }
  41. }};
  42. }
  43. fn symbol(a: MalArgs) -> MalRet {
  44. match a[0] {
  45. Str(ref s) => Ok(Sym(s.to_string())),
  46. _ => error("illegal symbol call"),
  47. }
  48. }
  49. fn slurp(f: String) -> MalRet {
  50. let mut s = String::new();
  51. match File::open(f).and_then(|mut f| f.read_to_string(&mut s)) {
  52. Ok(_) => Ok(Str(s)),
  53. Err(e) => error(&e.to_string()),
  54. }
  55. }
  56. fn time_ms(_a: MalArgs) -> MalRet {
  57. let ms_e = match SystemTime::now().duration_since(UNIX_EPOCH) {
  58. Ok(d) => d,
  59. Err(e) => return error(&format!("{:?}", e)),
  60. };
  61. Ok(Int(
  62. ms_e.as_secs() as i64 * 1000 + ms_e.subsec_nanos() as i64 / 1_000_000
  63. ))
  64. }
  65. fn get(a: MalArgs) -> MalRet {
  66. match (a[0].clone(), a[1].clone()) {
  67. (Nil, _) => Ok(Nil),
  68. (Hash(ref hm, _), Str(ref s)) => match hm.get(s) {
  69. Some(mv) => Ok(mv.clone()),
  70. None => Ok(Nil),
  71. },
  72. _ => error("illegal get args"),
  73. }
  74. }
  75. fn assoc(a: MalArgs) -> MalRet {
  76. match a[0] {
  77. Hash(ref hm, _) => _assoc((**hm).clone(), a[1..].to_vec()),
  78. _ => error("assoc on non-Hash Map"),
  79. }
  80. }
  81. fn dissoc(a: MalArgs) -> MalRet {
  82. match a[0] {
  83. Hash(ref hm, _) => _dissoc((**hm).clone(), a[1..].to_vec()),
  84. _ => error("dissoc on non-Hash Map"),
  85. }
  86. }
  87. fn contains_q(a: MalArgs) -> MalRet {
  88. match (a[0].clone(), a[1].clone()) {
  89. (Hash(ref hm, _), Str(ref s)) => Ok(Bool(hm.contains_key(s))),
  90. _ => error("illegal get args"),
  91. }
  92. }
  93. fn keys(a: MalArgs) -> MalRet {
  94. match a[0] {
  95. Hash(ref hm, _) => Ok(list!(hm.keys().map(|k| { Str(k.to_string()) }).collect())),
  96. _ => error("keys requires Hash Map"),
  97. }
  98. }
  99. fn vals(a: MalArgs) -> MalRet {
  100. match a[0] {
  101. Hash(ref hm, _) => Ok(list!(hm.values().map(|v| { v.clone() }).collect())),
  102. _ => error("keys requires Hash Map"),
  103. }
  104. }
  105. fn vec(a: MalArgs) -> MalRet {
  106. match a[0] {
  107. List(ref v, _) | Vector(ref v, _) => Ok(vector!(v.to_vec())),
  108. _ => error("non-seq passed to vec"),
  109. }
  110. }
  111. fn cons(a: MalArgs) -> MalRet {
  112. match a[1].clone() {
  113. List(v, _) | Vector(v, _) => {
  114. let mut new_v = vec![a[0].clone()];
  115. new_v.extend_from_slice(&v);
  116. Ok(list!(new_v.to_vec()))
  117. }
  118. _ => error("cons expects seq as second arg"),
  119. }
  120. }
  121. fn concat(a: MalArgs) -> MalRet {
  122. let mut new_v = vec![];
  123. for seq in a.iter() {
  124. match seq {
  125. List(v, _) | Vector(v, _) => new_v.extend_from_slice(v),
  126. _ => return error("non-seq passed to concat"),
  127. }
  128. }
  129. Ok(list!(new_v.to_vec()))
  130. }
  131. fn nth(a: MalArgs) -> MalRet {
  132. match (a[0].clone(), a[1].clone()) {
  133. (List(seq, _), Int(idx)) | (Vector(seq, _), Int(idx)) => {
  134. if seq.len() <= idx as usize {
  135. return error("nth: index out of range");
  136. }
  137. Ok(seq[idx as usize].clone())
  138. }
  139. _ => error("invalid args to nth"),
  140. }
  141. }
  142. fn unpack_bits(a: MalArgs) -> MalRet {
  143. let mut result = vec![];
  144. match a[0].clone() {
  145. Str(ref s) => {
  146. let value = bls12_381::Scalar::from_string(s);
  147. for (_, bit) in value.to_le_bits().into_iter().cloned().enumerate() {
  148. match bit {
  149. true => result.push(bls12_381::Scalar::one()),
  150. false => result.push(bls12_381::Scalar::zero()),
  151. }
  152. }
  153. Ok(list!(result
  154. .iter()
  155. .map(|a| Str(std::string::ToString::to_string(&a)[2..].to_string()))
  156. .collect::<Vec<MalVal>>()))
  157. }
  158. _ => error("invalid args to unpack-bits"),
  159. }
  160. }
  161. fn last(a: MalArgs) -> MalRet {
  162. match a[0].clone() {
  163. List(ref seq, _) | Vector(ref seq, _) if seq.len() == 0 => Ok(Nil),
  164. List(ref seq, _) | Vector(ref seq, _) => Ok(seq[seq.len() - 1].clone()),
  165. Nil => Ok(Nil),
  166. _ => error("invalid args to first"),
  167. }
  168. }
  169. fn first(a: MalArgs) -> MalRet {
  170. match a[0].clone() {
  171. List(ref seq, _) | Vector(ref seq, _) if seq.len() == 0 => Ok(Nil),
  172. List(ref seq, _) | Vector(ref seq, _) => Ok(seq[0].clone()),
  173. Nil => Ok(Nil),
  174. _ => error("invalid args to first"),
  175. }
  176. }
  177. fn rest(a: MalArgs) -> MalRet {
  178. match a[0].clone() {
  179. List(ref seq, _) | Vector(ref seq, _) => {
  180. if seq.len() > 1 {
  181. Ok(list!(seq[1..].to_vec()))
  182. } else {
  183. Ok(list![])
  184. }
  185. }
  186. Nil => Ok(list![]),
  187. _ => error("invalid args to first"),
  188. }
  189. }
  190. fn apply(a: MalArgs) -> MalRet {
  191. match a[a.len() - 1] {
  192. List(ref v, _) | Vector(ref v, _) => {
  193. let f = &a[0];
  194. let mut fargs = a[1..a.len() - 1].to_vec();
  195. fargs.extend_from_slice(&v);
  196. f.apply(fargs)
  197. }
  198. _ => error("apply called with non-seq"),
  199. }
  200. }
  201. fn map(a: MalArgs) -> MalRet {
  202. match a[1] {
  203. List(ref v, _) | Vector(ref v, _) => {
  204. let mut res = vec![];
  205. for mv in v.iter() {
  206. res.push(a[0].apply(vec![mv.clone()])?)
  207. }
  208. Ok(list!(res))
  209. }
  210. _ => error("map called with non-seq"),
  211. }
  212. }
  213. fn conj(a: MalArgs) -> MalRet {
  214. match a[0] {
  215. List(ref v, _) => {
  216. let sl = a[1..]
  217. .iter()
  218. .rev()
  219. .map(|a| a.clone())
  220. .collect::<Vec<MalVal>>();
  221. Ok(list!([&sl[..], v].concat()))
  222. }
  223. Vector(ref v, _) => Ok(vector!([v, &a[1..]].concat())),
  224. _ => error("conj: called with non-seq"),
  225. }
  226. }
  227. fn sub_scalar(a: MalArgs) -> MalRet {
  228. match (a[0].clone(), a[1].clone()) {
  229. (Func(_, _), ZKScalar(a1)) => {
  230. if let Vector(ref values, _) = a[0].apply(vec![]).unwrap() {
  231. if let ZKScalar(mut a0) = values[0] {
  232. a0.sub_assign(a1);
  233. Ok(ZKScalar(a0))
  234. } else {
  235. error("scalar sub expect (zkscalar, zkscalar) found (func, zkscalar)")
  236. }
  237. } else {
  238. error("scalar sub expect (zkscalar, zkscalar)")
  239. }
  240. }
  241. (ZKScalar(mut a0), ZKScalar(a1)) => {
  242. a0.sub_assign(a1);
  243. Ok(ZKScalar(a0))
  244. }
  245. (Str(a0), Str(a1)) => {
  246. let (mut s0, s1) = (
  247. bls12_381::Scalar::from_string(&a0),
  248. bls12_381::Scalar::from_string(&a1),
  249. );
  250. s0.sub_assign(s1);
  251. Ok(Str(std::string::ToString::to_string(&s0)[2..].to_string()))
  252. }
  253. _ => error("scalar sub expected (zkscalar, zkscalar)"),
  254. }
  255. }
  256. fn mul_scalar(a: MalArgs) -> MalRet {
  257. match (a[0].clone(), a[1].clone()) {
  258. (Func(_, _), ZKScalar(a1)) => {
  259. if let Vector(ref values, _) = a[0].apply(vec![]).unwrap() {
  260. if let ZKScalar(mut a0) = values[0] {
  261. a0.mul_assign(a1);
  262. Ok(ZKScalar(a0))
  263. } else {
  264. error("scalar mul expect (zkscalar, zkscalar) found (func, zkscalar)")
  265. }
  266. } else {
  267. error("scalar mul expect (zkscalar, zkscalar)")
  268. }
  269. }
  270. (ZKScalar(mut a0), ZKScalar(a1)) => {
  271. a0.mul_assign(a1);
  272. Ok(ZKScalar(a0))
  273. }
  274. _ => error("scalar mul expect (zkscalar, zkscalar)"),
  275. }
  276. }
  277. fn div_scalar(a: MalArgs) -> MalRet {
  278. match (a[0].clone(), a[1].clone()) {
  279. (ZKScalar(s0), ZKScalar(s1)) => {
  280. let ret = s1.invert().map(|other| *&s0 * other);
  281. if bool::from(ret.is_some()) {
  282. Ok(Str(
  283. std::string::ToString::to_string(&ret.unwrap())[2..].to_string()
  284. ))
  285. } else {
  286. error("DivisionByZero")
  287. }
  288. }
  289. (Str(a0), Str(a1)) => {
  290. let (s0, s1) = (
  291. bls12_381::Scalar::from_string(&a0),
  292. bls12_381::Scalar::from_string(&a1),
  293. );
  294. let ret = s1.invert().map(|other| *&s0 * other);
  295. if bool::from(ret.is_some()) {
  296. Ok(Str(
  297. std::string::ToString::to_string(&ret.unwrap())[2..].to_string()
  298. ))
  299. } else {
  300. error("DivisionByZero")
  301. }
  302. }
  303. _ => error("scalar div expected (scalar, scalar)"),
  304. }
  305. }
  306. fn range(a: MalArgs) -> MalRet {
  307. let mut result = vec![];
  308. match (a[0].clone(), a[1].clone()) {
  309. (Int(a0), Int(a1)) => {
  310. for n in a0..a1 {
  311. result.push(n);
  312. }
  313. Ok(list!(result.iter().map(|_a| Nil).collect::<Vec<MalVal>>()))
  314. }
  315. _ => error("expected int int"),
  316. }
  317. }
  318. fn scalar_zero(a: MalArgs) -> MalRet {
  319. Ok(vector![vec![
  320. ZKScalar(bls12_381::Scalar::zero()),
  321. a[0].clone()
  322. ]])
  323. }
  324. fn scalar_one(a: MalArgs) -> MalRet {
  325. match a.len() {
  326. 0 => Ok(vector![vec![ZKScalar(bls12_381::Scalar::one())]]),
  327. _ => Ok(vector![vec![
  328. ZKScalar(bls12_381::Scalar::one()),
  329. a[0].clone()
  330. ]]),
  331. }
  332. }
  333. fn cs_one(_a: MalArgs) -> MalRet {
  334. Ok(vector![vec![Sym("cs::one".to_string())]])
  335. }
  336. fn negate_from(a: MalArgs) -> MalRet {
  337. match a[0].clone() {
  338. ZKScalar(a0) => Ok(ZKScalar(a0.neg())),
  339. _ => match a[0].apply(vec![])? {
  340. List(v, _) | Vector(v, _) => match v[0] {
  341. ZKScalar(val) => Ok(vector![vec![ZKScalar(val.neg())]]),
  342. _ => error("not scalar"),
  343. },
  344. _ => return error("non zkscalar passed to negate"),
  345. },
  346. }
  347. }
  348. fn scalar_from(a: MalArgs) -> MalRet {
  349. match a[0].clone() {
  350. ZKScalar(s0) => {
  351. Ok(ZKScalar(s0))
  352. }
  353. Str(a0) => {
  354. let s0 = bls12_381::Scalar::from_string(&a0.to_string());
  355. Ok(ZKScalar(s0))
  356. }
  357. Int(a0) => {
  358. let s0 = bls12_381::Scalar::from(a0 as u64);
  359. Ok(ZKScalar(s0))
  360. }
  361. _ => error("scalar from expected (string or int)"),
  362. }
  363. }
  364. fn scalar_square(a: MalArgs) -> MalRet {
  365. match a[0].clone() {
  366. ZKScalar(a0) => {
  367. let mut z0 = a0.clone();
  368. Ok(ZKScalar(z0.square()))
  369. }
  370. Str(a0) => {
  371. let mut s0 = bls12_381::Scalar::from_string(&a0);
  372. Ok(ZKScalar(s0.square()))
  373. }
  374. _ => error(&format!("scalar square expect (zkscalar or string) found \n {:?}", a).to_string()),
  375. }
  376. }
  377. fn add_scalar(a: MalArgs) -> MalRet {
  378. match (a[0].clone(), a[1].clone()) {
  379. (Func(_, _), ZKScalar(a1)) => {
  380. if let Vector(ref values, _) = a[0].apply(vec![]).unwrap() {
  381. if let ZKScalar(mut a0) = values[0] {
  382. a0.add_assign(a1);
  383. Ok(ZKScalar(a0))
  384. } else {
  385. error("scalar add expect (zkscalar, zkscalar) found (func, zkscalar)")
  386. }
  387. } else {
  388. error("scalar add expect (zkscalar, zkscalar)")
  389. }
  390. }
  391. (ZKScalar(a0), ZKScalar(a1)) => {
  392. let (mut z0, z1) = (a0.clone(), a1.clone());
  393. z0.add_assign(z1);
  394. Ok(ZKScalar(z0))
  395. }
  396. (Str(a0), Str(a1)) => {
  397. let (mut s0, s1) = (
  398. bls12_381::Scalar::from_string(&a0),
  399. bls12_381::Scalar::from_string(&a1),
  400. );
  401. s0.add_assign(s1);
  402. Ok(ZKScalar(s0))
  403. }
  404. _ => error(&format!("scalar add expect (zkscalar, zkscalar) found \n {:?}", a).to_string()),
  405. }
  406. }
  407. fn seq(a: MalArgs) -> MalRet {
  408. match a[0] {
  409. List(ref v, _) | Vector(ref v, _) if v.len() == 0 => Ok(Nil),
  410. List(ref v, _) | Vector(ref v, _) => Ok(list!(v.to_vec())),
  411. Str(ref s) if s.len() == 0 => Ok(Nil),
  412. Str(ref s) if !a[0].keyword_q() => {
  413. Ok(list!(s.chars().map(|c| { Str(c.to_string()) }).collect()))
  414. }
  415. Nil => Ok(Nil),
  416. _ => error("seq: called with non-seq"),
  417. }
  418. }
  419. pub fn ns() -> Vec<(&'static str, MalVal)> {
  420. vec![
  421. ("=", func(|a| Ok(Bool(a[0] == a[1])))),
  422. ("throw", func(|a| Err(ErrMalVal(a[0].clone())))),
  423. ("nil?", func(fn_is_type!(Nil))),
  424. ("true?", func(fn_is_type!(Bool(true)))),
  425. ("false?", func(fn_is_type!(Bool(false)))),
  426. ("symbol", func(symbol)),
  427. ("symbol?", func(fn_is_type!(Sym(_)))),
  428. (
  429. "string?",
  430. func(fn_is_type!(Str(ref s) if !s.starts_with("\u{29e}"))),
  431. ),
  432. ("keyword", func(|a| a[0].keyword())),
  433. (
  434. "keyword?",
  435. func(fn_is_type!(Str(ref s) if s.starts_with("\u{29e}"))),
  436. ),
  437. ("number?", func(fn_is_type!(Int(_)))),
  438. (
  439. "fn?",
  440. func(fn_is_type!(MalFunc{is_macro,..} if !is_macro,Func(_,_))),
  441. ),
  442. (
  443. "macro?",
  444. func(fn_is_type!(MalFunc{is_macro,..} if is_macro)),
  445. ),
  446. ("pr-str", func(|a| Ok(Str(pr_seq(&a, true, "", "", " "))))),
  447. ("str", func(|a| Ok(Str(pr_seq(&a, false, "", "", ""))))),
  448. (
  449. "prn",
  450. func(|a| {
  451. println!("{}", pr_seq(&a, true, "", "", " "));
  452. Ok(Nil)
  453. }),
  454. ),
  455. (
  456. "println",
  457. func(|a| {
  458. println!("{}", pr_seq(&a, false, "", "", " "));
  459. Ok(Nil)
  460. }),
  461. ),
  462. ("read-string", func(fn_str!(|s| { read_str(s) }))),
  463. ("slurp", func(fn_str!(|f| { slurp(f) }))),
  464. ("<", func(fn_t_int_int!(Bool, |i, j| { i < j }))),
  465. ("<=", func(fn_t_int_int!(Bool, |i, j| { i <= j }))),
  466. (">", func(fn_t_int_int!(Bool, |i, j| { i > j }))),
  467. (">=", func(fn_t_int_int!(Bool, |i, j| { i >= j }))),
  468. ("+", func(add_scalar)),
  469. ("-", func(sub_scalar)),
  470. ("*", func(mul_scalar)),
  471. ("/", func(div_scalar)),
  472. ("time-ms", func(time_ms)),
  473. ("i+", func(fn_t_int_int!(Int, |i, j| { i + j }))),
  474. ("i-", func(fn_t_int_int!(Int, |i, j| { i - j }))),
  475. ("i*", func(fn_t_int_int!(Int, |i, j| { i * j }))),
  476. ("i/", func(fn_t_int_int!(Int, |i, j| { i / j }))),
  477. ("i<", func(fn_t_int_int!(Bool, |i, j| { i < j }))),
  478. ("i<=", func(fn_t_int_int!(Bool, |i, j| { i <= j }))),
  479. ("i>", func(fn_t_int_int!(Bool, |i, j| { i > j }))),
  480. ("i>=", func(fn_t_int_int!(Bool, |i, j| { i >= j }))),
  481. ("time-ms", func(time_ms)),
  482. ("sequential?", func(fn_is_type!(List(_, _), Vector(_, _)))),
  483. ("list", func(|a| Ok(list!(a)))),
  484. ("list?", func(fn_is_type!(List(_, _)))),
  485. ("vector", func(|a| Ok(vector!(a)))),
  486. ("vector?", func(fn_is_type!(Vector(_, _)))),
  487. ("hash-map", func(|a| hash_map(a))),
  488. ("map?", func(fn_is_type!(Hash(_, _)))),
  489. ("assoc", func(assoc)),
  490. ("dissoc", func(dissoc)),
  491. ("get", func(get)),
  492. ("contains?", func(contains_q)),
  493. ("keys", func(keys)),
  494. ("vals", func(vals)),
  495. ("vec", func(vec)),
  496. ("cons", func(cons)),
  497. ("concat", func(concat)),
  498. ("empty?", func(|a| a[0].empty_q())),
  499. ("nth", func(nth)),
  500. ("first", func(first)),
  501. ("last", func(last)),
  502. ("rest", func(rest)),
  503. ("count", func(|a| a[0].count())),
  504. ("apply", func(apply)),
  505. ("map", func(map)),
  506. ("conj", func(conj)),
  507. ("seq", func(seq)),
  508. ("meta", func(|a| a[0].get_meta())),
  509. ("with-meta", func(|a| a[0].clone().with_meta(&a[1]))),
  510. ("atom", func(|a| Ok(atom(&a[0])))),
  511. ("atom?", func(fn_is_type!(Atom(_)))),
  512. ("deref", func(|a| a[0].deref())),
  513. ("reset!", func(|a| a[0].reset_bang(&a[1]))),
  514. ("swap!", func(|a| a[0].swap_bang(&a[1..].to_vec()))),
  515. ("unpack-bits", func(unpack_bits)),
  516. ("range", func(range)),
  517. ("scalar::one", func(scalar_one)),
  518. ("neg", func(negate_from)),
  519. ("scalar::zero", func(scalar_zero)),
  520. ("scalar", func(scalar_from)),
  521. ("square", func(scalar_square)),
  522. ("cs::one", func(cs_one)),
  523. ]
  524. }