-
Notifications
You must be signed in to change notification settings - Fork 342
/
main.rs
31 lines (27 loc) · 1.17 KB
/
main.rs
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
// Copyright 2024 RISC Zero, Inc.
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
// http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.
use chess_core::Inputs;
use risc0_zkvm::guest::env;
use shakmaty::{fen::Fen, san::San, CastlingMode, Chess, FromSetup, Move, Position, Setup};
fn main() {
let inputs: Inputs = env::read();
let mv: String = inputs.mv;
let initial_state: String = inputs.board;
env::commit(&initial_state);
let setup = Setup::from(Fen::from_ascii(initial_state.as_bytes()).unwrap());
let pos = Chess::from_setup(setup, CastlingMode::Standard).unwrap();
let mv: Move = mv.parse::<San>().unwrap().to_move(&pos).unwrap();
let pos = pos.play(&mv).unwrap();
assert!(pos.is_checkmate());
}