()
| 626 | |
| 627 | #[test] |
| 628 | fn test_read_from_stack() { |
| 629 | let mut prng = ChaCha20Rng::seed_from_u64(0); |
| 630 | let a = ark_bn254::G1Affine::rand(&mut prng); |
| 631 | let script = script! { |
| 632 | {G1Affine::push(a)} |
| 633 | }; |
| 634 | |
| 635 | let res = execute_script(script); |
| 636 | let witness = extract_witness_from_stack(res); |
| 637 | let recovered_a = G1Affine::read_from_stack(witness); |
| 638 | |
| 639 | assert_eq!(a, recovered_a); |
| 640 | |
| 641 | let b = ark_bn254::G1Affine::identity(); |
| 642 | let script = script! { |
| 643 | {G1Affine::push(b)} |
| 644 | }; |
| 645 | |
| 646 | let res = execute_script(script); |
| 647 | let witness = extract_witness_from_stack(res); |
| 648 | let recovered_b = G1Affine::read_from_stack(witness); |
| 649 | |
| 650 | assert_eq!(b, recovered_b); |
| 651 | } |
| 652 | |
| 653 | #[test] |
| 654 | fn test_affine_identity() { |
nothing calls this directly
no test coverage detected