| 1823 | input: a.clone(), |
| 1824 | output: b.clone(), |
| 1825 | assumptions: Some(asm.clone()) |
| 1826 | }) |
| 1827 | .len(), |
| 1828 | 1 + 64 + 1 + 32, |
| 1829 | "Eval with-asm = 98 bytes" |
| 1830 | ); |
| 1831 | assert_eq!( |
| 1832 | claim_bytes(&Claim::Check { const_addr: a.clone(), assumptions: None }) |
| 1833 | .len(), |
| 1834 | 1 + 32 + 1, |
| 1835 | "Check no-asm = 34 bytes" |
| 1836 | ); |
| 1837 | assert_eq!( |
| 1838 | claim_bytes(&Claim::Check { |
| 1839 | const_addr: a.clone(), |
| 1840 | assumptions: Some(asm.clone()) |
| 1841 | }) |
| 1842 | .len(), |
| 1843 | 1 + 32 + 1 + 32, |
| 1844 | "Check with-asm = 66 bytes" |
| 1845 | ); |
| 1846 | assert_eq!( |
| 1847 | claim_bytes(&Claim::CheckEnv { root: a.clone(), assumptions: None }) |
| 1848 | .len(), |
| 1849 | 1 + 32 + 1, |
| 1850 | "CheckEnv no-asm = 34 bytes" |
| 1851 | ); |
| 1852 | assert_eq!( |
| 1853 | claim_bytes(&Claim::Contains { tree: a, const_addr: b }).len(), |